Repository navigation
stark
- Website
- Wikipedia
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
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.
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
A month-long zkp study group, one topic at a time.
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
A library for generating zk-STARKs.
zero knowledge for those with zero knowledge
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
A community-maintained curated list of awesome resources of RISC Zero.
Audited & minimal JS implementation of Starknet cryptography.