Un desarrollador de Kaspa demuestra el primer programa verificable con liquidación habilitada en la red de pruebas -10
El desarrollador de Kaspa Maksim Biriukov implementó un juego de tres en raya (tic-tac-toe) como programa verificable (vprog) en la red de pruebas -10, lo que marca una implementación inicial que cuenta con ejecución fuera de cadena y liquidación en cadena. La configuración ejecuta la lógica fuera de cadena con pruebas de RISC Zero y se basa en los pactos (covenants) y compromisos de secuenciación de Kaspa introducidos en la actualización Toccata para verificar las reglas y desembolsar fondos.
Por qué importa para Kaspa
La implementación demuestra cómo los pactos de la era Toccata de Kaspa (KIP -16) y los compromisos de secuenciación (KIP -21) pueden hacer cumplir las liquidaciones de aplicaciones sin ejecutar la lógica de las aplicaciones en los nodos de la capa base. Sin embargo, el software sigue siendo un prototipo temprano probado exclusivamente con monedas de prueba sin valor.
Fuente original
Debate
Los comentarios son públicos. Inicia sesión para participar.