zk-starks

There are 4 repositories under zk-starks topic.

starkscan / starkscan-verifier
Verify Cairo contracts on Starkscan in 1 minute.
block-explorer blockchain ethereum starknet starkware zk-rollup zk-stark zk-starks zk-technology
Language:TypeScript 1259
starknet-io / starknet.js
JavaScript library for StarkNet
ethereum l2 starknet starkware zk zk-rollup zk-starks
Language:TypeScript 1163
triton-vm
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.
rust cryptography stark zero-knowledge zk-starks
Language:Rust 220
supranational / sppark
Zero-knowledge template library
cuda bls12-377 bls12-381 pasta-curves zero-knowledge zero-knowledge-proofs zk-snarks zk-starks ntt
Language:Cuda 162
Neptune-Crypto / twenty-first
Collection of mathematics routines and cryptography for the twenty-first century
algebra cryptography merkle-tree post-quantum-cryptography rust zero-knowledge zk-starks
Language:Rust 70
actuallyachraf / zkstarks
A :pencil: literate and test-driven :bug: implementation of ZK-STARKs
zkstarks starks zkp zk-starks
Language:Go 33
MoonfishApp / ZKPlayground
Playground for ZoKrates ZK Snark toolbox for Ethereum
zokrates ethereum smart-contracts zero-knowledge zk-snarks zk zk-starks swift macos solidity
Language:Swift 16
itzmeanjan / ff-gpu
Finite Field Operations on GPGPU
gpu finite-field-arithmetic finite-field sycl dpcpp opencl accelerated-computing rescue-prime zk-starks ntt number-theoretic-transform parallel-computing oneapi cuda vectorization
Language:C++ 13
m-kus / tz-starks
🐺 Simple STARK verifier on Tezos blockchain
starks tezos ligo starknet zk-starks cairo-lang
Language:Jupyter Notebook 12
miguelmota / cairo.vim
Cairo lang plugin for Vim
cairo cairo-lang starkware zk-rollup blockchain ethereum zero-knowledge zk-snarks zk-starks
Language:Vim Script 10
0xch4 / brainplonk
A BrainFuck zkVM based on a customised version of PlonkUp
arkworks crypto plonk zero-knowledge zk zk-snarks zk-starks zkp zkvm
Language:Rust 6
drcapybara / ZK-STARK-Prover
Prove in quantum-resistant zero-knowledge that you know the square of the nth fibonacci number.
zero-knowledge zk-snarks zk-starks
Language:Python 3
itzmeanjan / vectorized-rescue-prime
Vectorized, Accelerated Rescue Prime Hash Function Implementation, using OpenCL
opencl zk-starks vectorization rescue-prime cryptographic-hash-functions
Language:C 2
keep-starknet-strange / stone-ishigami-prover
The most battle tested STARK prover in the world ✨ 🐺
cairo starknet zero-knowledge-proof zk-starks client-side-proving
Language:C++ 1
KorieDrakeChaney / rust-masm
Allows you to create miden programs with rust
miden zk-rollup zk-starks polygon
Language:Rust 1
SeiyaKobayashi / SeiyaKobayashi.github.io
Website for Blogging
blockchain cryptography ethereum web3 zkp artificial-intelligence bulletproofs zk-snarks zk-starks
Language:HTML 0
MikeSpa / starknet-test
Testing smart contract on the L2 permissionless decentralized ZK-Rollup StarkNet.
cairo cairo-lang l2-scaling starknet starkware blockchain ethereum zk-starks
Language:Cairo
nimbosa / BitcoinPrivate
Bitcoin Private is a (Bitcoin+Zclassic) fork which uses zk-SNARK technology for privacy and fungibility.
zk-snarks zk-starks zcash zclassic bitcoin-wallet
Language:C++