Ethereum 공동 창립자 Vitalik Buterin은 이번 주말 최근 블로그 게시물에서 Ethereum 생태계의 "논의가 부족하지만 그럼에도 불구하고 매우 중요한" 측면에 대한 생각을 공유했습니다.
"Ethereum의 다중 클라이언트 철학이 ZK-EVM과 어떻게 상호 작용합니까?"라는 제목의 게시물 ZK-EVM을 위한 다중 클라이언트 생태계를 만들기 위한 기술적 과제, 장단점 및 잠재적 솔루션에 중점을 두었습니다.
Zk-EVM의 다중 클라이언트 문제
Vitalik은 ZK-EVM이 미래에 Ethereum의 레이어 1 보안 및 검증 프로세스의 필수적인 부분으로 진화할 것이라고 믿습니다. ZK(Zero Knowledge) 기술을 통해 개발자는 추가 정보를 공개하지 않고도 거래 또는 메시지의 진위를 증명할 수 있습니다. 따라서 한 당사자가 메시지의 타당성을 넘어서는 지식을 공개하지 않고 메시지가 사실임을 다른 당사자에게 확신시킬 수 있습니다.
그러나 Ethereum Co-Founder에 따르면 ZK 기술의 개인 정보 보호 특성은 Ethereum 클라이언트가 프로토콜 규칙 구현에서 미묘하게 다르기 때문에 더 넓은 EVM 환경을 방해할 수 있습니다.
ZK 롤업의 레이어 2 프로토콜은 ZK 증명을 성공적으로 사용했으며 여러 거래를 단일 증명으로 묶어 이더리움을 확장하는 데 도움을 주었습니다. 그러나 ZK-EVM이 메인넷에서 실행을 검증하기 위해 진화함에 따라 "ZK-EVM은 오늘날 실행 클라이언트 및 합의 클라이언트만큼 네트워크 보안에 중요한 세 번째 유형의 이더리움 클라이언트가 되었습니다."
ZK-EVM을 이더리움 클라이언트의 세 번째 유형으로 보는 것은 Vitalik에서 다음과 같은 질문을 제기합니다.
"Ethereum 블록의 정확성을 ZK로 증명하기 위한 "다중 클라이언트" 생태계를 실제로 어떻게 만들 수 있을까요?"
생태계가 확장됨에 따라 Vitalik은 "다중 클라이언트 철학"의 이점을 유지하면서 ZK-EVM의 기능을 활용하여 이더리움 네트워크의 확장성, 보안 및 분산화를 개선하고자 합니다.
Vitalik에 따르면 여러 클라이언트에서 ZK 기술을 사용할 때의 주요 기술적 문제는 대기 시간 및 데이터 비효율성과 관련이 있습니다. 또한 개별 이더리움 클라이언트는 프로토콜 규칙 또는 ZK-EVM 구현의 특정 해석으로 인해 영지식 증명을 다르게 처리합니다.
ZK-EVM 다중 클라이언트 솔루션
이러한 어려움에도 불구하고 Vitalik은 개방형 다중 클라이언트 ZK-EVM 생태계를 만드는 것이 이더리움의 보안 및 분산화에 실현 가능하고 유익하다고 믿습니다.
아래는 이더리움 생태계의 합의 및 실행 계층에서 사용되는 다양한 클라이언트의 시각적 표현입니다.
Vitalik은 여러 클라이언트를 보유하면 전체 네트워크의 고장으로 이어질 수 있는 한 번의 구현에서 단일 치명적인 버그의 위험을 줄임으로써 네트워크의 보안 및 분산화가 증가한다고 주장했습니다. 또한 다중 클라이언트 철학은 하나의 개발 팀 또는 조직 내에서 권한이 집중되는 것을 방지하여 정치적 분산을 촉진합니다.
Vitalik은 아래와 같이 문제에 대한 세 가지 가능한 솔루션을 제시했습니다.
- “단일 ZK-EVM: 다중 클라이언트 패러다임을 포기하고 블록 검증에 사용하는 단일 ZK-EVM을 선택합니다.
- 폐쇄형 다중 ZK-EVM: 여러 ZK-EVM의 특정 세트에 동의하고 합의에 포함하며, 블록이 유효한 것으로 간주되기 위해 해당 세트에 있는 ZK-EVM의 절반 이상에서 증명이 필요하다는 합의 계층 프로토콜 규칙을 갖습니다. .
- 개방형 다중 ZK-EVM: 서로 다른 클라이언트는 서로 다른 ZK-EVM 구현을 가지고 있으며 각 클라이언트는 블록을 유효한 것으로 수락하기 전에 자체 구현과 호환되는 증명을 기다립니다.”
ZK-EVM의 맥락에서 Vitalik은 개방형 다중 클라이언트 ZK-EVM 생태계 아이디어를 지원합니다. 서로 다른 클라이언트는 서로 다른 ZK-EVM 구현을 가지고 있으며 각 클라이언트는 블록을 유효한 것으로 수락하기 전에 자신과 호환되는 증명을 기다립니다.
"나에게 (3)은 이상적으로 보입니다. 적어도 우리의 기술이 모든 ZK-EVM 구현이 서로 동등하다는 것을 공식적으로 증명할 수 있는 지점까지 개선되지 않는 한..."
그러나 기술이 ZK-EVM 구현이 다소 표준화된 지점까지 개선되면 Vitalik은 솔루션이 가장 효율적인 옵션을 선택하는 것이라고 주장했습니다. 그는 "적어도 현재로서는 [옵션 3에 대한] 도전이 다른 두 옵션의 도전보다 작아 보인다"고 생각합니다.
Vitalik은 또한 최근 AI의 급속한 발전에 고개를 끄덕이며 AI의 발전이 ZK-EVM 구현을 입증하는 개발을 "과급"할 수 있다고 말했습니다.
“장기적인 미래에는 물론 어떤 일이든 일어날 수 있습니다. 아마도 AI는 ZK-EVM 구현이 동등함을 쉽게 증명하고 이들 사이의 차이를 유발하는 모든 버그를 식별할 수 있는 지점까지 공식 검증을 강화할 것입니다.”
출처: https://cryptoslate.com/vitalik-buterin-reveals-major-challenge-for-ethereums-future-and-how-to-solve-it/