gnark is a fast zk-SNARK library that offers a high-level API for designing zero-knowledge proof...