taceo-groth16
| Crates.io | taceo-groth16 |
| lib.rs | taceo-groth16 |
| version | 0.1.1 |
| created_at | 2025-11-20 13:01:39.966984+00 |
| updated_at | 2025-12-10 13:20:44.741782+00 |
| description | An implementation of the Groth16 zkSNARK proof system. |
| homepage | https://taceo.io/ |
| repository | https://github.com/TaceoLabs/circom-helpers |
| max_upload_size | |
| id | 1941957 |
| size | 166,359 |
owners (github:taceolabs:owners)
documentation
README
Groth16
An implementation of the Groth16 zkSNARK proof system.
To run tests, use:
cargo test --all-features
To run benchmarks, use:
cargo bench
This library provides two different R1CS to QAP reductions:
LibSnarkReduction— Implements the witness map used by libsnark, based on https://github.com/arkworks-rs/groth16/.CircomReduction— Implements the witness map used by snarkjs (compatible with Circom), based on https://github.com/arkworks-rs/circom-compat/.