Ziren 2.0 ya está disponible y ocupa el centro de la arquitectura de GOAT Network
GOAT afirma que Ziren demuestra cada transición de estado de su zkEVM, mientras que su puente BitVM3 está diseñado para liquidarse sobre esas pruebas. Esto convierte a Ziren 2.0 en un avance importante para la red.
QUÉ CAMBIÓ
Ziren 2.0 sustituye su núcleo de pruebas por un jagged-over-WHIR, reconstruido a lo largo de 1.690 commits.
El nuevo sistema combina verificaciones entre las reglas de los chips, utiliza los datos en su tamaño real, sin relleno, y se basa en compromisos basados en hashes. Los programas existentes se compilan sin cambios en Rust, C y Go.
LAS CIFRAS
- 8,6 segundos para demostrar un bloque promedio de la red principal de Ethereum con cuatro GPU
- Coste promedio: 0,0061 $ por prueba, según Ethproofs (3 de noviembre)
- Tamaño de la prueba final: unos 284 KiB
- Verificación nativa: unos 25 milisegundos
- Un bloque de 358 millones de ciclos: 51,3 segundos con una GPU y 16,7 con cuatro
- Se demostraron quince bloques consecutivos de la red principal con Reth y Geth
EL INFORME DE SEGURIDAD
El determinismo se verifica automáticamente en Lean: 57 chips, 104 teoremas, todos demostrados. El artículo informa de más de 100 bits de solidez interactiva por etapa de prueba y 93,5 bits de seguridad compuesta para un bloque completo.
QUÉ SIGNIFICA PARA GOAT
- Las pruebas más rápidas y económicas son importantes para una red que demuestra cada transición de estado
- Las pruebas pequeñas y de tamaño fijo son rápidas de verificar, algo idóneo para un puente basado en pruebas
- Benchmarks públicos y verificaciones de seguridad que se pueden inspeccionar
- Un verificador basado en hashes en desarrollo para protocolos de estilo BitVM
- Los programas existentes se mantienen
El enfoque basado en hashes también respalda el plan poscuántico de GOAT, en el que se prevé sustituir un envoltorio basado en emparejamientos que está expuesto.
Estos benchmarks utilizan bloques de Ethereum, no la carga de trabajo propia de GOAT. BitVM3 aún está en desarrollo, y las cifras proceden de la documentación de ZKM; Ethproofs ofrece un listado público de benchmarks.
Detalles: docs.zkm.io
GOAT afirma que Ziren demuestra cada transición de estado de su zkEVM, mientras que su puente BitVM3 está diseñado para liquidarse sobre esas pruebas. Esto convierte a Ziren 2.0 en un avance importante para la red.
QUÉ CAMBIÓ
Ziren 2.0 sustituye su núcleo de pruebas por un jagged-over-WHIR, reconstruido a lo largo de 1.690 commits.
El nuevo sistema combina verificaciones entre las reglas de los chips, utiliza los datos en su tamaño real, sin relleno, y se basa en compromisos basados en hashes. Los programas existentes se compilan sin cambios en Rust, C y Go.
LAS CIFRAS
- 8,6 segundos para demostrar un bloque promedio de la red principal de Ethereum con cuatro GPU
- Coste promedio: 0,0061 $ por prueba, según Ethproofs (3 de noviembre)
- Tamaño de la prueba final: unos 284 KiB
- Verificación nativa: unos 25 milisegundos
- Un bloque de 358 millones de ciclos: 51,3 segundos con una GPU y 16,7 con cuatro
- Se demostraron quince bloques consecutivos de la red principal con Reth y Geth
EL INFORME DE SEGURIDAD
El determinismo se verifica automáticamente en Lean: 57 chips, 104 teoremas, todos demostrados. El artículo informa de más de 100 bits de solidez interactiva por etapa de prueba y 93,5 bits de seguridad compuesta para un bloque completo.
QUÉ SIGNIFICA PARA GOAT
- Las pruebas más rápidas y económicas son importantes para una red que demuestra cada transición de estado
- Las pruebas pequeñas y de tamaño fijo son rápidas de verificar, algo idóneo para un puente basado en pruebas
- Benchmarks públicos y verificaciones de seguridad que se pueden inspeccionar
- Un verificador basado en hashes en desarrollo para protocolos de estilo BitVM
- Los programas existentes se mantienen
El enfoque basado en hashes también respalda el plan poscuántico de GOAT, en el que se prevé sustituir un envoltorio basado en emparejamientos que está expuesto.
Estos benchmarks utilizan bloques de Ethereum, no la carga de trabajo propia de GOAT. BitVM3 aún está en desarrollo, y las cifras proceden de la documentación de ZKM; Ethproofs ofrece un listado público de benchmarks.
Detalles: docs.zkm.io