비탈릭: 암호학을 통해 프로토콜의 한계를 달성하고, 동시에 효율성을 최적화하며 안전성을 향상시켜야 한다

ChainCatcher 메시지, 2024 홍콩 Web3 카니발에서 이더리움 공동 창립자 비탈릭 부테린이 DRK Lab 주최의 "Web3 학자 정상 회담 2024"에서 주제 발표 "프로토콜 설계의 한계에 도달하기"를 하였습니다. 그는 현재 ZK-SNARKs, MPC, FHE 등의 기술이 효율성과 안전성 문제를 가지고 있다고 언급했습니다. 이더리움의 슬롯 블록 생성 시간은 12초이며, "일반" 블록 검증 시간은 약 400밀리초, ZK-SNARK 증명 시간은 약 20분입니다. 이더리움의 목표는 실시간 증명을 구현하는 것입니다. 현재의 비효율성 문제에 대해 비탈릭은 "병렬화 및 집합 트리"(Parallelization + aggregation trees), SNARK 알고리즘과 해시를 사용하여 효율성을 높이고, ASIC을 사용하여 ZK 하드웨어 가속을 하는 것이 해결책이라고 밝혔습니다.

또한 비탈릭은 "ZK-SNARKs, MPC, FHE(완전 동형 암호화) 및 BLS 집합 등 고급 암호학 기반 프로토콜이 빠르게 발전하고 있지만, 동시에 효율성과 안전성 문제도 존재한다"며, 효율성 문제는 병렬화와 집합 트리, 효율성 향상(SNARK 알고리즘과 해시 사용), ASIC을 통해 해결할 수 있다고 말했습니다. ZK-SNARK 회로의 취약점 문제는 안전 위원회와 다중 제공자(multi-provers)를 통해 해결할 수 있으며, 미래에는 AI 형태의 검증으로 해결할 수 있을 것입니다. 우리는 암호학을 통해 프로토콜의 한계에 도달하고, 동시에 효율성을 최적화하고 안전성을 높여야 합니다.

비탈릭은 현재 서명 집합의 효율성이 각 슬롯당 약 30,000개의 서명이며, 노드 요구 사항이 높고, 가능한 많은 검증자를 지원하는 것이 목표이며, 노드 요구 사항이 낮고 프로토콜이 상당히 간단하다고 지적했습니다.