stark

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

STARK-based virtual machine

ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.

cairo-rs 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. Cairo and similar proof systems can be used to provide scalability to blockchains.

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.

A library for generating zk-STARKs.

企业数据管理系统 【Django组件开发】【权限、路由组件】可拆卸系统组件，适用性强

zero knowledge for those with zero knowledge

STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language

Cairo prover powered by miniSTARK (SHARP compatibility coming soon)

A zkVM basing on layered proof system

STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.

Modern client-side Web application framework based on Angular, Angular Material / Material Design, TypeScript, Redux, RxJS, ...

Ensure your design is accessible and high contrast for every type of color blindness

Signatures, keys and Pedersen hash on STARK friendly elliptic curve

A blazingly fast sdk for running proofs on the browser... and verifying them on-chain

Minimal implementation of Starknet cryptography including Pedersen, Poseidon and Stark Curve.

❄️🔥Song of Ice and Fire books and audiobooks

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.

"Anatomy of a STARK" in Rust