Tag
#stark
49 repositories
Repos
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.
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.
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
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.
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Building blocks of a Circle STARK verifier in Bitcoin script
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
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 zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs
Signatures, keys and Pedersen hash on STARK friendly elliptic curve
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺
World's first L1 blockchain with deterministic on-chain AI inference verified through multi-node consensus. Bitwise identical outputs across every chip, every architecture.
Various forms of distribution for the Starkware Stone prover and verifier
FRI Extended for Data Availability: a FRI-based Data Availability Sampling library, written in Rust.
Research PoC for full on-chain ZK-STARK + PQC (SLH-DSA, Kyber) verification on Solana, serving as the basis for a future CPI-ready shared verifier.
Halo2 gadgets for verifying plonky2/starky proofs (WIP)
From AI to ZK, Starkz is a decentralized public knowledge hub powered on Starknet
Rust library for verifying STARK proofs from `swiftness` on `integrity`
A comprehensive documentation designed to support developers working with Bitcoin and Starknet integrations.
Private anonymous credential issuer and verifier, built on Starknet, and with cryptographic primitives, including the STARK curve