Vitalik, 영지식 증명의 획기적인 Binius 출시

이더리움 공동 창립자인 Vitalik Buterin은 영지식 증명에 향상된 효율성을 제공하는 새로운 암호화 증명 시스템인 Binius를 소개합니다. Binius는 바이너리 필드와 비트 수준 계산을 활용하여 zk-SNARK와 같은 기존 증명 시스템에 비해 상당한 성능 향상을 달성합니다. 이 시스템은 데이터를 다차원 "하이퍼큐브"로 표현하고 특수 인코딩 및 디코딩 프로세스를 사용하여 작은 값, 카운터 및 부울 플래그를 효율적으로 처리할 수 있습니다.

Ethereum Co-Founder Unveils Groundbreaking Cryptographic System for Enhanced Zero-Knowledge Proofs

이더리움 공동 창립자, 향상된 영지식 증명을 위한 획기적인 암호화 시스템 공개

Ethereum's visionary co-founder, Vitalik Buterin, has unveiled a novel cryptographic proving system, "Binius," poised to revolutionize the efficiency of zero-knowledge proofs.

이더리움의 선구적인 공동 창립자인 비탈릭 부테린(Vitalik Buterin)이 영지식 증명의 효율성을 혁신할 새로운 암호화 증명 시스템인 "Binius"를 공개했습니다.

In a comprehensive blog post, Buterin meticulously explains the inner workings of Binius, a system designed specifically for binary fields. This pioneering approach promises substantial performance enhancements over existing proof systems such as zk-SNARKs.

포괄적인 블로그 게시물에서 Buterin은 바이너리 필드용으로 특별히 설계된 시스템인 Binius의 내부 작동 방식을 꼼꼼하게 설명합니다. 이 선구적인 접근 방식은 zk-SNARK와 같은 기존 증명 시스템에 비해 상당한 성능 향상을 약속합니다.

Efficiency Through Binary Bits

바이너리 비트를 통한 효율성

Binius achieves its remarkable efficiency by performing computations directly on individual binary bits—zeros and ones—a departure from traditional systems that handle larger numbers. The motivation behind this innovation stems from the realization that underlying data often comprises small values like counters, indices, and boolean flags. By operating on bits directly, Binius can process this data with unparalleled efficiency.

Binius는 더 큰 숫자를 처리하는 기존 시스템에서 벗어나 개별 이진 비트(0과 1)에 대해 직접 계산을 수행하여 놀라운 효율성을 달성합니다. 이 혁신의 동기는 기본 데이터가 종종 카운터, 인덱스 및 부울 플래그와 같은 작은 값으로 구성된다는 인식에서 비롯됩니다. 비트를 직접 조작함으로써 Binius는 비교할 수 없는 효율성으로 이 데이터를 처리할 수 있습니다.

Multidimensional Hypercubes and Finite Fields

다차원 하이퍼큐브와 유한 필드

Binius conceptualizes data as a multidimensional "hypercube" of bits and employs binary "finite fields" to facilitate efficient arithmetic operations on bits and bit sequences. This approach allows for meticulous processing of small values, a task often encountered in cryptographic applications.

Binius는 데이터를 비트의 다차원 "하이퍼큐브"로 개념화하고 이진 "유한 필드"를 사용하여 비트 및 비트 시퀀스에 대한 효율적인 산술 연산을 용이하게 합니다. 이 접근 방식을 사용하면 암호화 응용 프로그램에서 자주 발생하는 작업인 작은 값의 세심한 처리가 가능합니다.

Specialized Encoding and Decoding

특수 인코딩 및 디코딩

Binius utilizes a specialized encoding and decoding process that transforms bit-level data into a format compatible with "polynomial" processing and Merkle proofs. This ingenious technique preserves the efficiency benefits of working in binary while enabling the verification of proofs without disclosing underlying information—a hallmark of zero-knowledge proofs.

Binius는 비트 수준 데이터를 "다항식" 처리 및 Merkle 증명과 호환되는 형식으로 변환하는 특수 인코딩 및 디코딩 프로세스를 활용합니다. 이 독창적인 기술은 영지식 증명의 특징인 기본 정보를 공개하지 않고 증명 검증을 가능하게 하는 동시에 바이너리 작업의 효율성 이점을 유지합니다.

Unlocking Efficiency in Cryptographic Proofs

암호화 증명의 효율성 잠금 해제

The binary system employed by Binius unlocks significant improvements for the core arithmetic of cryptographic proof systems. This efficiency translates into enhanced performance and scalability for complex crypto applications. Polynomials, commonly used in zk-proofs, are seamlessly encoded and processed in Binius, enabling efficient proof generation and verification.

Binius가 사용하는 바이너리 시스템은 암호화 증명 시스템의 핵심 연산을 크게 향상시킵니다. 이러한 효율성은 복잡한 암호화 애플리케이션의 성능과 확장성을 향상시킵니다. zk 증명에 일반적으로 사용되는 다항식은 Binius에서 원활하게 인코딩 및 처리되므로 효율적인 증명 생성 및 검증이 가능합니다.

Proof of Concept and Future Prospects

개념 증명 및 향후 전망

Buterin meticulously demonstrates the Binius protocol with intricate mathematical formulations, showcasing its data encoding capabilities, proof generation, and efficient verification. The concept was initially proposed in a 2023 whitepaper by cryptographers Benjamin E. Diamond and Jim Posen, entitled "Succinct Arguments over Towers of Binary Fields."

Buterin은 복잡한 수학적 공식을 통해 Binius 프로토콜을 꼼꼼하게 시연하여 데이터 인코딩 기능, 증명 생성 및 효율적인 검증을 선보입니다. 이 개념은 처음에 암호학자 Benjamin E. Diamond와 Jim Posen이 "이진 필드 타워에 대한 간결한 주장"이라는 제목의 2023년 백서에서 제안했습니다.

Overall, Binius holds the promise of significant performance gains over conventional proof systems, particularly for computations involving small values and bit-level operations. Buterin remains optimistic about the future of Binius and anticipates further advancements in binary-field-based proving techniques in the near future.

전반적으로 Binius는 특히 작은 값과 비트 수준 작업과 관련된 계산에서 기존 증명 시스템에 비해 상당한 성능 향상을 약속합니다. Buterin은 Binius의 미래에 대해 낙관적이며 가까운 미래에 바이너리 필드 기반 증명 기술이 더욱 발전할 것으로 예상합니다.

Conclusion

결론

Binius, the ingenious cryptographic proving system championed by Vitalik Buterin, represents a monumental leap forward in the realm of zero-knowledge proofs. Its unparalleled efficiency, rooted in binary bit operations and specialized encoding techniques, empowers complex crypto applications with enhanced performance and scalability. As Binius evolves and matures, it is poised to revolutionize the landscape of cryptography and usher in a new era of secure and efficient solutions.

Vitalik Buterin이 옹호하는 독창적인 암호화 증명 시스템인 Binius는 영지식 증명 영역에서 기념비적인 도약을 나타냅니다. 바이너리 비트 작업과 특수 인코딩 기술에 기반을 둔 비교할 수 없는 효율성은 향상된 성능과 확장성을 통해 복잡한 암호화 애플리케이션을 강화합니다. Binius가 발전하고 성숙해짐에 따라 암호화의 환경에 혁명을 일으키고 안전하고 효율적인 솔루션의 새로운 시대를 열 준비가 되어 있습니다.