zk-starks
Here are 18 public repositories matching this topic...
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 4, 2024 - Rust
Verify Cairo contracts on Starkscan in 1 minute.
-
Updated
Jun 2, 2024 - TypeScript
Collection of mathematics routines and cryptography for the twenty-first century
-
Updated
May 24, 2024 - Rust
Website for Blogging
-
Updated
May 10, 2024 - HTML
Zero-knowledge template library
-
Updated
Feb 29, 2024 - Cuda
The most battle tested STARK prover in the world ✨ 🐺
-
Updated
Oct 12, 2023 - C++
Prove in quantum-resistant zero-knowledge that you know the square of the nth fibonacci number.
-
Updated
Aug 24, 2023 - Python
Finite Field Operations on GPGPU
-
Updated
Jul 23, 2023 - C++
Vectorized, Accelerated Rescue Prime Hash Function Implementation, using OpenCL
-
Updated
Dec 17, 2022 - C
Testing smart contract on the L2 permissionless decentralized ZK-Rollup StarkNet.
-
Updated
Oct 9, 2022 - Cairo
Cairo lang plugin for Vim
-
Updated
Jan 12, 2021 - Vim Script
Playground for ZoKrates ZK Snark toolbox for Ethereum
-
Updated
May 24, 2019 - Swift
Bitcoin Private is a (Bitcoin+Zclassic) fork which uses zk-SNARK technology for privacy and fungibility.
-
Updated
Mar 1, 2018 - C++
Improve this page
Add a description, image, and links to the zk-starks topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the zk-starks topic, visit your repo's landing page and select "manage topics."