#Stark

risc0

risc0

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

WTFAcademy

WTF-zk

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

kkrt-labs

kakarot

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

0xMiden

miden-vm

STARK-based virtual machine

starkware-libs

cairo-vm

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.

ProjectZKM

Ziren

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