Ethereum 및 Polkadot의 혁명: SNARK 기반 접근 방식을 사용한 Casper FFG 합의 증명의 효율적인 검증

Revolutionizing Ethereum and Polkadot: Efficient Verification of Casper FFG Consensus Proofs with SNARK-based Approach

 

● 이더리움(ETH) 스케일링 솔루션은 Web3 산업의 지속 가능한 주류 채택에 매우 중요합니다. ● 이더리움 네트워크는 SNARK 및 STARK를 포함하여 영지식(ZK) 증명의 다양한 기술을 사용하는 여러 확장 솔루션을 즐깁니다.

 

이더리움(ETH) 핵심 개발자들은 영지식 프로토콜을 통해 안전한 확장성을 보장하기 위해 많은 연구를 했습니다. 또한 영지식 증명을 사용하여 미리 정의된 규칙에 따라 일부 계산이 블록체인 외부에서 수행되었다는 암호화 증명을 생성할 수 있습니다. 그럼에도 불구하고 무수한 프로토콜은 영지식 확장 솔루션을 해결하기 위해 다양한 기술을 제시했습니다. 

하지만 개발자 Seun Lanlege 별칭 Web3 Philosopher가 Twitter(@seunlanlege)에서 스케일링 프로토콜에 대한 연구를 발표한 것은 2017년 이더리움 코어 개발자 Vitalik Buterin과 Virgil Griffith가 공동으로 발표한 Casper the Friendly Finality Gadget(Casper FFG)입니다. 

Casper FFG 및 Ethereum PoS 자세히 살펴보기

연구 기사에서 Polkadot 및 Ethereum 개발자는 Ethereum의 Casper FFG 합의 증명을 검증하기 위한 SNARK 기반 접근 방식을 제시했습니다. 특히 SNARK 기반 스케일링 솔루션은 그것이 나타내는 데이터보다 비대화형 더 작은 증명을 사용하기 때문에 많은 레이어 2 프로토콜 중에서 유명합니다.

 

Web3 Philosopher@seunlanlege · May 11 In this research article I present a SNARK based scheme for verifying the Ethereum's Casper FFG consensus proofs. With this scheme on/offchain light clients can benefit from the crypto economic security provided by the ETH 17m ($34b) at stake. 이 연구 기사에서는 Ethereum의 Casper FFG 합의 증명을 검증하기 위한 SNARK 기반 체계를 제시합니다. 이 체계를 통해 온/오프체인 라이트 클라이언트는 ETH 1700만(340억 달러)이 제공하는 암호화 경제 보안의 혜택을 누릴 수 있습니다.

 

Casper FFG는 다소 단순한 합의 메커니즘을 사용하지만 보안 증명은 보통보다 어려운 것으로 설명되었습니다. 또한 Casper FFG는 PBFT(Practical Byzantine Fault Tolerance)에서 영감을 받아 개선된 합의 프로토콜입니다. Ethereum 핵심 개발자는 PBFT가 무허가, 리더 기반 및 보안 지향적인 2라운드 투표 메커니즘을 특징으로 하기 때문에 이러한 방향으로 주장합니다. 

Buterin에 따르면 Casper의 핵심 목표는 경제적 최종성을 달성하는 것입니다.

Buterin은 Medium  “검증인이 참여하기 위해 예치금을 제출하도록 요구하고, 프로토콜이 일부 규칙("절감 조건")을 위반하는 방식으로 행동했다고 판단하는 경우 예치금을 회수함으로써 캐스퍼에서 경제적 최종성을 달성합니다."  게시물에서 언급했습니다

특히 이더리움 비콘 체인은 작년 Merge 이벤트 이후 크게 성장했으며 현재 576,000개 이상의 검증자가 1,830만 개 이상의 이더를 보유하고 있습니다. Seun Lanlege가 도입한 이더리움의 Casper FFG 합의 증명을 검증하기 위한 SNARK 기반 체계를 통해 온체인 및 오프체인 라이트 클라이언트 모두 ETH 17m(340억 달러)가 제공하는 암호화 경제 보안의 혜택을 누릴 수 있습니다. 

Lanlege는 "이 프로토콜은 동기화 위원회보다 훨씬 더 안전한 전체 노드 수준 보안을 제공하며 완전한 비잔틴 내결함성을 제공합니다."라고 말했습니다. 

특히 Lanlege는 프로토콜이 Casper FFG 합의 증명을 직접 검증하는 보다 야심찬 접근 방식임을 보여주기 위해 자세한 수학적 증명 표현을 제시했습니다. 

더 큰 그림

Ethereum 네트워크에는 경제학자, 컴퓨터 과학자 및 철학자를 포함하여 함께 일하는 가장 포괄적인 학제 간 전문가 중 하나가 있습니다. 그 결과 이더리움 네트워크는 확장 가능하고 안전한 분산형 애플리케이션을 구축하기 위한 선도적인 스마트 계약 생태계 중 하나로 확장되었습니다. 

최신 암호화폐 가격에 따르면 이더리움(ETH) 네트워크의 총 시가총액은 약 2174억5000만 달러, 24시간 거래량은 약 60억4200만 달러다. 금요일에 약 1,808달러에 거래된 이더리움의 가격은 지난달 13% 하락했음에도 불구하고 YTD 약 50% 상승했습니다.

 

출처: Crypto-news-flash By STEVE MUCHOKI  19. May 2023