circom-compat
by arkworks-rs
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
AI summary
Proof system compatibility
Provides compatibility layer between Circom and Arkworks libraries for Rust-based proof generation and verification.
- stars
- 242
- forks
- 118
- watching
- 11
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Cryptographic library
Provides Rust compatibility with NaCl-family libraries for secure cryptographic functions.
Code verifier
Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
rust-lang/cc-rs1.9K
Build compiler
Provides build scripts to compile C/C++ code into a Rust library
Compatibility library
Provides CL extensions and utilities to ensure compatibility with other Common Lisp implementations.
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
zkEVM project
A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust
Compiler
A minimal functional programming language compiler target
Coroutine library
Provides an implementation of cooperative multitasking in Rust
lord/wargo261
Rust compiler
An tool for easy compilation and testing of Rust applications on WebAssembly platforms.
Computer vision library
Rust wrapper around OpenCV 3.x
Code puzzles
A Rust implementation of the Advent of Code 2023 challenges
Circuit compiler
A compiler for a specific circuit language used in zkSNARKs proofs
Web framework demo
Demonstrates server-side rendering of web applications with Rust and actix-web
Rust compiler demo
An experimental project demonstrating the compilation and execution of Rust code using Cosmopolitan Libc.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions circom-compat.
