El cofundador de Ethereum, Vitalik Buterin, ha hablado de un nuevo sistema de pruebas criptográficas que pretende lograr una mayor eficiencia en las pruebas de conocimiento-cero (ZK).
En un artículo publicado en su web site el 29 de abril, Buterin explicó un sistema de pruebas criptográficas de alta eficiencia sobre campos binarios llamado «Binius», cuyo objetivo es ofrecer mejoras de rendimiento significativas con respecto a los sistemas de pruebas tradicionales, como zk-SNARK.
El objetivo de Binius es lograr una mayor eficiencia realizando cálculos directamente sobre bits binarios individuales (ceros y unos) en lugar de números más grandes.
La motivación del sistema procede de los sistemas tradicionales de pruebas criptográficas, como los SNARK (Succinct Non-Interactive Argument of Understanding) y STARK (Scalable Clear Argument of Understanding), que trabajan con números más grandes, como enteros de 64 o 256 bits.
Los datos subyacentes que se procesan suelen consistir en valores pequeños, como contadores, índices y banderas booleanas. Sin embargo, al operar directamente sobre bits, Binius puede procesar estos datos de forma más eficiente, afirma Buterin.
Según Buterin, el nuevo sistema de pruebas ofrece mejoras como la representación de datos como un «hipercubo» multidimensional de bits y el uso de «campos finitos» binarios para permitir operaciones aritméticas eficientes sobre bits y secuencias de bits.
También emplea un proceso especializado de codificación y descodificación que convierte los datos a nivel de bits en una forma adecuada para el procesamiento «polinómico» y las pruebas Merkle, al tiempo que mantiene las ventajas de eficiencia de trabajar en binario.
El sistema binario aporta mejoras significativas a la aritmética básica de los sistemas de pruebas criptográficas, haciendo que las criptoaplicaciones complejas sean más eficientes y escalables.
Los polinomios se utilizan a menudo en las pruebas zk para codificar datos y cálculos de forma que permitan verificar las pruebas sin revelar la información subyacente de ahí el término «conocimiento cero».
Buterin demostró el protocolo Binius con matemáticas complejas que van más allá del alcance de este artículo para mostrar cómo codifica datos, genera pruebas y permite a los verificadores comprobar esas pruebas de forma eficiente.
El concepto fue propuesto inicialmente por los criptógrafos Benjamin E. Diamond y Jim Posen en un artículo de 2023 titulado «Succinct Arguments over Towers of Binary Fields».
https://www.youtube.com/view?v=eTCjVTWqjj0
En standard, Binius aspira a lograr importantes mejoras de rendimiento con respecto a los sistemas de prueba más tradicionales, especialmente para cálculos que impliquen valores pequeños y operaciones a nivel de bits.
«Espero muchas más mejoras en las técnicas de demostración basadas en campos binarios en los próximos meses», concluye Buterin.
Aclaración: La información y/u opiniones emitidas en este artículo no representan necesariamente los puntos de vista o la línea editorial de Noticias Blockchain. La información aquí expuesta no debe ser tomada como consejo financiero o recomendación de inversión. Toda inversión y movimiento comercial implican riesgos y es responsabilidad de cada persona hacer su debida investigación antes de tomar una decisión de inversión
Las inversiones en criptoactivos no están reguladas. Es posible que no sean apropiados para inversores minoristas y que se pierda el monto full invertido. Los servicios o productos ofrecidos no están dirigidos ni son accesibles a inversores en España.
