Pinned Repositories
aztec-packages
huff-rs
A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.
huffmate
A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
aztec-fhe-auction
governor-of-athens
Governor of Athens: A protocol to enable private governance on existing governor bravo contracts by leveraging Aztec's Defi Batching
high-orbit-sonic-cannon
CAN YOU HEAR IT, CAN YOU FEEEEEEL IT
honk-verifier
Honk Verifier in Solidity
huff-vrgda
Huff Implementation of VRGDAs
solidity-circuits
Write Zero Knowledge Circuits in Solidity
weiroll-huff
A port of the weiroll vm in huff
Maddiaa0's Repositories
Maddiaa0/honk-verifier
Honk Verifier in Solidity
Maddiaa0/weiroll-huff
A port of the weiroll vm in huff
Maddiaa0/high-orbit-sonic-cannon
CAN YOU HEAR IT, CAN YOU FEEEEEEL IT
Maddiaa0/noir-storage-proofs-demo
Code used in a recent presentation showing off noir storage proofs
Maddiaa0/solidity-circuits
Write Zero Knowledge Circuits in Solidity
Maddiaa0/chuff
An error resistant Huff parser for lsps
Maddiaa0/foundry-noir
Test noir inside solidity
Maddiaa0/lwe-noir
proving learning with errors in noir
Maddiaa0/huff-puzzles
These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
Maddiaa0/noirplate
A foundry project with support for creating and verifying noir proofs
Maddiaa0/haworthia
An Aztec bridge implementation to privately use gitcoin's allo protocol
Maddiaa0/indexed-tree
Indexed Merkle Tree Impl
Maddiaa0/morpheus-landing
Maddiaa0/noir-trie-proofs
Maddiaa0/aztec-fhe-auction
Maddiaa0/2023-10-zksync
Maddiaa0/acir-to-bberg-circuit
Convert an ACIR circuit to the constraint system that barretenberg uses
Maddiaa0/barretenberg
Maddiaa0/evm.codes
Source code for evm.codes - help us make it better.
Maddiaa0/fhe-auction
Maddiaa0/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Maddiaa0/halo2_backend
Maddiaa0/indexed-tree-nr
WIP: Circuit side of an indexed merkle tree implementation
Maddiaa0/keccak256-noir
Maddiaa0/lib-keccak
Keccak-f[1600] permutation in the EVM
Maddiaa0/noir
Noir is a domain specific language for zero knowledge proofs
Maddiaa0/noir-benchmarks
Benchmarking Noir + Barretenberg proving times across different constraint counts (i.e. program sizes).
Maddiaa0/py-huff
Maddiaa0/rapidsnark
Small fixes
Maddiaa0/weiroll
The weiroll virtual machine