¡Estamos encantados de presentar nuestra colaboración de código abierto con Irreducible!

PetraVM es una zkVM de última generación para optimizar el rendimiento y reducir el costo de la prueba, utilizando torres de campos binarios.