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
StarkSwirl is a decentralized, non-custodial privacy protocol on Starknet using zk-STARKs to anonymize transactions and enhance confidentiality.
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.
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 XFG collateral burn proofs
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."