Algorand v3.9 주요 업데이트 세부 정보 - State Proof, 더 높은 처리량, 더 빠른 최종성

거버넌스 및 마케팅/스포츠 파트너십과 같은 일반적인 r_CC 플러프 대신 기술에 대해 이야기해 보겠습니다.

v3.9 업데이트 :

알고랜드는 v3.9.x 업데이트 를 준비하고 있습니다. 이것은 State Proof, 더 짧은 완결성, 더 큰 블록 및 AVM v7을 소개하는 주요 업데이트입니다.

알고랜드 재단 커뮤니티 매니저가 트위터에 9월 8일 메인넷 타겟 출시일에 대한 게시물을 올렸습니다. 분명히 목표 날짜는 여전히 목표 일뿐이므로 소금 한 알로 처리합니다.

State Proof 는 업데이트의 가장 흥미로운 부분이므로 이 논의는 마지막으로 미루겠습니다.

업데이트

약간 더 짧은 결정적 최종성 : ~4.3 ~ 3.9초

• 알고랜드는 이미 가장 빠른 최종 결정적 블록체인 중 하나이므로 3.9초로 줄이는 것은 케이크를 장식하는 것입니다.
• (Avalanche, Fantom 및 NEAR는 내가 생각할 수 있는 유일한 대규모 분산형이며 더 빠르다고 생각할 수 있습니다. Solana와 같은 다른 것들은 확률적입니다.)

더 큰 블록 : 최대 블록 크기를 1MB에서 5MB로 늘립니다.

• 이렇게 하면 최대 처리량("계층 1" 스마트 계약 포함)이 ~6K TPS로 증가합니다.
• Algorand는 실제 활동이 100TPS 이상인 경우는 거의 없기 때문에 이는 미래를 대비한 것입니다. (피크 활동은 2021년 12월에 ~350TPS였으나 요즘은 10-30TPS가 가장 일반적입니다.)
• Block Pipelining 을 사용하여 처리량을 5배까지 늘릴 계획이 있으며 이는 Cardano도 탐구하고 있으며 Solana가 기본적으로 작동하는 방식과 유사합니다. 그러나 활동/수요 부족을 감안할 때 매우 오랫동안 필요하지 않을 것입니다. 블록 파이프라이닝은 현재 블록이 완료되기 전에 네트워크가 다음 블록(예: 4개 블록)에서 동시에 작업을 시작할 수 있도록 함으로써 작동합니다. 해당 블록에 오류나 충돌하는 트랜잭션이 없는 한 모두 포함됩니다. 현재 통계에 따르면 블록의 1%만 성공적으로 스테이징에 실패하므로 블록 파이프라이닝은 95% 시간 동안 작동해야 합니다.

알고랜드 가상 머신(AVM) v7

• 최종 사용자에게 중요한 것은 없으므로 AVM 전문가가 아니므로 자세한 내용을 묻지 마십시오.
• 무작위 오라클 지원(온체인은 아님)
• 자금이 없는 계정(ALGO 없음)은 수수료가 거래 그룹의 다른 사람들에 의해 충당되는 한 (다른 토큰의) 거래를 발행할 수 있습니다.

상태 증명 :

기술적인 관점에서 SP(State Proofs)는 이번 업데이트에서 가장 흥미로운 부분입니다. 가장 기본적인 형태로, 이것은 알고랜드의 충분한(즉, 절대다수) 총 지분이 어떤 가치(예: 알고랜드 블록체인의 상태)를 증명했음을 증명하는 작은 인증서입니다. SP는 SNARK 친화적입니다. 즉, SNARK(예: Ethereum의 L2 zk-SNARK가 사용하는 것)를 사용하여 높은 압축을 제공할 수 있습니다. 이를 통해 이더리움과 같이 수수료가 비싼 블록체인에 중요한 다른 블록체인의 스마트 계약에서 알고랜드 외부에서도 검증할 수 있습니다.

State Proofs 에는 2가지 주요 목표가 있습니다.

