Excited to introduce our open-source collaboration with Irreducible!

PetraVM is a next-gen zkVM to optimize performance and lower proving cost, using towers of binary fields.