5 results found Sort:

starkscan
starkscan-verifier starkscan
257
1.3k
agpl-3.0
68
Verify Cairo contracts on Starkscan in 1 minute.
ethereum starknet zk-stark starkware zk-rollup zk-starks blockchain zk-technology block-explorer
Created 2022-09-12
29 commits to main branch, last one about a year ago
starknet-io
starknet.js starknet-io
760
1.2k
mit
29
JavaScript library for StarkNet
l2 zk ethereum starknet starkware zk-rollup zk-starks
Created 2021-10-18
2,346 commits to develop branch, last one 3 days ago
TritonVM
triton-vm TritonVM
40
249
apache-2.0
11
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 stark zk-starks cryptography zero-knowledge
Created 2021-11-28
2,315 commits to master branch, last one a day ago
supranational
sppark supranational
65
188
apache-2.0
14
Zero-knowledge template library
ntt cuda rocm bls12-377 bls12-381 zk-snarks zk-starks pasta-curves zero-knowledge zero-knowledge-proofs
Created 2022-06-14
362 commits to main branch, last one 3 days ago
Neptune-Crypto
twenty-first Neptune-Crypto
23
75
gpl-2.0
7
Collection of mathematics routines and cryptography for the twenty-first century
rust algebra zk-starks merkle-tree cryptography zero-knowledge post-quantum-cryptography
Created 2021-04-28
2,772 commits to master branch, last one a day ago