StarkDEX implementa algoritmo Proof of Concept llamado ZK-STARK desarrollado a través de una colaboración con StarkWare

StarkDEX implementa algoritmo Proof of Concept llamado ZK-STARK desarrollado a través de una colaboración con StarkWare

StarkDEX ha estado buscando maneras de eliminar el límite máximo en los intercambios sin custodia, permitir que los intercambios de criptomonedas ofrezcan operaciones a gran escala y ayudarles a deshacerse del riesgo de contraparte. Para cumplir esta misión, StarkDEX se asoció con StarkWare y ha estado trabajando, y ahora tienen algo que mostrar al público.

Su colaboración ha llevado a la creación de ZK-STARK (pruebas de conocimiento cero) que utiliza diferentes sistemas de prueba en un ecosistema blockchain para una gama de usos que van desde la privacidad hasta la escalabilidad. En este caso, los dos socios han implementado Starks para aumentar el número de transacciones por segundo. En este caso, Starks se ha implementado en la escalabilidad de Capa-2, y el ecosistema de blockchain en uso ha generado un aumento en el número de transacciones por segundo.

Funcionamiento interno de Starks en StarkDEX

Aunque el algoritmo Stark todavía está en sus etapas iniciales, su funcionamiento interno ha generado excelentes resultados, que se han evidenciado en las demostraciones. Sin embargo, Stark trabaja a través de lotes de transacciones que acumulan procesos en una sola prueba con la verificación de que este último, que tiene lugar en Ethereum. Para lograr su objetivo principal de liquidar las operaciones, el algoritmo Proof of Concept utiliza tanto los componentes fuera de la cadena como los de la cadena.

En primer lugar, el DEX envía un lote de pedidos para liquidar a través del servicio Prover alojado en StarkWare iniciando todo el proceso. El siguiente paso es que Prover llegue en su lugar para verificar las firmas de cada transacción en el lote, junto con la verificación de la validez de las transacciones. Después de eso, Prover Service envía los datos para el almacenamiento fuera de la cadena y al mismo tiempo agrega un seguimiento de ejecución que mantiene. Este último paso inicia la creación de una prueba de validez para todo el lote junto con la raíz de Merkel más reciente cuyo propósito es verificar el contrato del verificador en cadena.

La raíz de Merkel verifica la prueba y envía la raíz a los DEX en el contrato de blockchain para su almacenamiento. Por último, el contrato del verificador se traslada a la tubería del contrato inteligente Ox, que envía el lote al ecosistema de blockchain Ethereum para su confirmación. Para obtener más información sobre el funcionamiento de Stark en el intercambio descentralizado, consulte las demostraciones en su lugar.