The best smart contracts resources in one place.

A zkVM for Decentralized Private Computations (DPC)

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Extension to add Move-lang support for Zed.

💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline

Zirgen compiler and RISC Zero circuits

Rust SDK for the Solana blockchain, used by on-chain program developers and the Agave validator

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

Firedancer is Jump Crypto's Solana validator software.

🔥🔥🔥 Open-source Jira, Linear, Monday, and ClickUp alternative. Plane is a modern project management platform to manage tasks, sprints, docs, and triage.

A fast and secure RISC-V based virtual machine

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

A STARK prover and verifier for arbitrary computations

Performance and security acceleration for zkVMs.

The Halo2 zero-knowledge proving system

A curated list of awesome things related to learning and programming in Noir.

High performance server-side application framework

Set of core processors that index data on the Aptos blockchain

Cosmos Testnets

Repository of docker images for the node software of Cosmos chains

A library for creating generic graph data structures and modifying, analyzing, and visualizing them.

Find ways to contribute to the Optimism Collective

Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.

Super secret 100% practical EVM course. Please do not share

Voxel game made with Bevy Engine

The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.