circom-compat

Proof system compatibility

Provides compatibility layer between Circom and Arkworks libraries for Rust-based proof generation and verification.

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

242 stars

11 watching

118 forks

Language: Rust

last commit: 5 months ago

Backlinks from these awesome lists:

Repository	Description	Stars
rustcrypto/nacl-compat	Provides Rust compatibility with NaCl-family libraries for secure cryptographic functions.	60
formal-land/coq-of-rust	Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist	437
fluidex/plonkit	Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system	159
rust-lang/cc-rs	Provides build scripts to compile C/C++ code into a Rust library	1,885
g000001/arc-compat	Provides CL extensions and utilities to ensure compatibility with other Common Lisp implementations.	13
veridise/picus	Automated tool for verifying uniqueness properties in zero-knowledge proof circuits	70
succinctlabs/sp1-reth	A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust	126
raviqqe/fmm	A minimal functional programming language compiler target	18
rustcc/coroutine-rs	Provides an implementation of cooperative multitasking in Rust	412
lord/wargo	An tool for easy compilation and testing of Rust applications on WebAssembly platforms.	261
nebgnahz/cv-rs	Rust wrapper around OpenCV 3.x	204
craake/aoc2023	A Rust implementation of the Advent of Code 2023 challenges	0
iden3/circom_old	A compiler for a specific circuit language used in zkSNARKs proofs	473
zzy/yew-ssr-actix-web	Demonstrates server-side rendering of web applications with Rust and actix-web	15
ahgamut/rust-ape-example	An experimental project demonstrating the compilation and execution of Rust code using Cosmopolitan Libc.	189