Pinned Repositories
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
curves
Implementations of popular elliptic curves
marlin
A Rust library for the Marlin preprocessing zkSNARK
poly-commit
A Rust library for polynomial commitments
snark
Interfaces for Relations and SNARKs for these relations
algebra-intro
ark_algebra_py
oblix-sgx
zk-mooc-lang-examples
Pratyush's Repositories
Pratyush/algebra-intro
Pratyush/ark_algebra_py
Pratyush/zk-mooc-lang-examples
Pratyush/awesome-folding
A curated list of zero-knowledge folding schemes
Pratyush/vimconfig
VIM Config
Pratyush/collaborative-zksnark
Prototype implementations of various Collaborative zkSNARKs.
Pratyush/poly-commit
A Rust library for polynomial commitments
Pratyush/absolution
"Freedom from syn": Proc macro tools for operating on token trees
Pratyush/advisory-db
Security advisory database for Rust crates published through crates.io
Pratyush/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
Pratyush/barretenberg
Pratyush/criterion.rs
Statistics-driven benchmarking library for Rust
Pratyush/Cupcake
A Rust library for lattice-based additive homomorphic encryption.
Pratyush/cv
My CV.
Pratyush/diyhpluswiki
a wiki for do-it-yourself biohacking, open source hardware and transhuman tech
Pratyush/ecfft-bn254
ECFFT in Rust
Pratyush/fancy-garbling
Rust implementation of the BMR16 arithmetic garbling scheme.
Pratyush/ff
Traits and utilities for working with finite fields.
Pratyush/gemini
An elastic proof system based on arkworks
Pratyush/hash-based-snargs-book
Source code for "Building Cryptographic Proofs from Hash Functions"
Pratyush/itertools
Extra iterator adaptors, iterator methods, free functions, and macros.
Pratyush/mathlib
Lean mathematical components library
Pratyush/mpi-test
Pratyush/RCIG_Coordination_Repo
A Coordination repo for all things Rust Cryptography oriented
Pratyush/rust
Empowering everyone to build reliable and efficient software.
Pratyush/rust-in-blockchain
Source code for rib.rs
Pratyush/snarky
OCaml DSL for verifiable computation
Pratyush/tracing
Application level tracing for Rust.
Pratyush/zexe-1
Rust library for decentralized private computation
Pratyush/zk-swap-libff