danielxiangzl / Block-STM

Related projects ⓘ

Alternatives and complementary repositories for Block-STM

• PopcornPaws / fde
  ☆29Updated 7 months ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated 3 months ago
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• Layr-Labs / eigenpod-proofs-generation
  ☆21Updated last month
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆32Updated 2 years ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆39Updated last week
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆21Updated 4 months ago
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆45Updated last year
• reddio-com / reddio
  Parallel EVM layer2
  ☆18Updated this week
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆55Updated last year
• ChorusOne / substrate-light-client
  Implementation of substrate light client in rust, compilable to wasm.
  ☆18Updated 3 years ago
• ssvlabs / ssv-dkg
  ☆13Updated this week
• Consensys / liszt
  zk-rollup
  ☆22Updated last year
• ipsilon / evm-benchmarks
  A collection of Ethereum Virtual Machine benchmarks
  ☆19Updated 5 months ago
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated 11 months ago
• nulltea / tss-libp2p
  Rust-libp2p transport for {t,n}-threshold signature schemes
  ☆33Updated 2 years ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆56Updated 5 months ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 3 years ago
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 2 months ago
• celestiaorg / wordle
  Wordle Game Implemented with Optimint
  ☆14Updated 7 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• ethstorage / pm
  ☆9Updated 3 weeks ago
• barryWhiteHat / zkvm
  a sketch of what a zkvm could look like
  ☆26Updated 3 years ago
• hermeznetwork / hermez-node
  Hermez node Go implementation
  ☆61Updated 7 months ago
• Layr-Labs / eigenda-proxy
  Secure and optimized communication layer for rollups using EigenDA.
  ☆15Updated this week
• vocdoni / storage-proofs-eth-go
  Golang library and utility for extracting erc20 token balances from EVM storage proofs
  ☆32Updated 6 months ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year