zk-starks topic

JavaScript library for StarkNet

starknet-io

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

Verify Cairo contracts on Starkscan in 1 minute.

starkscan

Zero-knowledge template library

supranational

A :pencil: literate and test-driven :bug: implementation of ZK-STARKs

actuallyachraf

Collection of mathematics routines and cryptography for the twenty-first century

Neptune-Crypto

Playground for ZoKrates ZK Snark toolbox for Ethereum

MoonfishApp