bellman-examples

examples for bellman zk-snarks library

Stars

Ecosystems: Rust

Statistics for this project are still being loaded, please check back later.

prove eth_call result

(Toy) Compiler Infrastructure influenced by LLVM written in Rust

const linear algebra in rust

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RI...

Common data structures and algorithms in Rust

Zero-knowledge proof acceleration with GPUs for C++ and Rust

Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well ...

A SAT solver written in Rust

A pure-Rust implementation of the Paillier encryption scheme