circom-compat
Arkworks bindings to Circom's R1CS for generating Groth16 proofs and witnesses in Rust.
What is circom-compat?
ark-circom is a Rust library that provides bindings between the Arkworks zk-SNARK library and Circom's R1CS format, enabling Groth16 proof and witness generation within Rust applications. It bridges the Circom circuit ecosystem and Arkworks proving system, reducing friction in zero-knowledge application development by allowing developers to leverage Circom circuits with Arkworks' proving backend.
Zero-knowledge proof developers working in Rust who need to integrate Circom circuits with the Arkworks proving system, particularly those building applications requiring Ethereum-compatible proofs.
Developers choose ark-circom for its seamless interoperability between two major zk-SNARK ecosystems, offering robust Rust bindings with features like ZKey parsing, witness generation via WASM, and Ethereum compatibility, which simplifies proof generation and verification workflows.
Overview
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Use Cases
Best For
- Generating Groth16 proofs in Rust using Circom circuit definitions and R1CS files.
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
