taceo-groth16-material
| Crates.io | taceo-groth16-material |
| lib.rs | taceo-groth16-material |
| version | 0.1.1 |
| created_at | 2025-11-20 13:27:14.6327+00 |
| updated_at | 2025-11-21 11:42:52.213852+00 |
| description | A collection of utilities for generating witnesses and proofs for Groth16 circuits. Supports Circom circuits for now. |
| homepage | https://taceo.io/ |
| repository | https://github.com/TaceoLabs/circom-helpers |
| max_upload_size | |
| id | 1941994 |
| size | 93,598 |
owners (github:taceolabs:owners)
documentation
README
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.