Verify Cairo contracts on Starkscan in 1 minute.

JavaScript library for StarkNet

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.

Zero-knowledge template library

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

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

Finite Field Operations on GPGPU

Playground for ZoKrates ZK Snark toolbox for Ethereum

The Starknet Arabic Course offers a structured curriculum, designed to equip developers with the essential skills to start build on Starknet.

ZkpSharp is a .NET library for implementing Zero-Knowledge Proofs (ZKP). This library allows you to securely prove certain information (such as age or balance) without revealing the actual data. It uses cryptographic hashes and salts to ensure privacy and security.

A BrainFuck zkVM based on a customised version of PlonkUp

🐺 Simple STARK verifier in cameligo

Cyclotomic rings over STARK-friendly fields

Cairo lang plugin for Vim

StarkSwirl is a decentralized, non-custodial privacy protocol on Starknet using zk-STARKs to anonymize transactions and enhance confidentiality.

From AI to ZK, Starkz is a decentralized public knowledge hub powered on Starknet

Prove in quantum-resistant zero-knowledge that you know the square of the nth fibonacci number.

❄️ Winterfell-based STARKs for zero-knowledge COLD collateral proofs and XFG burn proofs 🔥

STARK proof system developed by Ciphercurve

Decentralized private banking wallet app for XF₲. 🔥 Pay, spend, & receive Fuego, burn to mint Ξmbers (HEAT), QRcodes, Elderfier dashboard, encrypted messaging, high-yield private CD interest banking, built-in miner and more.

Vectorized, Accelerated Rescue Prime Hash Function Implementation, using OpenCL

Allows you to create miden programs with rust

Attest Protocol Silicon-rooted trust and zero-knowledge provenance for AI agents. Features hardware-sealed identity (TPM/CNG), Plonky3 ZK-STARK audit trails, and Quantum Undo (Reversible Execution) in Go & Rust.

A Go-based implementation of zk-STARKs for efficient, scalable, and transparent zero-knowledge proof systems.

Libraries for formally-verifiable distributed contracts

Testing smart contract on the L2 permissionless decentralized ZK-Rollup StarkNet.

Core Solana programs powering zkShine - Zero-Knowledge Privacy Infrastructure for Solana.

Framework for recursively arguing the integrity of an unlimited size computation in a constant-sized proof

Signal groups where trust is verified by many, exposed to none.