Irreducibleとのオープンソースコラボレーションを発表できることを嬉しく思います！

PetraVMは、バイナリフィールドのタワーを使用して、パフォーマンスを最適化し、証明コストを削減する次世代のzkVMです。