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

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

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

STARK-based virtual machine

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.

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.

Its a Simple Social engineering Tool

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

A library for generating zk-STARKs.

A Rust zkVM with a Modular Proof System

Building blocks of a Circle STARK verifier in Bitcoin script

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

zero knowledge for those with zero knowledge

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

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

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

Audited & minimal JS implementation of Starknet cryptography.

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

STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.