#区块链#零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
#区块链#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 ...
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.
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Building blocks of a Circle STARK verifier in Bitcoin script
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.
A community-developed re-implementation of the Starkware Stone Prover