Entusiasmados em apresentar nossa colaboração de código aberto com Irreducible!

PetraVM é uma zkVM de última geração para otimizar o desempenho e diminuir o custo de prova, usando torres de campos binários.