yair-starkware

yair-starkware's Stars

• starkware-libs/cairo

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

  Language:Rust1.6k19605490

• ZeroSync/ZeroSync

  A STARK proof to sync a Bitcoin full node in an instant.

  Language:Cairo415192854

• starkware-libs/papyrus

  Papyrus is a StarkNet full node written in Rust.

  Language:Rust31562585

• starkware-libs/blockifier

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

  Language:Rust1691245107

• starkware-libs/starknet-api

  Language:Rust5972048

• starkware-libs/sequencer

  Language:Rust262121