Odaily 스타 데일리 뉴스 Ethereum의 공동 창립자는 "Binius: Efficient Proof of Binary Fields"를 출판하여 SNARK가 프로그램에 대한 명령문을 다항식(때로는 벡터 및 행렬)이 포함된 방정식으로 변환하는 방법인 "산술화"에 의존한다는 점을 지적했습니다. 합리적인 크기 내에서 숫자를 유지하려면 "산술"은 일반 정수가 아닌 "유한 필드"라는 구조에서 수행되어야 합니다. 모듈러 연산은 유한체의 가장 간단한 예이지만 다른 예도 있습니다. 실제 프로그램에서는 대부분의 숫자가 매우 작습니다: for 루프 인덱스, True/False 값, 배열 인덱스, 카운터... 필드가 크면 증명 계산 중에 생성된 "추가" 값이 훨씬 더 커집니다. 비효율성의 주요 원인이며 Plonky2 및 유사한 프로토콜은 필드 크기를 256비트에서 64 또는 31비트로 줄입니다. 그러나 많은 고유한 속성을 가진 매혹적인 수학적 구조인 이진 필드를 직접 사용하는 것이 더 효율적입니다. 타워 건설은 더 많은 장점을 추가하는 매혹적인 생산 방식입니다.