There are 1 repository under stark topic.
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
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
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 month-long zkp study group, one topic at a time.
A community-developed re-implementation of the Starkware Stone Prover
Audited & minimal JS implementation of Starknet cryptography.
A community-maintained curated list of awesome resources of RISC Zero.
Modern client-side Web application framework based on Angular, Angular Material / Material Design, TypeScript, Redux, RxJS, ...
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
Signatures, keys and Pedersen hash on STARK friendly elliptic curve
Ensure your design is accessible and high contrast for every type of color blindness
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
Bitcoin ZK client written in Cairo.
A Typescript port of Adam Stark's C++ implementation of the chord recognition algorithm described in the paper : Real-Time Chord Recognition For Live Performance, A. M. Stark and M. D. Plumbley.
Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺
Adapt your STARK stone proofs for verifications on Ethereum
❄️🔥Song of Ice and Fire books and audiobooks
Various forms of distribution for the Starkware Stone prover and verifier
crypto research stuffs from numerics to ZK applied protocols all written with dirty hands
Halo2 gadgets for verifying plonky2/starky proofs (WIP)