이더리움 공동 설립자 비탈릭 부테린은 26월 XNUMX일 트위터에서 수학 학위가 없는 사람들에게 이더리움 생태계를 "개방적이고 환영하는" 상태로 유지하려면 영지식 증명(ZKP)을 사람들이 "이해하고 접근할 수 있도록" 만드는 것이 필요하다고 말했습니다.
ZKP는 복잡성 때문에 종종 "달 수학"이라고 합니다.
저는 이더리움이 우리의 모든 달 수학을 가능한 한 사람들이 이해하고 접근할 수 있도록 열심히 노력하는 강력한 문화를 가지고 있다는 사실에 매우 기쁩니다. https://t.co/o9n2Xms4Zw
— vitalik.eth (@VitalikButerin) 2022 년 10 월 26 일
Buterin은 "분권화는 포기하지 않고 "블랙박스, 우리는 똑똑하고, 우리를 믿으세요"라고 말하며 박사 학위를 흔들 것을 요구합니다."라고 덧붙였습니다.
영지식 레이어 2 이더리움 확장 솔루션인 Scroll은 블로그 여러 ZKP의 중요한 부분인 다항식 약정 계획이 작동하는 방식과 이더리움 확장에 도움이 되는 방식.
다항식은 두 개 이상의 대수 용어를 나타내는 수학적 표현입니다. Scroll 블로그에 따르면 다항식은 대용량 데이터를 효율적으로 표현하는 데 도움이 될 수 있습니다.
확약 체계는 메시지를 커밋하고 숨긴 상태로 유지하지만 나중에 메시지를 공개할 수 있는 암호화 프로토콜입니다. 그러나 커미터는 일단 커밋하면 메시지를 변경할 수 없으므로 커밋 체계가 구속력을 갖게 됩니다.
다항식 확약 방식에서는 메시지 대신 다항식을 사용합니다. 다항식 확약 방식은 일반 확약 방식의 모든 속성을 충족합니다. 하지만 커미터가 다항식 자체를 드러내지 않고 필요한 속성을 만족하는 특정 다항식에 커밋했음을 증명할 수 있는 추가 기능이 있습니다.
이더리움 확장의 KZG
다양한 다항식 확약 방식이 있지만, 케이트 자베루차 골드버그 (KZG)는 블록체인 공간에서 널리 사용되며 Scroll의 증명 시스템에서 사용됩니다. KZG는 또한 Proto-Danksharding을 통해 Ethereum에 통합되어 다음을 통해 구현될 예정입니다. EIP-4844, 2022년 XNUMX월에 제안되었습니다.
Proto-Danksharding은 롤업을 더 저렴하게 사용할 수 있는 Danksharding이 구현될 때까지 임시 솔루션입니다. Proto-Danksharding은 "blob-carrying transaction"이라는 새로운 트랜잭션 유형을 도입합니다. 이러한 트랜잭션은 이더리움 실행 계층에서 액세스할 수 없는 128kb의 데이터 덩어리를 운반합니다. 대신 이더리움에서 데이터 블롭에 대한 약속만 액세스할 수 있습니다.
데이터 blob은 다항식으로 표시되며 다항식 확약 체계 KZG는 데이터에 대한 확약을 생성하는 데 사용됩니다. 이렇게 하면 전체 데이터 blob을 공개하지 않고 데이터 blob의 속성을 확인할 수 있습니다.
따라서 KZG를 사용하면 전체 Danksharding 경로에서 구현될 데이터 가용성 샘플링(DAS)을 활성화할 수 있습니다. DAS는 기본적으로 유효성 검사기가 전체 데이터 blob을 읽을 필요 없이 데이터 blob이 사용 가능하고 올바른지 확인할 수 있도록 합니다.
이는 차례로 검증자가 더 적은 데이터를 처리해야 하기 때문에 이더리움의 확장성을 향상시키는 데 크게 도움이 될 수 있습니다.
출처: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/