Alternatives and similar repositories for pint

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

• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆53Updated 7 months ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆27Updated last month
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 8 months ago
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Updated 7 months ago
• zkmopro / gpu-acceleration
  Explorations on mobile-first GPU acceleration, currently support MSM.
  ☆20Updated this week
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆35Updated 2 months ago
• availproject / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆16Updated this week
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆14Updated 2 weeks ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆32Updated 2 months ago
• DaniPopes / zevm
  Zig EVM
  ☆32Updated 6 months ago
• succinctlabs / sp1-contract-call
  Generates zero-knowledge proofs of Ethereum smart contract execution.
  ☆35Updated this week
• astriaorg / dev-cluster
  Configuration and scripts for running Astria
  ☆21Updated 11 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆24Updated 2 months ago
• malik672 / open-stylus
  openzepplin smart contracts written in rust for arbritum stylus
  ☆13Updated last year
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆27Updated 7 months ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year
• noir-lang / acvm
  ☆47Updated last year
• NethermindEth / Taiko-Preconf-AVS
  The preconfer sidecar for Taiko Alethia preconfirmations 🥁
  ☆32Updated this week
• succinctlabs / zkvm-perf
  ☆26Updated 5 months ago
• liamzebedee / tendermint-rs
  A minimal reimplementation of Tendermint in Rust
  ☆25Updated last month
• Galxe / grevm
  Parallel EVM inspired by BlockSTM
  ☆23Updated 2 weeks ago
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated 2 years ago
• ithacaxyz / metrics-derive
  Procedural macro for automatically implementing metrics description and initialization.
  ☆23Updated 3 months ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• succinctlabs / plonky3
  ☆23Updated 6 months ago
• succinctlabs / sp1-tee
  ☆24Updated last week
• scroll-tech / stateless-block-verifier
  ☆51Updated this week
• NilFoundation / zkEVM1
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Updated last year
• sigp / milhouse
  Persistent binary merkle tree
  ☆24Updated this week