Groth16 zk-SNARK proof generation and verification.

This crate provides functionality for working with R1CS witnesses and Groth16 proofs.

Currently, it supports circuits defined using Circom.

Groth16 Witness and Proof Material helpers

Types and utilities for producing Groth16 proofs.

Currently we support witness generation using circom-witness-rs and proof generation using ark-groth16. A wrapper struct holding all the necessary material is provided, along with helper functions to generate the witness and proof.

In the future, support for producing Groth16 proofs from Noir circuits will be added.