Implementation of the Google Zero-Knowledge library for Identity Protocols.

🌴 Empowering everyone to build reliable and efficient smart contracts.

Decentralize perpetual futures exchange

A collection of awesome Miden links, resources and shiny things.

A performant and modular zkVM framework built for customization and extensibility.

A curated list of zkVM, zero-knowledge virtual machine

Rust implementation of the Agglayer.

Go implementation of the Ethereum protocol

Learn Sway by diving head first into working code and seeing many different contracts.

WASM implementation of Forc (Fuel Orchestrator) for creating, building, testing, and deploying Sway projects directly in the browser.

Big integer arithmetic and secp256k1 ECC operations in circom

StarkWare's next gen prover

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

The ZK Compression Protocol For Solana

EraVM implementation

Building blocks of a Circle STARK verifier in Bitcoin script

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

Tools for STARK proving using cupy

Optimized Solidity snippets.

Challenges for zkThon

Common tests for all Ethereum implementations

Run your own GPTChat Telegram bot, with a single command!

Reproduce DeFi hacked incidents using Foundry.

Collection of AMMs, Orderbooks, and everything in between

STARK-based virtual machine

Code and slides for OpenZeppelin Workshops