Alternatives and similar repositories for move-prover-examples:

Users that are interested in move-prover-examples are comparing it to the libraries listed below

• pentagonxyz / xyk-amm-move
  Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.
  ☆85Updated 2 years ago
• blocksecteam / rustle
  A static analyzer for NEAR smart contract in Rust
  ☆105Updated last year
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• franz101 / mev-olympics
  MEV Olympics
  ☆45Updated 4 months ago
• pentagonxyz / multisig-wallet-move
  Multisignature wallet in Move (with support for adding and removing participants).
  ☆33Updated 2 years ago
• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆41Updated 2 weeks 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…
  ☆142Updated 9 months ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆58Updated last year
• alloy-rs / rlp
  Fast implementation of Ethereum RLP serialization
  ☆91Updated 2 months ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• danhper / eclair
  A Solidity interpreter
  ☆66Updated 3 weeks ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated last year
• Lilyjjo / tldr-research
  Suave/TEE PoCs of MEV Resistant AMMs
  ☆39Updated last month
• mattsse / defi-bindings
  rust bindings for various defi projects
  ☆66Updated 2 years ago
• pentagonxyz / move-oracles
  Oracles written in Move for the Sui Ecosystem
  ☆58Updated 2 years ago
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆29Updated this week
• SorellaLabs / poirot-rs
  A searcher of searchers
  ☆51Updated last year
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 2 years ago
• Certora / tutorials-code
  Certora tutorials
  ☆25Updated last month
• Philogy / evm-glue
  ☆81Updated 2 months ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆32Updated 5 months ago
• ralexstokes / ethereum-consensus
  ☆146Updated 5 months ago
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆85Updated this week
• nlordell / solabi-rs
  Rust Implementation of the Solidity ABI
  ☆40Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆106Updated 2 weeks ago
• solidquant / foundry-evm-mini
  Foundry EVM Standalone
  ☆23Updated last year
• blunt-instruments / MevWeth
  A Weth10 variant that allows users to create explicit MEV.
  ☆73Updated 2 years ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆40Updated 2 years ago
• alloy-rs / evm
  ☆50Updated last week
• FrankieIsLost / artemis-mev-share-template
  ☆66Updated last year