MystenLabs / dapol

Related projects: ⓘ

• MystenLabs / mysten-sim
  Deterministic executor + network sim for tokio-based systems.
  ☆14Updated 3 weeks ago
• MystenLabs / truncator
  Compress cryptographic outputs via mining
  ☆22Updated last year
• scroll-tech / revm
  Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
  ☆13Updated 2 weeks ago
• MystenLabs / mysten-infra
  Common infrastructure used by multiple Mysten projects
  ☆36Updated last year
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆28Updated this week
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆21Updated this week
• FhenixProtocol / fhevm
  ☆13Updated this week
• scroll-tech / stateless-block-verifier
  ☆34Updated this week
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆24Updated last month
• Sovereign-Labs / solana-proofs
  ☆16Updated 9 months ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆25Updated 2 months ago
• PufferFinance / rave
  Remote Attestation VErification
  ☆22Updated last month
• matter-labs / era-boojum-cuda
  A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.
  ☆25Updated last month
• Ferret-san / fuelmint
  ☆15Updated last year
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆47Updated 3 months ago
• informalsystems / sovereign-ibc
  Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups
  ☆22Updated 2 months ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated last month
• matter-labs / era-revm
  revm (Rust Ethereum VM) translation for Era / zkEVM
  ☆11Updated 9 months ago
• eqlabs / eclipse
  Bridging ecosystems by storing Zero-knowledge proofs of Solana votes on the Aleo blockchain.
  ☆17Updated 6 months ago
• iosis-tech / swiftness
  Cairo-VM STARK Verifier Rust implementation
  ☆22Updated this week
• MystenLabs / anemo
  ☆41Updated 2 weeks ago
• bnb-chain / gnark
  gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…
  ☆14Updated last week
• pontem-network / u256
  Pure Move implementation of U256 numbers
  ☆27Updated 6 months ago
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆27Updated last week
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆16Updated last week
• starknet-io / starknet-p2p-specs
  Specification of P2P protocol for StarkNet nodes
  ☆42Updated last week
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated last month