StarkWare Libs

StarkWare Libs's repositories

cairo

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

Language:RustApache-2.01487 17 478

cairo-lang

Language:PythonApache-2.01331 39 128

papyrus

Papyrus is a StarkNet full node written in Rust.

Language:RustApache-2.0305 7 25

starkex-contracts

Language:SolidityNOASSERTION276 21 5

stone-prover

Language:C++Apache-2.0238 10 17

ethSTARK

Language:C++Apache-2.0219 14 4

stwo

Language:RustApache-2.0174 10 4

blockifier

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

Language:RustApache-2.0169 11 44

starknet-specs

Language:JavaScript86 6 22

starkex-resources

Language:PythonApache-2.082 5 6

starknet-api

Language:RustApache-2.057 7 6

starkware-crypto-utils

Signatures, keys and Pedersen hash on STARK friendly elliptic curve

Language:TypeScriptApache-2.054 3 7

formal-proofs

Language:LeanApache-2.046 6 1

stark-perpetual

Language:CairoApache-2.046 3 1

crypto-cpp

Language:C++Apache-2.031 6 10

starkex-js

JavaScript SDK for StarkEx

Language:TypeScript27 13 7

mempool

Language:RustApache-2.012 30

starkex-data-availability-committee

Language:PythonApache-2.08 4 3

starknet-snap

Language:HTML6 20

okx-config

5 20

starkex-apps-api

5 20

starkex-playground

Language:Python5 20

tree-sitter-cairo

Language:JavaScriptApache-2.0500

davion-config

DavionLabs Perpetual StarkEx Configuration

4 20

stwo-cairo

Language:Cairo300

committer

Language:Rust2 30

dydx-config

1 50

stwo-air-schema

Language:Shell100

spherex-config

000

x10-config

000