Alternatives and similar repositories for lambdaworks_stark_platinum

Users that are interested in lambdaworks_stark_platinum are comparing it to the libraries listed below

• lambdaclass / cairo-by-example

  View on GitHub
  cairo-by-example.com
  ☆39May 6, 2025Updated 9 months ago
• lambdaclass / starknet_stack

  View on GitHub
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆43Sep 12, 2023Updated 2 years ago
• andrewmilson / sandstorm

  View on GitHub
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆161Jan 11, 2025Updated last year
• lambdaclass / cairo-vm_in_go

  View on GitHub
  cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…
  ☆57Apr 30, 2024Updated last year
• lambdaclass / starknet_tendermint_sequencer

  View on GitHub
  Starknet sequencer built with Tendermint Core
  ☆52Apr 3, 2023Updated 2 years ago
• lambdaclass / cairo_native

  View on GitHub
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆137Updated this week
• thor314 / pebble-stark

  View on GitHub
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Oct 29, 2024Updated last year
• lambdaclass / lambdaworks_kzg

  View on GitHub
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Jun 2, 2023Updated 2 years ago
• keep-starknet-strange / garaga

  View on GitHub
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆251Jan 24, 2026Updated 3 weeks ago
• privacy-ethereum / Nova

  View on GitHub
  Nova: Recursive SNARKs without trusted setup
  ☆44Aug 21, 2023Updated 2 years ago
• lambdaclass / lambdaworks

  View on GitHub
  lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…
  ☆721Updated this week
• starkware-libs / stone-prover

  View on GitHub
  ☆267Sep 16, 2024Updated last year
• lambdaclass / starknet_in_rust

  View on GitHub
  A Rust implementation of Starknet execution logic
  ☆170Jul 22, 2024Updated last year
• avras / nova-sha256

  View on GitHub
  Nova-based SHA256 benchmarks
  ☆31Jun 7, 2025Updated 8 months ago
• lambdaclass / cairo-vm

  View on GitHub
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…
  ☆573Updated this week
• keep-starknet-strange / alexandria

  View on GitHub
  Community maintained Cairo libraries and set of well maintained, optimised and secure components.
  ☆264Jan 19, 2026Updated 3 weeks ago
• lambdaclass / stark_compass_explorer

  View on GitHub
  Stark Compass: the only open source explorer
  ☆67Oct 4, 2024Updated last year
• andrewmilson / ministark

  View on GitHub
  🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs
  ☆375Nov 19, 2024Updated last year
• lambdaclass / STARK101-rs

  View on GitHub
  STARK 101 Workshop in Rust 🐺🦀
  ☆140Apr 28, 2023Updated 2 years ago
• jules / supernova

  View on GitHub
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆122Feb 25, 2023Updated 2 years ago
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago
• 0xAsten / Starknet-Tech-Stacks-Mindmap

  View on GitHub
  This open collaboration project aims to explore and document the various technology stacks associated with Starknet.
  ☆10Feb 21, 2024Updated last year
• valida-xyz / valida-compiler

  View on GitHub
  Old, obsolete version of the Valida compiler; its replacement will become public later
  ☆51Aug 31, 2023Updated 2 years ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• lambdaclass / yet-another-swap

  View on GitHub
  YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.
  ☆53Jan 5, 2024Updated 2 years ago
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• software-mansion / scarb

  View on GitHub
  The Cairo package manager
  ☆215Updated this week
• starkware-libs / stwo

  View on GitHub
  ☆476Updated this week
• keep-starknet-strange / poseidon-rs

  View on GitHub
  Poseidon Rust library
  ☆38Mar 13, 2023Updated 2 years ago
• JumpCrypto / plonky2-crypto

  View on GitHub
  Crypto Gadgets for Plonky2
  ☆77May 16, 2024Updated last year
• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated last year
• keep-starknet-strange / shenlong

  View on GitHub
  Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
  ☆67Mar 24, 2023Updated 2 years ago
• starkware-libs / blockifier

  View on GitHub
  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …
  ☆168May 15, 2025Updated 9 months ago
• Lev-Stambler / bulletproof-cairo

  View on GitHub
  ☆40Sep 23, 2022Updated 3 years ago
• auditless / cairo-template

  View on GitHub
  A minimal template for building smart contracts with Cairo 1.0
  ☆87Jun 1, 2023Updated 2 years ago
• Modulus-Labs / halo2_ml

  View on GitHub
  Foundation for speedy Machine Learning operations in Halo2 Prover
  ☆20Oct 3, 2024Updated last year
• summa-dev / summa-solvency

  View on GitHub
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Aug 26, 2024Updated last year