starkoracles

zkos

Cross-zk-rollup aggregation

Aero

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

risc0

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

air-script

A domain-specific language for writing AIR constraints for STARKs

bytecheck

Memory validation framework for Rust

eth-proof-of-consensus

miden-crypto

Cryptographic primitives used in Polygon Miden rollup

miden-vm

STARK-based virtual machine

rend

Endian-aware primitives for Rust

risc0_profiling_tool

rkyv

Zero-copy deserialization framework for Rust

starkvm-compiler

compiler tooling for Stark-based zkVMs

ts-library-boilerplate-basic

Typescript Minimal Starter Boilerplate - Webpack 5 🚀, Babel 7, UMD, Unit Testing

winterfell

A STARK prover and verifier for arbitrary computations