5 results found Sort:

starkscan
starkscan-verifier starkscan
256
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
706
1.2k
mit
32
JavaScript library for StarkNet
l2 zk ethereum starknet starkware zk-rollup zk-starks
Created 2021-10-18
2,235 commits to develop branch, last one 2 days ago
TritonVM
triton-vm TritonVM
35
223
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,142 commits to master branch, last one 2 days ago
supranational
sppark supranational
55
163
apache-2.0
13
Zero-knowledge template library
ntt cuda bls12-377 bls12-381 zk-snarks zk-starks pasta-curves zero-knowledge zero-knowledge-proofs
Created 2022-06-14
290 commits to main branch, last one 23 hours ago
Neptune-Crypto
twenty-first Neptune-Crypto
19
70
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,671 commits to master branch, last one 5 days ago