lambdaclass / concrete

Related projects ⓘ

Alternatives and complementary repositories for concrete

• lambdaclass / ethrex
  ethrex: Ethereum Execution and L2 client in Rust
  ☆214Updated this week
• keep-starknet-strange / ziggy-starkdust
  ⚡ Cairo VM in Zig ⚡
  ☆83Updated 3 months ago
• lambdaclass / cairo-vm_in_go
  cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…
  ☆56Updated 6 months ago
• lambdaclass / starknet_in_rust
  A Rust implementation of Starknet execution logic
  ☆171Updated 3 months ago
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆121Updated this week
• lambdaclass / lambda_ethereum_consensus
  Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
  ☆101Updated this week
• lambdaclass / STARK101-rs
  STARK 101 Workshop in Rust 🐺🦀
  ☆133Updated last year
• argumentcomputer / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆80Updated last week
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆194Updated last week
• privacy-scaling-explorations / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆210Updated last week
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆156Updated 2 years ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom circuits.
  ☆100Updated this week
• keep-starknet-strange / shenlong
  Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
  ☆66Updated last year
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆121Updated last year
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆291Updated 4 months ago
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆86Updated last month
• pluto / ronkathon
  Cryptography Educational Foundations
  ☆190Updated 3 weeks ago
• lambdaclass / lambdaworks_stark_platinum
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆77Updated last year
• EspressoSystems / HotShot
  ☆124Updated this week
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆158Updated 8 months ago
• dojoengine / book
  The Dojo Book
  ☆45Updated this week
• recmo / uint
  Rust Uint crate using const-generics
  ☆171Updated last week
• starkware-libs / blockifier
  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …
  ☆169Updated 3 months ago
• lambdaclass / cairo-by-example
  cairo-by-example.com
  ☆40Updated 8 months ago
• starkware-libs / stwo
  ☆249Updated this week
• crate-crypto / rust-verkle
  ☆118Updated 3 weeks ago
• lambdaclass / stark_compass_explorer
  Stark Compass: the only open source explorer
  ☆68Updated last month
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆49Updated this week