zk-starks
There are 20 repositories under zk-starks topic.
starkscan/starkscan-verifier
Verify Cairo contracts on Starkscan in 1 minute.
starknet-io/starknet.js
JavaScript library for StarkNet
TritonVM/triton-vm
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.
supranational/sppark
Zero-knowledge template library
Neptune-Crypto/twenty-first
Collection of mathematics routines and cryptography for the twenty-first century
actuallyachraf/zkstarks
A :pencil: literate and test-driven :bug: implementation of ZK-STARKs
MoonfishApp/ZKPlayground
Playground for ZoKrates ZK Snark toolbox for Ethereum
itzmeanjan/ff-gpu
Finite Field Operations on GPGPU
m-kus/tz-starks
🐺 Simple STARK verifier on Tezos blockchain
0xch4/brainplonk
A BrainFuck zkVM based on a customised version of PlonkUp
miguelmota/cairo.vim
Cairo lang plugin for Vim
Web3Arabs/starknet-course
The Starknet Arabic Course offers a structured curriculum, designed to equip developers with the essential skills to start build on Starknet.
StarkSwirl/StarkSwirl-monorepo
StarkSwirl is a decentralized, non-custodial privacy protocol on Starknet using zk-STARKs to anonymize transactions and enhance confidentiality.
Dustin-Ray/ZK-STARK-Prover
Prove in quantum-resistant zero-knowledge that you know the square of the nth fibonacci number.
itzmeanjan/vectorized-rescue-prime
Vectorized, Accelerated Rescue Prime Hash Function Implementation, using OpenCL
keep-starknet-strange/stone-ishigami-prover
The most battle tested STARK prover in the world ✨ 🐺
KorieDrakeChaney/rust-masm
Allows you to create miden programs with rust
Dustin-Ray/Recursive-Hash-Chain-ZK
Framework for recursively arguing the integrity of an unlimited size computation in a constant-sized proof
MikeSpa/starknet-test
Testing smart contract on the L2 permissionless decentralized ZK-Rollup StarkNet.
nimbosa/BitcoinPrivate
Bitcoin Private is a (Bitcoin+Zclassic) fork which uses zk-SNARK technology for privacy and fungibility.