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…
  ☆312Updated 6 months ago
• pluto / ronkathon
  Cryptography Educational Foundations
  ☆336Updated last month
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆137Updated this week
• privacy-ethereum / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆284Updated last week
• fborello-lambda / quiero_mate
  🧉 Mate Queue Organizer GUI
  ☆11Updated 9 months ago
• lambdaclass / cairo-vm
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…
  ☆569Updated this week
• WizardOfMenlo / whir
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆184Updated this week
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆338Updated 5 months ago
• commonwarexyz / monorepo
  Commonware Library Primitives and Examples
  ☆481Updated this week
• lambdaclass / lambdaworks
  lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…
  ☆718Updated last week
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆228Updated 2 weeks ago
• openvm-org / openvm
  A performant and modular zkVM framework built for customization and extensibility.
  ☆301Updated this week
• lambdaclass / ethrex
  Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
  ☆820Updated this week
• starkware-libs / stwo-cairo
  Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
  ☆263Updated this week
• keep-starknet-strange / ziggy-starkdust
  ⚡ Cairo VM in Zig ⚡
  ☆85Updated last year
• lambdaclass / starknet_in_rust
  A Rust implementation of Starknet execution logic
  ☆171Updated last year
• BrianSeong99 / Plonky3_RangeCheck
  This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…
  ☆24Updated 9 months ago
• thrumdev / nomt
  Super-fast Merklized Embedded Key-Value Store for blockchain nodes
  ☆316Updated last month
• ingonyama-zk / icicle
  A hardware acceleration library for compute intensive cryptography
  ☆475Updated 2 months ago
• madara-alliance / madara
  Madara is a powerful hybrid Starknet client written in Rust.
  ☆120Updated this week
• starkware-libs / stwo
  ☆472Updated last week
• TritonVM / triton-vm
  Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…
  ☆272Updated this week
• Sunscreen-tech / Sunscreen
  A compiler for fully homomorphic encryption and zero knowledge proofs
  ☆299Updated 4 months ago
• 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 …
  ☆155Updated 9 months ago
• eigerco / lumina
  Wasm friendly Celestia light node implementation in Rust
  ☆173Updated last week
• EspressoSystems / hyperplonk
  ☆330Updated last month
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆132Updated this week
• recmo / uint
  Rust Uint crate using const-generics
  ☆201Updated 3 weeks ago
• LayerZero-Labs / qmdb
  Quick Merkle Database
  ☆296Updated 9 months ago
• zksecurity / zkBank
  zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
  ☆207Updated last year