essential-contributions / pint

Related projects ⓘ

Alternatives and complementary repositories for pint

• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆25Updated 2 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆36Updated this week
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 3 weeks ago
• succinctlabs / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆13Updated 2 weeks ago
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 2 weeks ago
• starkware-libs / stwo-cairo
  ☆27Updated this week
• astriaorg / dev-cluster
  Configuration and scripts for running Astria
  ☆20Updated 3 months ago
• megaeth-labs / reth-perf-utils
  ☆15Updated 5 months ago
• kkrt-labs / keth
  Integration of the Kakarot Ethereum execution layer in the Reth client.
  ☆28Updated this week
• alloy-rs / eips
  Rust implementations of Ethereum Improvement Proposals (EIPs)
  ☆23Updated last week
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆15Updated 3 months ago
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• scroll-tech / stateless-block-verifier
  ☆43Updated this week
• flashbots / contender
  run highly configurable benchmarks for eth execution nodes over JSON-RPC
  ☆19Updated this week
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆32Updated 2 years ago
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆53Updated this week
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆26Updated last month
• liamzebedee / tendermint-rs
  A minimal reimplementation of Tendermint in Rust
  ☆25Updated last month
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆22Updated this week
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆17Updated last year
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆30Updated last month
• pseXperiments / cuda-sumcheck
  Experimental implementation of Sumcheck protocol using CUDA
  ☆15Updated last week
• init4tech / trevm
  Typestate interface for revm
  ☆61Updated this week
• rkrasiuk / metrics-derive
  Procedural macro for automatically implementing metrics description and initialization.
  ☆17Updated last month
• MystenLabs / mysten-sim
  Deterministic executor + network sim for tokio-based systems.
  ☆14Updated last month
• argumentcomputer / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated last month
• ethereum-optimism / tests
  Standard Tests for OP Stack Component Implementations.
  ☆16Updated last week
• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆33Updated last year