零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

• UpdatedAug 29, 2025
• Jupyter Notebook

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

• UpdatedFeb 20, 2026
• C++

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

• UpdatedJan 9, 2025
• Cairo

STARK-based virtual machine

• UpdatedFeb 20, 2026
• Rust

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

• UpdatedFeb 18, 2026
• Rust

Its a Simple Social engineering Tool

• UpdatedDec 5, 2025
• Python

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

• UpdatedFeb 20, 2026
• Rust

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

• UpdatedFeb 20, 2026
• Rust

A month-long zkp study group, one topic at a time.

• UpdatedJul 28, 2025
• Python

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

• UpdatedJan 11, 2025
• Rust

Building blocks of a Circle STARK verifier in Bitcoin script

• UpdatedDec 3, 2025
• Rust

A library for generating zk-STARKs.

• UpdatedJul 29, 2022
• TypeScript

A Rust zkVM with a Modular Proof System

• UpdatedJul 24, 2025
• Rust

企业数据管理系统 【Django组件开发】【权限、路由组件】可拆卸系统组件，适用性强

• UpdatedAug 31, 2020
• Python

Bitcoin ZK client written in Cairo.

• UpdatedDec 1, 2025
• Cairo

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

• UpdatedFeb 18, 2026
• Rust

zero knowledge for those with zero knowledge

• UpdatedMar 5, 2023
• Solidity

STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language

• UpdatedSep 12, 2023
• Rust

A community-maintained curated list of awesome resources of RISC Zero.

• UpdatedMay 26, 2024

Audited & minimal JS implementation of Starknet cryptography.

• UpdatedNov 23, 2025
• TypeScript