Crate taceo_groth16_material 

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.

Modules

circom

Provides utilities for loading Circom Groth16 proving keys and circuits, computing witnesses, and generating/verifying Groth16 proofs using the arkworks ecosystem. Only the bn254 curve is supported.

Enums

Groth16Error

Errors that can occur during Groth16 proof generation and verification.