Alternatives and similar repositories for starkmint:

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

• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• privacy-scaling-explorations / rln
  ☆18Updated 2 years ago
• privacy-scaling-explorations / researches
  ☆10Updated 2 years ago
• Lev-Stambler / bulletproof-cairo
  ☆39Updated 2 years ago
• Maddiaa0 / solidity-circuits
  Write Zero Knowledge Circuits in Solidity
  ☆13Updated last year
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Updated 3 months ago
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated 2 years ago
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• Modulus-Labs / leela_vs_world
  A repository for the Leela VS the World project for On-Chain machine learning
  ☆18Updated 6 months ago
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• mattsse / cairo-lang-rs
  ☆40Updated 3 years ago
• danilowhk / swiftness-sp1
  Verifying Cairo Programs in SP1
  ☆13Updated 5 months ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated 9 months ago
• NethermindEth / optimized_ecc_cairo
  Cairo implementation of operations over the elliptic curve BLS12-381
  ☆14Updated 2 years ago
• rkrasiuk / op-reth
  ☆23Updated 2 years ago
• Sovereign-Labs / Jupiter
  A research-only integration of Sovereign with Celestia
  ☆20Updated last year
• fluidex / solidity_recursive_plonk_verifier
  Solidity verifier for Recursive Proof Composition using Plonk
  ☆12Updated 3 years ago
• Th0rgal / sphinx
  A collection of fun things you can do in Cairo. Pass storage variable as parameters, do functional programming with fold_left or manipula…
  ☆27Updated 2 years ago
• transmissions11 / muldiv-battle
  Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.
  ☆18Updated 3 years ago
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• crate-crypto / proto-danksharding-crypto
  ☆12Updated 2 years ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆35Updated last year
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated 6 months ago
• boli-bohan / cairo-jsonwebtoken
  JsonWebToken implementation for cairo-lang http://self-issued.info/docs/draft-ietf-oauth-json-web-token.html
  ☆13Updated 2 years ago
• horsefacts / huff-test
  Better assertion macros for pure Huff tests.
  ☆19Updated last year
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆20Updated last year
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• gakonst / noir-hello-world
  ☆30Updated 2 years ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆30Updated 2 years ago