이더리움의 공동 창립자인 비탈릭 부테린(Vitalik Buterin)은 영지식 증명을 더욱 효율적으로 만들 수 있는 새로운 암호화 증명 시스템을 논의하는 새로운 블로그 게시물을 발표했습니다.
Binius라고 불리는 증명 시스템은 컴퓨터의 바이너리 코드에서 직접 작동하도록 설계되었습니다. 이진 코드는 컴퓨터가 이해하는 언어로 정보를 저장하는 데 사용되며 0과 1( 비츠(Bits) 라고도 함) 기호를 사용하여 데이터를 나타냅니다.
STARK와 Binius 사이에는 몇 가지 유사점이 있지만 Buterin은 이러한 다양한 증명 시스템을 가능하게 하는 수학적 트릭이 매우 다르다고 설명합니다.
일반적으로 STARK는 복잡한 진술을 암호학적으로 쉽게 검증할 수 있게 해주는 기술입니다. 작은 값일 때는 쉽게 숫자를 계산할 수 있도록 설계되었으며, 큰 값이 있을 경우 STARK는 추가 값을 생성하므로 비효율적일 수 있습니다.
명령문을 다항식 방정식( 블록 내 변수 간의 관계를 모델링하는 수학적 표현)으로 "산술화"하는 STARK와 달리 Binius는 데이터를 하이퍼큐브 및 그리드로 처리하고 다선형 다항식을 사용하여 암호화 증명을 수행합니다.
BInius: 이진 필드에 대한 매우 효율적인 증명 https://t.co/lHAGXbgI9r pic.twitter.com/3Xx4zIAm1b
- 바이탈릭. 이더리움(ETH) (@VitalikButerin) 2024년 4월 29일
Binius는 개별 값을 비츠(Bits) 변환하여 하이퍼큐브와 사각형에 배치합니다. 그런 다음 이 하이퍼큐브는 그리드로 변환되고 출력 행렬을 수신하기 위해 계산이 수행됩니다.
그런 다음 검증자는 자체 계산 계산을 수행하여 정보 자체가 일치하는지 확인하고 계산 열이 증명자가 주장한 값을 반환하는지 확인합니다.
“저는 사람들이 이해하고 탐구하도록 적극 권장합니다! 최근 ZK 증명에서는 많은 혁신이 일어나고 있습니다. 그리고 곧 더 많은 것이 나올 것으로 기대합니다.” Buterin은 X 포스트 에 썼습니다.
David Canellis와 Katherine Ross의 최고의 암호화폐 통찰력으로 하루를 시작해 보세요. Empire 뉴스레터를 구독하세요 .
