#VitalikButerin Examina Binius: un enfoque más rápido para las pruebas de conocimiento cero

#Ethereum cofundador #Vitalik Buterin explora "Binius", un nuevo método que tiene como objetivo acelerar significativamente las pruebas de conocimiento cero. Binius se centra en la eficiencia al realizar cálculos directamente en bits binarios (0 y 1) en lugar de números más grandes utilizados en sistemas tradicionales como zk-SNARK. Este enfoque se adapta a tipos de datos utilizados con frecuencia, como contadores y indicadores booleanos, lo que potencialmente conduce a pruebas más rápidas.

Binius aprovecha los "campos finitos binarios" para operaciones aritméticas eficientes en bits y utiliza una representación de datos de "hipercubo" multidimensional. Además, emplea un proceso de codificación/decodificación único para mantener la eficiencia y al mismo tiempo permitir el procesamiento mediante polinomios y pruebas #Merkle .

Estos avances en la aritmética central del sistema de prueba criptográfica prometen una mayor escalabilidad y eficiencia para aplicaciones criptográficas complejas. Las pruebas #zero-knowledge a menudo utilizan polinomios para ocultar datos y cálculos durante la verificación, asegurando que solo se confirme la validez de la prueba, no la información subyacente.

Si bien los detalles técnicos del cifrado Binius y la generación de pruebas están más allá de este alcance, Buterin destaca su potencial para mejoras significativas en la velocidad, especialmente para cálculos que involucran valores pequeños y operaciones a nivel de bits. Esta tecnología se basa en un documento técnico de 2023 de Posen y Diamond.

En general, Binius busca superar sustancialmente a los sistemas de prueba existentes en términos de velocidad, allanando el camino para pruebas sin conocimiento cero más rápidas en el futuro. Buterin anticipa mayores avances en las "técnicas de prueba basadas en campos binarios" en los próximos meses.