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

Playground for ZoKrates ZK Snark toolbox for Ethereum

A 📝 literate and test-driven 🐛 implementation of ZK-STARKs

Cairo lang plugin for Vim

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

Vectorized, Accelerated Rescue Prime Hash Function Implementation, using OpenCL

A BrainFuck zkVM based on a customised version of PlonkUp

🐺 Simple STARK verifier in cameligo

Finite Field Operations on GPGPU

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

The most battle tested STARK prover in the world ✨ 🐺

Allows you to create miden programs with rust

Verify Cairo contracts on Starkscan in 1 minute.

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

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

Libraries for formally-verifiable distributed contracts

A fork of RISC Zero, integrated with XMRT ecosystem to provide a zero-knowledge verifiable general computing platform based on zk-STARKs and RISC-V microarchitecture.

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

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