A Starknet full node written in Rust

ZKsync fork of the LLVM framework

Boojum, the scariest SNARK implementation.

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

A STARK-based VM focused on code reuse, performance, and modularity

A performant, 100% open-source, contributor-friendly zkVM.

A toolkit for polynomial IOPs (PIOPs)

A STARK prover and verifier for arbitrary computations

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

A Rust library for polynomial commitments

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

Compiler from MidenIR to Miden Assembly

Core components of the Polygon Miden rollup

A domain-specific language for writing AIR constraints for STARKs

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀

A fully compliant RISC-V computer made inside the game Terraria

Nix, the purely functional package manager

DEPRECATED in favor of https://github.com/madara-alliance/madara

Understanding what your bits do when you're not looking.

StableLM: Stability AI Language Models

A blazing fast OP Stack rollup client written in Rust

Source code for Twitter's Recommendation Algorithm

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

A fast, secure, and portable light client for Ethereum

zkSync: trustless scaling and privacy engine for Ethereum