Vitalik Buterin revela Binius: um novo sistema criptográfico que aprimora provas de conhecimento zero
Summary:
O cofundador da Ethereum, Vitalik Buterin, discutiu um sistema de prova criptográfica recém-proposto chamado "Binius" que busca aumentar a eficiência das provas de conhecimento zero. O novo sistema oferece melhorias significativas em relação aos métodos tradicionais, como zk-SNARKs, conduzindo cálculos diretamente sobre bits binários individuais, em vez de números maiores. Essa abordagem centrada no binário tem o potencial de otimizar o processamento de dados que consistem em valores menores e promete desenvolvimentos significativos para aplicativos de prova criptográfica, tornando-os mais eficientes e escaláveis.
Vitalik Buterin, cofundador da Ethereum, propagou um novo mecanismo de prova criptográfica projetado para aumentar a eficiência em provas de conhecimento zero. Em um blog do final de abril, Buterin introduziu uma prova criptográfica de alto desempenho sobre o sistema de campos binários chamada "Binius". Esta nova tecnologia promete melhorias substanciais em relação aos métodos habituais como zk-SNARKs. O Binius foi projetado para aumentar a eficiência por meio de comandos computacionais processados em bits binários individuais — uns e zeros — distanciando-se do trabalho com quantidades maiores.
Essa abordagem é baseada em estruturas de prova criptográfica usuais, como SNARKs (Succinct Non-Interactive Argument of Knowledge) e STARKs (Scalable Transparent Argument of Knowledge) que geralmente lidam com contagens mais significativas, como inteiros de 64 bits ou 256 bits. Os dados que estão sendo processados frequentemente incluem figuras menores, como contadores, índices e bandeiras booleanas. Assim, operando em bits diretamente, Binius poderia lidar com esses dados com eficiência superior, disse Buterin.
Buterin afirmou que o paradigma de prova atualizado fornece avanços como a visão de dados como uma grade multidimensional ou "hipercubo" de bits, empregando "campos finitos" binários para operações aritméticas eficazes em bits e sequências de bits. Além disso, ele emprega um mecanismo de codificação e decodificação sob medida que altera informações de nível de bits adequadas para cálculos "polinomiais" e provas de Merkle, mantendo operações binárias eficientes.
Este sistema orientado a binários abre melhorias notáveis para a aritmética fundamental em aplicações de prova criptográfica, tornando os intrincados empreendimentos criptográficos mais contínuos e escaláveis. As provas ZK geralmente usam polinômios para codificar dados e cálculos, permitindo a verificação de provas sem revelar o conteúdo subjacente, daí o uso do termo "conhecimento zero".
Buterin apresentou o protocolo Binius através de intrincados conceitos matemáticos não discutidos nesta notícia para demonstrar como a codificação de dados, a geração de provas e a verificação eficiente de provas são realizadas. Para os criptógrafos, Benjamin E. Diamond e Jim Posen propuseram essa ideia pela primeira vez em um whitepaper de 2023 intitulado "Argumentos sucintos sobre torres de campos binários".
Em resumo, a Binius planeja efetuar um aumento substancial de desempenho em relação aos sistemas de prova tradicionais, principalmente para cálculos envolvendo valores menores e operações em nível de bits. Buterin espera mais melhorias nas técnicas de prova baseadas em campo binário no futuro.
Published At
5/1/2024 8:52:03 AM
Disclaimer: Algoine does not endorse any content or product on this page. Readers should conduct their own research before taking any actions related to the asset, company, or any information in this article and assume full responsibility for their decisions. This article should not be considered as investment advice. Our news is prepared with AI support.
Do you suspect this content may be misleading, incomplete, or inappropriate in any way, requiring modification or removal?
We appreciate your report.