Code
Building things from scratch excites me, especially when it comes to cryptography and SNARKs. Rust is my language of choice.
Creator & lead contributor
Projects I created and lead.
alireza-shirzad/garuda-pari
A Rust implementation of the Garuda and Pari SNARKs
arkworks-rs/truth-tableTruthTable: a verifiable query engine
alireza-shirzad/aegonImplementation of Aegon self-auditable key transparency
Open-source contributions
Ecosystem libraries I contribute to.
arkworks-rs/snark
Interfaces for relations and SNARKs for these relations
arkworks-rs/algebraLibraries for finite field, elliptic curve, and polynomial arithmetic
arkworks-rs/groth16A Rust implementation of the Groth16 zkSNARK
arkworks-rs/crypto-primitivesInterfaces and implementations of cryptographic primitives with R1CS constraints
arkworks-rs/r1cs-stdR1CS constraints for bits, fields, and elliptic curves
arkworks-rs/stdA standard library wrapper for the arkworks ecosystem
All of my public repositories are on GitHub.