A testing & development environment for Circom.

Solutions to exercises from MoonMath Manual to zkSNARKs.

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

Write Huff without ever leaving TypeScript.

Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption

Cryptography implemented in Fe.

barretenburg in rust (here we go)

BigInt library for Aztec's noir language

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

TypeScript framework for zk-SNARKs and zkApps

Stark Friendly Privacy Primitives in Cairo

Contracts for verifiable randomness on StarkNet

Complete Starknet library in Rust™

🦀 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

2-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

The proof systems used by Mina