$ZK Prover от Polyhedra оказался самым быстрым по первым результатам соревнования 'Proof Arena', проведенного в Protocol Village.
