Alternatives and similar repositories for quiero_mate

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

• keep-starknet-strange / awesome-stwo
  A curated list of awesome projects using STWO.
  ☆36Updated 5 months ago
• yetanotherco / yet-another-bridge
  Yet Another Bridge is the most affordable, fastest and secure solution to bridge from Starknet to Ethereum
  ☆12Updated last year
• lambdaclass / lambdaworks_stark_platinum
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆75Updated 2 years ago
• erhant / moonmath
  Solutions to exercises from MoonMath Manual to zkSNARKs.
  ☆87Updated 11 months ago
• lambdaclass / STARK101-rs
  STARK 101 Workshop in Rust 🐺🦀
  ☆140Updated 2 years 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…
  ☆57Updated last year
• weiihann / awesome-verkle
  ☆12Updated 7 months ago
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆133Updated this week
• WiseMrMusa / kakashi
  ☆16Updated last year
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆200Updated last week
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆55Updated 8 months ago
• ReamLabs / ream
  ream: an Ethereum Lean client written in Rust
  ☆120Updated last week
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆146Updated last week
• lambdaclass / ethlambda
  Minimalist, fast and modular implementation of the Lean Ethereum client written in Rust
  ☆35Updated 3 weeks ago
• lambdaclass / sparkling_water_bootcamp
  Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
  ☆147Updated last year
• NethermindEth / cairo-vm-go
  A virtual machine for Cairo written in Go
  ☆88Updated 6 months ago
• 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
• Darlington02 / CairoLearnXinYminutes
  Take a whirlwind tour of Cairo
  ☆13Updated 2 years ago
• privacy-ethereum / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆113Updated last year
• ZKCamp / aztec-noir-course
  Resources for learning Noir from ZKCamp's Aztec Course
  ☆59Updated 2 years ago
• HerodotusDev / integrity
  Cairo STARK proof verifier for Starknet
  ☆74Updated 3 weeks ago
• keep-starknet-strange / blobstream-starknet
  Celestia -> Starknet bridge
  ☆47Updated last year
• succinctlabs / riscv-emulator-challenge
  ☆31Updated 6 months ago
• KasarLabs / deoxys-fork
  Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀
  ☆29Updated last year
• software-mansion-labs / cairo-compiler-workshop
  A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.
  ☆21Updated last year
• eryxcoop / zk-adventures
  ☆35Updated 11 months ago
• glihm / starknet-messaging-dev
  A detailed tutorial to test Starknet messaging with Anvil and Katana
  ☆30Updated 3 weeks ago
• starkware-libs / stwo-cairo
  Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
  ☆258Updated this week
• starknet-io / starknet-stack-resources
  A collection of works discussing the security aspects of StarkNet
  ☆40Updated 11 months ago