stark

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.

Its a Simple Social engineering Tool

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

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.

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

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

Building blocks of a Circle STARK verifier in Bitcoin script

A library for generating zk-STARKs.

A Rust zkVM with a Modular Proof System

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

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

Bitcoin ZK client written in Cairo.

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

zero knowledge for those with zero knowledge

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

Audited & minimal JS implementation of Starknet cryptography.