Stars
A testing & development environment for Circom.
Solutions to exercises from MoonMath Manual to zkSNARKs.
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
TypeScript framework for zk-SNARKs and zkApps
Contracts for verifiable randomness on StarkNet
🦀 Small exercises to get you used to reading and writing Rust code!
The unnecessary python implementation of the Huff EVM macro language
A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM
A curated list of privacy on blockchains resources
Protostar is a toolchain for developing and testing Starknet contracts
Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty
Matchbox-DAO / fountain
Forked from dhruvkelawala/fountain2-dimensional physics engine written in Cairo
Export Circom verifier to Cairo
This repository contains a tutorial on how to build roll_up with Circom
A Cairo implementation of finite field operations.
Learn how to build StarkNet <-> Ethereum cross layer applications
1-click deployment of a Starknet node to a Raspberry Pi, powered by balena.
A curated list of awesome StarkNet resources, libraries, tools and more