RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
-
Updated
May 26, 2024 - C++
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
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.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
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.
STARK-based virtual machine
Audited & minimal JS implementation of Starknet cryptography.
A community-maintained curated list of awesome resources of RISC Zero.
Ensure your design is accessible and high contrast for every type of color blindness
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
ML prediction of Stark parameters of atomic emission lines
Adapt your STARK stone proofs for verifications on Ethereum
A community-developed re-implementation of the Starkware Stone Prover
Its a Simple Social engineering Tool
Add a description, image, and links to the stark topic page so that developers can more easily learn about it.
To associate your repository with the stark topic, visit your repo's landing page and select "manage topics."