Alex Ozdemir

collaborative-zksnark. Prototype implementations of various Collaborative zkSNARKs.

bellman-bignat. Multiprecision arithmetic & RSA accumulators, within SNARKs

flint-rs. C

construct. The Construct Language - A DSL for Classical Geometry

unsafe-ast. Producing ASTs which summarize the unsafe structure of Rust code.

circ. (Cir)cuit (C)ompiler. Compiling high-level languages for SMT, zero-knowledge proofs, and more.

analyze-unsafe. Analyzing the way Rust code uses unsafe, out in the wild.

sapling-crypto. Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood

cs144.github.io. CS144 website

zk-pigeonhole. C

rlfsc. Rust

bellman. zk-SNARK library.

verifirefox. ✔️ Online translation verification for IonMonkey JIT IR

scan. A tokenizing/parsing utility for Rust