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 📝 literate and test-driven 🐛 implementation of ZK-STARKs

Playground for ZoKrates ZK Snark toolbox for Ethereum

Finite Field Operations on GPGPU

🐺 Simple STARK verifier on Tezos blockchain

Cairo lang plugin for Vim

A BrainFuck zkVM based on a customised version of PlonkUp

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

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

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

Vectorized, Accelerated Rescue Prime Hash Function Implementation, using OpenCL

The most battle tested STARK prover in the world ✨ 🐺

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

Allows you to create miden programs with rust

Bitcoin Private is a (Bitcoin+Zclassic) fork which uses zk-SNARK technology for privacy and fungibility.

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