StarkWare Libs

Results 15 repositories owned by StarkWare Libs

starknet-specs

25
Stars
25
Forks
Watchers

starkware-crypto-utils

53
Stars
37
Forks
Watchers

Signatures, keys and Pedersen hash on STARK friendly elliptic curve

veedo

67
Stars
15
Forks
Watchers

cairo

1.6k
Stars
475
Forks
Watchers

Cairo is the first Turing-complete language for creating provable programs for general computation.

stwo-cairo

261
Stars
56
Forks
261
Watchers

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.