md-assembla's repositories
halo2-solidity-verifier
A set of tooling related to halo2 circuits verification inside Solidity contracts
halo2-scaffold
Basic scaffolding for setting up and writing a Halo2 ZK circuit
chiquito
DSL for Halo2 circuits
fhe.rs
Fully Homomorphic Encryption library in Rust
zk-fhe
Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
multichain-auditor
Observations and tips checklist for auditing protocols on multiple chains 🧐
curve-pool-registry
On-chain registry and unified API for Curve.fi pools.
crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
sirius
A folding framework for Incrementally Verifiable Computation (IVC).
uint
Rust Uint crate using const-generics
rune
An embeddable dynamic programming language for Rust.
arrayvec
A vector with a fixed capacity. (Rust)
awesome-zk
A curated list of awesome ZK resources, libraries, tools and more.
forge-std
Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.
poly-commit
A Rust library for polynomial commitments