DelphinusLab / zkwasm-mini-rollup

Related projects ⓘ

Alternatives and complementary repositories for zkwasm-mini-rollup

• DelphinusLab / zkWasm-rust
  rust sdk for zkWasm
  ☆11Updated last month
• DelphinusLab / zkWasm-host-circuits
  ☆24Updated 3 weeks ago
• scroll-tech / poseidon-circuit
  Poseidon hash circuit
  ☆94Updated 3 weeks ago
• scroll-tech / stateless-block-verifier
  ☆43Updated this week
• scroll-tech / revm
  Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
  ☆19Updated this week
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 3 weeks ago
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated 3 weeks ago
• zkmove / halo2-verifier.move
  A set of tooling of halo2 circuits verification in Move environments
  ☆16Updated 3 months ago
• agglayer / agglayer-go
  ☆19Updated 3 months ago
• Lightprotocol / groth16-solana
  groth16 verifier implementation with solana altbn syscalls
  ☆28Updated 2 months ago
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆18Updated 2 months ago
• starkware-libs / starknet-api
  ☆59Updated 4 months ago
• lambdaclass / zksync-web3-rs
  ☆32Updated 2 months ago
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆53Updated this week
• risc0 / demos
  ☆49Updated last week
• cryptonerdcn / wasm-cairo
  A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.
  ☆54Updated last week
• iosis-tech / swiftness
  Cairo-VM STARK Verifier Rust implementation
  ☆37Updated last month
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year
• soonlabs / igloo
  Demo for op rollup with decoupling SVM execution layer
  ☆27Updated 3 weeks ago
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆71Updated 6 months ago
• PufferFinance / rave
  Remote Attestation VErification
  ☆29Updated 3 months ago
• starkware-libs / sequencer
  ☆27Updated this week
• fluentlabs-xyz / fluentbase
  A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm
  ☆59Updated this week
• MystenLabs / truncator
  Compress cryptographic outputs via mining
  ☆23Updated 2 years ago
• starknet-io / starknet-p2p-specs
  Specification of P2P protocol for StarkNet nodes
  ☆46Updated this week
• axelarnetwork / axelar-cgp-solidity
  No description
  ☆40Updated this week
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆81Updated last year
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆73Updated last week
• Manta-Network / sdk
  Manta Network SDK
  ☆15Updated 4 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆63Updated 4 months ago