Pinned Repositories
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
curves
Implementations of popular elliptic curves
poly-commit
A Rust library for polynomial commitments
bls-signatures-arkworks-example
Example repo for doing BLS signatures with the arkworks backend
extended_euclidian_algorithm
Rust implementation of the Extended Euclidian Algorithm
Nova
Nova: Recursive SNARKs without trusted setup
r1cs-std
R1CS constraints for bits, fields, and elliptic curves
Rabin-Williams
Rabin-Williams implementation in pure Rust
substrate-auto-payout
Auto payout for your validators for Susbtrate blockchains
Sum_check_protocol
mmagician's Repositories
mmagician/bls-signatures-arkworks-example
Example repo for doing BLS signatures with the arkworks backend
mmagician/Rabin-Williams
Rabin-Williams implementation in pure Rust
mmagician/r1cs-std
R1CS constraints for bits, fields, and elliptic curves
mmagician/Sum_check_protocol
mmagician/agglayer
Rust implementation of the Agglayer.
mmagician/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
mmagician/axiom-eth
mmagician/bw6-comparison
Simple test for BW6 pairing output
mmagician/cargo-release-pr-test
mmagician/circom-pairing
mmagician/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
mmagician/curves
Implementations of popular elliptic curves
mmagician/docs
Optimism Developer Docs
mmagician/draft-irtf-cfrg-hash-to-curve
Hashing to Elliptic Curves
mmagician/ezkl
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
mmagician/halo2-lib
Monorepo of halo2 crates
mmagician/lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
mmagician/Lasso
The lookup singularity. Based on Spartan; built on Arkworks.
mmagician/mmagician.github.io
mmagician/Polkadot-Pioneers-Prize
mmagician/poly-commit
A Rust library for polynomial commitments
mmagician/prodcheck
Grand product check for multilinear polynomials
mmagician/release-pr
GitHub Action to create a release PR using cargo-release
mmagician/snark-verifier
mmagician/std
A standard library wrapper for use in the `arkworks` ecosystem
mmagician/stir
STIR š„£: ReedāSolomon Proximity Testing with Fewer Queries
mmagician/substrate
Substrate: The platform for blockchain innovators
mmagician/sumcheck
linear-time sumcheck protocol for multilinear polynomials and related addends
mmagician/zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
mmagician/zkrollup-benchmarking
Benchmark zkRollup implementations