Maddiaa0

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

chuff

An error resistant Huff parser for lsps

foundry-noir

Test noir inside solidity

lwe-noir

proving learning with errors in noir

based-cometbft

Comet bft that gets the next proposer from an l1 vrf

haworthia

An Aztec bridge implementation to privately use gitcoin's allo protocol

huff-puzzles

These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.

avm-asm

An simple assembler for aztec's public virtual machine

bb-pilcom

A minimal pil compiler for barretenberg based on powdr

cometbft

CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine

indexed-tree

Indexed Merkle Tree Impl

morpheus-landing

noir-trie-proofs

aztec-fhe-auction

2023-10-zksync

acir-to-bberg-circuit

Convert an ACIR circuit to the constraint system that barretenberg uses

fhe-auction

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

halo2_backend

indexed-tree-nr

WIP: Circuit side of an indexed merkle tree implementation

keccak256-noir

lib-keccak

Keccak-f[1600] permutation in the EVM

noir

Noir is a domain specific language for zero knowledge proofs

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.

py-huff

rapidsnark

Small fixes