Alternatives and similar repositories for spawned

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

• lambdaclass / concrete
  Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and eas…
  ☆314Updated 6 months ago
• BrianSeong99 / Plonky3_RangeCheck
  This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…
  ☆27Updated 10 months ago
• WizardOfMenlo / whir
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆188Updated this week
• pluto / ronkathon
  Cryptography Educational Foundations
  ☆338Updated 2 months ago
• privacy-ethereum / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆284Updated 2 weeks ago
• fborello-lambda / quiero_mate
  🧉 Mate Queue Organizer GUI
  ☆11Updated 10 months ago
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆137Updated this week
• openvm-org / openvm
  A performant and modular zkVM framework built for customization and extensibility.
  ☆306Updated last week
• lambdaclass / cairo-vm
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…
  ☆572Updated this week
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆157Updated 10 months ago
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆338Updated 6 months ago
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆230Updated last week
• starkware-libs / stwo-cairo
  Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
  ☆267Updated this week
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆132Updated this week
• TritonVM / triton-vm
  Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…
  ☆271Updated last week
• lambdaclass / ethrex
  Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
  ☆840Updated this week
• lambdaclass / starknet_in_rust
  A Rust implementation of Starknet execution logic
  ☆171Updated last year
• commonwarexyz / monorepo
  Commonware Library Primitives and Examples
  ☆505Updated this week
• PolyhedraZK / Expander
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆141Updated this week
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆151Updated this week
• stackrlabs / succinct-residency-exps
  A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)
  ☆17Updated last year
• keep-starknet-strange / ziggy-starkdust
  ⚡ Cairo VM in Zig ⚡
  ☆85Updated last year
• lambdaclass / ethlambda
  Minimalist, fast and modular implementation of the Lean Ethereum client written in Rust
  ☆68Updated last week
• NethermindEth / stwo-gpu
  ☆20Updated 7 months ago
• madara-alliance / madara
  Madara is a powerful hybrid Starknet client written in Rust.
  ☆121Updated this week
• pornin / rust-fn-dsa
  FN-DSA (Falcon) signature scheme
  ☆49Updated 10 months ago
• Autoparallel / learner
  Making learning sh*t less annoying
  ☆42Updated last year
• EspressoSystems / hyperplonk
  ☆331Updated this week
• recmo / uint
  Rust Uint crate using const-generics
  ☆201Updated last week
• binius-zk / binius64
  Binary Proofs, Blazing Fast
  ☆111Updated this week