Maddiaa0

honk-verifier

Honk Verifier in Solidity

weiroll-huff

A port of the weiroll vm in huff

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

huff-puzzles

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

noirplate

A foundry project with support for creating and verifying noir proofs

haworthia

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

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

barretenberg

evm.codes

Source code for evm.codes - help us make it better.

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).

py-huff

rapidsnark

Small fixes

weiroll

The weiroll virtual machine