Pinned Repositories
analyze-unsafe
Analyzing the way Rust code uses unsafe, out in the wild.
bellman-bignat
Multiprecision arithmetic & RSA accumulators, within SNARKs
circ
(Cir)cuit (C)ompiler. Compiling high-level languages for SMT, zero-knowledge proofs, and more.
collaborative-zksnark
Prototype implementations of various Collaborative zkSNARKs.
construct
The Construct Language - A DSL for Classical Geometry
flint-rs
unsafe-ast
Producing ASTs which summarize the unsafe structure of Rust code.
circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
LFSC
LFSC Proof Checker
alex-ozdemir's Repositories
alex-ozdemir/sapling-crypto
Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood
alex-ozdemir/cs144.github.io
CS144 website
alex-ozdemir/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
alex-ozdemir/bulletproofs
Experimenting with bulletproofs on arkworks
alex-ozdemir/circom
Circuit compiler for zkSNARKs
alex-ozdemir/circomlib
Pedersen Hash and Exponentiation circuits using Baby Jub Curve in circom language
alex-ozdemir/curves
Implementations of popular elliptic curves
alex-ozdemir/dimacs-parser
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
alex-ozdemir/dnc-smt
D&C Search for SMT, based on gg.
alex-ozdemir/gg
The Stanford Builder
alex-ozdemir/groth16
A Rust implementation of the Groth16 zkSNARK
alex-ozdemir/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
alex-ozdemir/hs2js
Tool for converting derived-Show formatted Haskell objects into JSON
alex-ozdemir/libff
C++ library for Finite Fields and Elliptic Curves
alex-ozdemir/mallob
Malleable Load Balancer. Multitasking Agile Logic Blackbox. Award-winning SAT solving for the cloud.
alex-ozdemir/Marabou
alex-ozdemir/marlin
A Rust library for the Marlin preprocessing zkSNARK
alex-ozdemir/mpc-algebra
MPC machinery hacked under arkworks
alex-ozdemir/nonnative
R1CS constraints for non-native field arithmetic
alex-ozdemir/num-bigint
Big integer types for Rust
alex-ozdemir/pequin
A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
alex-ozdemir/rlfsc
alex-ozdemir/rsmt2
A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
alex-ozdemir/smooth-investigations
Investigating the generation of non-smooth numbers
alex-ozdemir/sponge
CS144 laboratory assignments
alex-ozdemir/tabwriter
Elastic tabstops for Rust.
alex-ozdemir/utils
Utilities used by the `arkworks` ecosystem
alex-ozdemir/vector-addition-chain
alex-ozdemir/xsv
A fast CSV command line toolkit written in Rust.
alex-ozdemir/z3
The Z3 Theorem Prover