블록체인 설계 논쟁
최근 X 플랫폼에서 블록체인 설계에 대한 격자 기반과 해시 기반 암호화의 논쟁이 벌어지고 있습니다. 이 논의에는 Zcash 공동 창립자 Eli Ben Sasson, 이더리움 공동 창립자 Vitalik Buterin, 그리고 Delphi Labs의 GC Gabriel Shapiro가 참여하고 있습니다.
a16z crypto의 주장
이 대화는 a16z crypto가 최근 X에 게시한 글에서 격자 기반 암호화를 지지하는 주장을 하면서 시작되었습니다. a16z crypto는 이더리움의 계획된 해시 전용 서명 집계 설계가 SNARK 재귀에 의존하고 있으며, 이로 인해 조정 오버헤드, 버그 표면, 그리고 확립되지 않은 보안 문제가 발생할 수 있다고 설명했습니다.
Eli Ben Sasson의 반대 의견
Eli Ben Sasson은 강력히 반대하며, 격자 기반 암호화가 AI의 공격에 취약한 매력적인 수학적 구조를 가지고 있다고 언급했습니다.
a16z crypto는 해시 기반 암호화에만 의존하는 것이 더 안전해 보일 수 있지만, 이러한 설계에서는 더 취약한 시스템이 발생할 수 있다고 주장했습니다.
Gabriel Shapiro의 의견
대화가 이어지면서 Gabriel Shapiro는 X에서 자신의 의견을 공유했습니다. 그는 “이더리움 접근법이 이곳에서 가장 좋은 선택이라고 생각합니다”라며 a16z crypto의 주장에 반대했습니다. 이더리움의 Lean 합의 로드맵은 BLS 서명을 해시 기반 서명(Winternitz의 일부 변형)으로 완전히 대체하고 STARKs를 사용하여 집계를 수행하는 것을 포함합니다.
Vitalik Buterin의 참여
Vitalik Buterin은 이 논의에 참여하여 Shapiro의 의견에 동의하며 다음과 같이 말했습니다: “우리는 여전히 AI 보안이 입증된다면 사전 컴파일을 통해 계정과 지갑에 대해 격자 작업을 수행할 수 있습니다.”
그는 “모든 사람의 암호화를 지원하는 이상적인 경로는 imo 8288을 통해 이루어져야 합니다. 원하는 서명을 로컬에서 만들고, 그 다음 STARK를 적용한 후, stark 집계기 기계를 통해 포함됩니다. 온체인에서 어떤 calldata도 필요하지 않습니다. 이더리움은 다시는 새로운 사전 컴파일을 추가할 수 없습니다”라고 덧붙였습니다.
서명 집계와 BLS 서명
Eli Ben Sasson은 “동의합니다, 이것이 이더리움에 대한 올바른 접근법입니다”라고 응답했습니다.
비트코인을 제외하고, 대부분의 대형 블록체인은 지분 증명을 사용하여 검증자가 각 블록에 서명하여 투표할 수 있게 합니다. 서명 집계 덕분에 대규모 검증자 집합이 실용적입니다. 이더리움은 BLS 서명을 활용하는데, 이는 대수적 구조를 가지고 있어 수십만 개의 검증자 서명을 슬롯당 하나의 그룹 요소로 결합할 수 있습니다.
포스트 양자 안전성 문제
그러나 BLS가 유익하긴 하지만, 알려진 포스트 양자 서명 방식이 이와 같은 방식으로 집계되지 않기 때문에 포스트 양자 안전성이 없습니다. 올해 초 양자 저항 로드맵을 설명하면서 Buterin은 프로토콜 계층 재귀 서명 및 증명 집계를 해결책으로 언급했습니다.
그는 EIP-8141을 통해 네이티브 계정 추상화를 추가하는 것에 대해 이야기했으며, 이는 거래 검증, 실행 및 가스 지불을 위한 프레임워크 추상화를 제공하여 일급 계정이 어떤 서명 알고리즘을 사용할 수 있도록 합니다.