Veridise’s Zero-Knowledge Research: Split Gröbner Bases for Satisfiability Modulo Finite Fields
Introduction Zero-Knowledge in all its forms is a strong suit for Veridise. In addition to auditing some of the largest […]
Circom-Pairing: A Million-Dollar ZK Bug Caught Early
In this blog post, we will dissect a critical security issue discovered by Veridise in the circom-pairing library. The circom-pairing