stark topic

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

risc0

STARK-based virtual machine

0xPolygonMiden

A library for generating zk-STARKs.

GuildOfWeavers

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...

lambdaclass

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.

TritonVM

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

NationalBankBelgium

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

wkunzhi

Signatures, keys and Pedersen hash on STARK friendly elliptic curve

starkware-libs

Audited & minimal JS implementation of Starknet cryptography.

paulmillr

zero knowledge for those with zero knowledge

cawfree