로그인/ 가입하기

비탈릭 부테린: 비니우스 바이너리 필드 증명이 더 효율적일 것입니다.

29/04 19:49

이더넷의 공동 창립자는 "비니우스: 이진 필드의 효율적인 증명"을 게시했는데, 이 글에서 SNARK는 프로그램에 대한 진술을 다항식(때로는 벡터와 행렬)을 포함하는 방정식으로 변환하는 방법인 "산술화"에 의존하며, 숫자를 합리적인 크기 이내로 유지하려면 "산술"을 일반 정수가 아닌 "유한 필드"라는 구조에서 수행해야 한다고 설명합니다. '산술'은 일반 정수가 아닌 '유한 필드'라는 구조에서 수행되어야 합니다. 모달 산술은 유한 필드의 가장 간단한 예이지만 다른 것들도 있습니다. 실제 프로그램에서는 루프 인덱스, 참/거짓 값, 배열 인덱스, 카운터 등 대부분의 숫자가 매우 작습니다. 필드가 매우 크면 증명 계산에서 생성되는 "추가" 값이 훨씬 더 커지며, 이는 비효율의 주요 원인으로, Plonky2와 유사한 프로토콜은 필드 크기를 256비트에서 64비트 또는 31비트로 줄입니다. 그러나 이진 필드를 직접 사용하는 것이 더 효율적이고, 이진 필드는 많은 고유 속성을 가진 매력적인 수학적 구조이며, 타워는 이를 생성하는 매혹적인 방법으로 추가적인 이점을 더합니다.

강세

약세