1. 상호 운용성 : 알고랜드와 다른 블록체인, DLT 및 클라이언트 간의 보다 안전한 상호 운용성을 제공합니다.
2. 향상된 보안 : 더 많은 양자 저항 제공

상호 운용성

상태 증명은 라이트 클라이언트, 더 쉬운 노드 온보딩/캐치업 및 교차 체인 호환성을 허용합니다.

X-Chain 상호 운용성

SP는 블록체인 간 정보 및 통신을 위해 신뢰할 수 없는 오프체인 오라클에 의존하는 문제를 해결하는 데 도움이 됩니다. 지난 몇 년 동안 나쁜 신탁으로 인해 너무 많은 다리가 착취되었습니다. Algorand의 향후 State Proofs, Ethereum의 미래 Verkle Trees/씬 클라이언트, Polkadot의 XCM 및 Cosmos Hub의 IBC와 같은 솔루션은 모두 오프체인 정보에 대한 신뢰 문제를 완화하기 위해 안전한 크로스체인 통신을 제공하기 위한 것입니다. (XCM과 IBC는 각각의 생태계 내에서 또는 직접 호환 가능한 블록체인에서만 작동합니다.)

예를 들어, 이더리움의 스마트 계약은 알고랜드 블록의 100개(예: 256개)의 지속적인 증거를 제공하는 상태 증명 검증기를 사용할 수 있습니다. 압축된 SNARKified SP를 사용하여 스마트 계약은 Algorand 지분의 대다수가 증명한 Algorand의 현재 상태, 거래, 계정 잔액 등을 저렴하게 확인할 수 있습니다. 더 이상 이 정보를 위해 오프체인 오라클에 의존할 필요가 없습니다. 해당 스마트 계약이 State Proof 검증기 코드를 올바르게 구현하는 한 외부인은 이를 차례로 사용하여 Algorand의 트랜잭션 및 상태를 무신뢰 검증할 수 있습니다.

아직 한계가 있습니다. 가장 큰 것은 알고랜드의 SP가 방정식의 절반에 불과한 알고랜드의 상태를 무신뢰 보기만 허용한다는 것입니다. 나중에 이더리움은 또한 알고랜드가 반대편에서 이더리움의 상태를 신속하게 확인하기 위해 Verkle 트리의 씬 클라이언트 솔루션을 가져야 합니다. 또한 SP는 체인 간의 트랜잭션을 연결하거나 즉각적인 직접 통신에 사용할 수 없습니다. 브리지를 더 신뢰할 수 없게 만드는 데 사용할 수 있지만 브리지를 완전히 대체하지는 못합니다.

신규 클라이언트 및 라이트 클라이언트

State Proof는 또한 클라이언트가 Algorand의 현재 상태를 빠르게 파악하거나 따라잡을 수 있도록 합니다. 처음부터 동기화하는 데 며칠이 걸리는 제네시스 블록에서 전체 체인을 검증해야 하는 대신 해당 클러스터의 SP를 사용하여 한 번에 100개 블록의 클러스터를 간단히 검증할 수 있습니다. Bridge는 또한 SP를 사용하여 전체 노드를 실행하지 않고도 Algorand의 상태를 빠르게 확인할 수 있습니다.

보안

보안을 위해 양자 컴퓨터는 디지털 서명과 최신 ZK 증명을 생성하는 데 사용되는 ECDSA/EdDSA 프로토콜을 깨뜨릴 수 있습니다. 이렇게 하면 공격자가 해당 서명을 생성하는 데 사용되는 개인 키를 찾을 수 있습니다. US Gov의 NIST는 2016년부터 Post-Quantum 프로토콜에 대해 작업해 왔으며 Algorand의 FALCON 프로토콜 은 82개의 원본 제출 중 4개의 결선 진출자 중 하나였습니다. 공격자는 이전 트랜잭션과 개인 키를 볼 수 있습니다. 상태 증명은 FALCON (결정적 모드에서)을 사용하므로 사후 양자 보안입니다.

State Proofs에 대한 자세한 내용을 보려면 MIT의 23분 비디오를 시청할 수 있습니다.