microsoft / Forerunner

Related projects ⓘ

Alternatives and complementary repositories for Forerunner

• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆72Updated 8 months ago
• 0xPARC / zk-group-sigs
  group signatures implemented with zkSNARKs
  ☆83Updated 2 years ago
• nulltea / zk-SQL
  ZK-based engine for self-sovereign SQL queries
  ☆84Updated 2 years ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆108Updated 2 years ago
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated last week
• sbip-sg / CuEVM
  Cuda implementation of EVM bytecode executor
  ☆93Updated this week
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆206Updated 3 weeks ago
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• darkforest-eth / circuits
  Dark Forest zkSNARK circuits
  ☆118Updated last year
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆58Updated last year
• barryWhiteHat / roll_up_token
  yellow paper for roll_up token
  ☆67Updated 5 years 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
• MariusVanDerWijden / tx-fuzz
  ☆95Updated 3 weeks ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆228Updated last year
• poma / zkutil
  A tool to work with zkSNARK circuits generated by Circom compiler
  ☆99Updated 3 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 3 years ago
• leonardoalt / yools
  Tools for Yul.
  ☆137Updated last year
• summa-tx / memview-sol
  Memory access with runtime typechecking in Solidity
  ☆71Updated last year
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆134Updated last year
• 0xPolygon / account-binary-search-tree
  ☆47Updated last year
• gio256 / erigon-db
  Fully typed access to the Erigon db in rust
  ☆102Updated 2 years ago
• ChihChengLiang / poseidon-tornado
  ☆86Updated 2 years ago
• hashcloak / flashbots-privacy
  Practical Experiments on how to add complete privacy to flashbots
  ☆47Updated last month
• AztecProtocol / weierstrudel
  Huff implementation of the bn254 curve, for Ethereum smart contracts
  ☆110Updated 5 years ago
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆91Updated 2 years ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆68Updated 2 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆81Updated last year
• a16z / evm-powers-of-tau
  ☆102Updated 4 months ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆126Updated 2 years ago