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.
-
Updated
Jun 5, 2024 - Rust
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.
Collection of mathematics routines and cryptography for the twenty-first century
Verify Cairo contracts on Starkscan in 1 minute.
Website for Blogging
Zero-knowledge template library
The most battle tested STARK prover in the world ✨ 🐺
Prove in quantum-resistant zero-knowledge that you know the square of the nth fibonacci number.
Finite Field Operations on GPGPU
Vectorized, Accelerated Rescue Prime Hash Function Implementation, using OpenCL
Testing smart contract on the L2 permissionless decentralized ZK-Rollup StarkNet.
Cairo lang plugin for Vim
Playground for ZoKrates ZK Snark toolbox for Ethereum
Bitcoin Private is a (Bitcoin+Zclassic) fork which uses zk-SNARK technology for privacy and fungibility.
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."