Zellic / move-prover-examples

Related projects ⓘ

Alternatives and complementary repositories for move-prover-examples

• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆34Updated last month
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆76Updated this week
• ralexstokes / ssz-rs
  Implementation of ethereum's `ssz`
  ☆103Updated last month
• alloy-rs / rlp
  Fast implementation of Ethereum RLP serialization
  ☆88Updated 3 weeks ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆34Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆93Updated 3 months ago
• paradigmxyz / jitevm
  convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…
  ☆143Updated 5 months ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆81Updated last year
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆85Updated 10 months ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated last year
• Philogy / evm-glue
  ☆76Updated 2 weeks ago
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆45Updated last year
• chainbound / consentry
  A standalone consensus networking service for listening to events
  ☆52Updated last year
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆32Updated 2 years ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆56Updated this week
• SorellaLabs / poirot-rs
  A searcher of searchers
  ☆51Updated 10 months ago
• ralexstokes / ethereum-consensus
  ☆137Updated 3 weeks ago
• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆72Updated 2 years ago
• valo / eth-sim
  Fast ethereum simulator
  ☆40Updated last year
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆104Updated last year
• ipsilon / eof
  Validation code for the EOF specification
  ☆43Updated 2 weeks ago
• solidquant / foundry-evm-mini
  Foundry EVM Standalone
  ☆22Updated last year
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆17Updated last year
• anton-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆59Updated 3 months ago
• taxmeifyoucan / ephemeral-testnet
  Resources and project management of Ethereum ephemeral testnet
  ☆27Updated last year
• malik672 / uniswap-sdk-core-rust
  uniswap sdk core in rust
  ☆47Updated last week
• foundry-rs / block-explorers
  Bindings for the etherscan API and other block explorers.
  ☆55Updated this week
• vezenovm / simple_shield
  Basic Noir anonymous proof of membership
  ☆88Updated last year
• pentagonxyz / move-oracles
  Oracles written in Move for the Sui Ecosystem
  ☆58Updated 2 years ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆126Updated 2 years ago