RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
-
Updated
Aug 21, 2024 - C++
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.
Building blocks of a Circle STARK verifier in Bitcoin script
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
zero knowledge for those with zero knowledge
A community-developed re-implementation of the Starkware Stone Prover
Audited & minimal JS implementation of Starknet cryptography.
A month-long zkp study group, one topic at a time.
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
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."