Framework to prove inference of ML models blazingly fast

Anonymous. Uncensored. Sovereign.

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

Making client-side proving on mobile simple.

OpenMina is an implementation in Rust of the Mina Protocol

RISC-V prover system for ZKsync OS

A community-developed re-implementation of the Starkware Stone Prover

Benchmarks of popular zkVMs including Jolt

An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol

A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs

The N42 blockchain, built with Rust, aims to become the world's premier blockchain mainnet provider, empowering a decentralized ecosystem. By exploring the limitless potential of intelligent technologies, N42 seeks to advance human civilization toward greater equality, efficiency, and intelligence.

Cairo-VM STONE STARK Verifier Rust implementation

A collection of lints to catch common mistakes and improve your Cairo code.

Polymath: Groth16 Is Not The Limit

Verifiable FHE with GKR

Nacho is a zk rollup where you can bridge and swap tokens.

Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust

Generalized RISC-V based state transition function for the ZKsync protocol

This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Plonky3.