alv-around
Follow
Lists (1)
Stars
A monorepo of reusable Noir circuits.
Solutions to exercises from MoonMath Manual to zkSNARKs.
Tooling for creating collaborative SNARKs for Circom circuits.
An offchain computing layer for DePIN verifiable data computation, supporting a variety of validity proofs including Zero Knowledge (ZK), Trusted Execution Environments (TEE), and Multi-party Compu…
The Nexus zkVM: The zero-knowledge virtual machine
Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
A modular stack for zkVMs, with a focus on productivity, security and performance.
ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
Source code for "Building Cryptographic Proofs from Hash Functions"
Proof-of-Concept implementation of Privacy-Preserving Netting in Local Energy Grids
MoonMath Manual notes, exercise solution and extra comments.
The implementation of Pianist (a distributed variant of Plonk) based on gnark.
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Go implementation of some cryptographic primitives (that fit inside the SNARK field) and compatible with circomlib
Accelerate Early Stage Programmable Cryptography Talents
Testing out different recursive ZK system on BLS aggregate signature verification circuit
In-browser ECDSA aggregation using Nova over secp/secq
a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
A curated list of zero-knowledge folding schemes
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
Reef: A zkSNARK system for proving that a committed document matches a regex