Vitalik香港Web3嘉年华演讲：追求密码学的极限

2024년 홍콩 Web3 카니발 기간 동안 Ethereum 공동 창립자 Vitalik Buterin은 DRK Lab이 주최한 Web3 Scholar Summit 2024에서 프로토콜 설계의 한계에 도달 기조 연설을 했습니다.

그는 2010년대에는 기본적인 암호화를 기반으로 한 프로토콜이 해싱과 서명이었다고 소개했다. 그 후 합의는 빠르게 발전했습니다. 2020년대에는 고급 암호화를 기반으로 하는 프로토콜에는 ZK-SNARKS, 2 PC, MPC, FHE(완전 동형 암호화), 집계(IVC, ICD 등을 통한 포함) 및 고급 P2P 네트워크가 포함됩니다.

Vitalik은 현재 ZK-SNARK, MPC, FHE 및 기타 기술에는 효율성과 보안 문제가 있다고 말했습니다. 그 중 이더리움 슬롯 블록 시간은 12초, 일반적인 블록 확인 시간은 약 400밀리초이며 ZK-SNARK 증명은 시간은 약 20분 정도이며, 이더리움은 실시간 증명을 달성하는 것을 목표로 합니다. 효율성 문제에 대한 솔루션에는 병렬화(Parallelization), 집계 트리(aggregation tree), 효율성 향상(SNARK 알고리즘 및 해싱 사용), ASIC 가속 하드웨어 솔루션 등 여러 가지 솔루션이 있습니다.

ZK-SNARK 회로 취약성 문제는 보안위원회와 다중 증명자를 통해 해결될 수 있습니다. 미래에는 AI가 디버깅과 문제 해결에 도움을 줄 수 있습니다.

흥미로운 미래 방향은 공식 검증을 위한 새로운 도구를 잠재적으로 사용하는 인공 지능 도구를 사용하는 것입니다. 예를 들어 zkEVM에 버그가 없음을 증명하는 것입니다.라고 그는 말했습니다. 어쩌면 우리는 실제로 버그를 달성할 수 있을지도 모릅니다. 미래의 자유세계는 좀 이상해요.”

더욱이 비탈릭 부테린은 서명 집계 효율성에 대해 이야기할 때 현재 상황이 슬롯당 서명 3만 개 정도여서 높은 노드 수요가 필요하다고 지적했다. 원하는 목표는 노드 요구 사항을 줄이고 상대적으로 간단한 프로토콜을 채택하면서 가능한 한 많은 검증자를 지원하는 것입니다. 이론적 한계에 따르면 각 참가자는 시간 슬롯당 1비트의 데이터가 필요하며 계산에 하한이 없습니다.

그래서 기본적으로 우리가 생각해야 할 점은 암호화로 할 수 있는 작업의 한계에 도달하려면 프로토콜이 필요하며 우리의 암호화가 수십 년보다 훨씬 더 강력한 지점에 도달했다는 것입니다. 하지만 이 시점에서 우리는 천장이 무엇인지, 그리고 실제로 거기에 도달할 수 있는 방법에 대해 생각하기 시작해야 한다고 생각합니다.라고 Vitalik은 마지막으로 말했습니다.