RISC Zero is a zero-knowledge verifiable general computing platform base...
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 ...
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
A library for generating zk-STARKs.
企业数据管理系统 【Django组件开发】【权限、路由组件】可拆卸系统组件，...
zero knowledge for those with zero knowledge
A community-developed re-implementation of the Starkware Stone Prover
Audited & minimal JS implementation of Starknet cryptography.
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync ...
Modern client-side Web application framework based on Angular, Angular M...
Scripting language for defining zk-STARKs
A community-maintained curated list of awesome resources of RISC Zero.