Maddiaa's repositories
honk-verifier
Honk Verifier in Solidity
high-orbit-sonic-cannon
CAN YOU HEAR IT, CAN YOU FEEEEEEL IT
noir-storage-proofs-demo
Code used in a recent presentation showing off noir storage proofs
solidity-circuits
Write Zero Knowledge Circuits in Solidity
foundry-noir
Test noir inside solidity
based-cometbft
Comet bft that gets the next proposer from an l1 vrf
huff-puzzles
These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
indexed-tree
Indexed Merkle Tree Impl
acir-to-bberg-circuit
Convert an ACIR circuit to the constraint system that barretenberg uses
indexed-tree-nr
WIP: Circuit side of an indexed merkle tree implementation
lib-keccak
Keccak-f[1600] permutation in the EVM
noir-benchmarks
Benchmarking Noir + Barretenberg proving times across different constraint counts (i.e. program sizes).
powdr
A modular stack for zkVMs, with a focus on productivity, security and performance.
rapidsnark
Small fixes