StarkWare ha logrado un hito histórico al verificar con éxito su primera prueba de conocimiento cero (ZK) utilizando su nuevo verificador STARK en la red Bitcoin Signet.
El desarrollo sigue a tres meses de exploración firme de las posibilidades de OP_CAT, la propuesta técnica destinada a ampliar las capacidades de la cadena de bloques Bitcoin.
El verificador sienta las bases para desarrollar soluciones de capa 2 (L2) basadas en ZK para mejorar la escalabilidad de BTC e impulsar oportunidades de pago globales.
Relacionado: La participación en Starknet llegará a la red principal en el cuarto trimestre - EthCC
Propuesta OP_CAT
La propuesta OP_CAT introduce la funcionalidad de contrato inteligente en la red BTC y, aunque aún se encuentra en el proceso de aprobación, actualmente está disponible en la red de prueba, BTC Signet.
El verificador ZK de StarkWare es la primera aplicación práctica a gran escala del código de operación de la propuesta en testnet. Su implementación exitosa en la red BTC Signet conlleva varias implicaciones.
Hablando con Cointelegraph, Weikeng Chen, socio de investigación de L2 Iterative y colaborador, explicó que el verificador ZK "es algo que nunca se ha hecho antes".
"Se necesitan muchos componentes básicos, pero [la] comunidad Bitcoin nunca antes había construido ninguno de estos componentes".
Relacionado: El nuevo código abierto a prueba de ZK reduce drásticamente los tiempos de consulta SQL
Prueba de concepto y accesibilidad
La prueba de concepto para el verificador STARK implicó resolver un problema matemático, verificando el número 32 en la secuencia de Fibonacci al cuadrado.
Según Chen, el proceso requirió “un tremendo esfuerzo” y una “cantidad significativa de tiempo”. Sin información sobre el uso a prueba de ZK en Bitcoin, el equipo "comenzó sin nada".
Chen le dijo a Cointelegraph que al equipo le llevó "varios meses escribir los componentes básicos desde el principio".
“Somos básicamente el único equipo que realmente implementa el verificador ZK en Bitcoin. Como podemos confirmar a través de diferentes fuentes que conocemos, esta es la primera vez que se verifica una prueba ZK”.
A diferencia de otras soluciones de escalamiento de BTC que se basan en pruebas de fraude o en vida, es la primera solución basada en STARK disponible públicamente para los desarrolladores, con el código accesible en GitHub.
Relacionado: StarkWare lanza un fondo de investigación de 1 millón de dólares para el escalamiento de ZK Bitcoin
La apuesta de Starknet llegará a la red principal en el cuarto trimestre
El 10 de julio, en EthCC, Eli Ben-Sasson, director ejecutivo de StarkWare, anunció los planes de la compañía de introducir apuestas en Starknet para fines de 2024.
Propuesta a través de una propuesta de mejora de Starknet (SNIP), la aprobación de la comunidad conduciría a nuevas características de participación que permitirán a los interesados "recibir gradualmente más responsabilidades".
La aprobación del SNIP permitiría a los usuarios convertirse en apostadores siempre que posean la cantidad mínima de participación o deleguen sus participaciones a un participante existente.
Revista: Crypto-Sec: Evolve Bank sufre una violación de datos, el entusiasta de Turbo Toad pierde $3.6K
