essential-contributions / pint

Related projects ⓘ

Alternatives and complementary repositories for pint

• starkware-libs / stwo-cairo
  ☆24Updated this week
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated last week
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆25Updated last month
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆21Updated this week
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated last week
• succinctlabs / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆13Updated this week
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆33Updated this week
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• 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
  ☆13Updated this week
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆26Updated 3 weeks ago
• scroll-tech / stateless-block-verifier
  ☆43Updated this week
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆18Updated last month
• kkrt-labs / keth
  Integration of the Kakarot Ethereum execution layer in the Reth client.
  ☆26Updated this week
• MystenLabs / mysten-sim
  Deterministic executor + network sim for tokio-based systems.
  ☆14Updated last month
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆15Updated 2 months ago
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• alloy-rs / eips
  Rust implementations of Ethereum Improvement Proposals (EIPs)
  ☆21Updated last week
• argumentcomputer / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated last month
• xeno097 / yaeth-cli
  CLI wrapper around ethers-rs to query the ethereum blockchain from the terminal
  ☆20Updated last year
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆19Updated last week
• PolyhedraZK / ExpanderCompilerCollection
  Expander Compiler
  ☆23Updated this week
• ICME-Lab / zkEngine_dev
  A world's first zkWASM with a SuperNova backend
  ☆19Updated this week
• vacp2p / zk-explorations
  ☆31Updated 6 months ago
• megaeth-labs / reth-perf-utils
  ☆15Updated 5 months ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆20Updated last week
• alloy-rs / nybbles
  Efficient nibble-sized (4-bit) byte sequence data structure
  ☆25Updated 5 months ago
• soonlabs / igloo
  Demo for op rollup with decoupling SVM execution layer
  ☆25Updated last week