Verify Cairo contracts on Starkscan in 1 minute.
-
Updated
Jun 2, 2024 - TypeScript
Verify Cairo contracts on Starkscan in 1 minute.
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
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.
Cyclotomic rings over STARK-friendly fields
Cairo lang plugin for Vim
Zero-knowledge proof system over binary tower fields. Streaming architecture. Bounded memory. Edge-native.
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.
From AI to ZK, Starkz is a decentralized public knowledge hub powered on Starknet
❄️ Winterfell-based STARKs for zero-knowledge COLD collateral proofs and XFG burn proofs 🔥
Turing-complete programming language for writing zero-knowledge proofs (ZKPs)
Vectorized, Accelerated Rescue Prime Hash Function Implementation, using OpenCL
Add a description, image, and links to the zk-starks topic page so that developers can more easily learn about it.
To associate your repository with the zk-starks topic, visit your repo's landing page and select "manage topics."