microsoft / Forerunner

Related projects ⓘ

Alternatives and complementary repositories for Forerunner

• sbip-sg / CuEVM
  Cuda implementation of EVM bytecode executor
  ☆89Updated this week
• nulltea / zk-SQL
  ZK-based engine for self-sovereign SQL queries
  ☆84Updated 2 years ago
• 0xPARC / zk-group-sigs
  group signatures implemented with zkSNARKs
  ☆83Updated 2 years ago
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆205Updated last week
• barryWhiteHat / roll_up_token
  yellow paper for roll_up token
  ☆67Updated 5 years ago
• OpenZeppelin / solidity-ast
  TypeScript types and a JSON Schema for the Solidity AST
  ☆93Updated last month
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆108Updated 2 years ago
• nomad-xyz / monorepo
  Nomad Monorepo -- SDKs, Contracts, and more!
  ☆118Updated last year
• 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 4 months ago
• AztecProtocol / weierstrudel
  Huff implementation of the bn254 curve, for Ethereum smart contracts
  ☆111Updated 5 years ago
• ChainSafe / nodewatch-api
  A devp2p crawler targeted at Eth2 nodes
  ☆57Updated 9 months ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆228Updated last year
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 3 years ago
• MariusVanDerWijden / tx-fuzz
  ☆95Updated last week
• iden3 / circuits
  Circom circuits used by the iden3 core protocol.
  ☆82Updated 3 months ago
• costa-group / gasol-optimizer
  ☆107Updated last week
• ChihChengLiang / poseidon-tornado
  ☆86Updated 2 years ago
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 2 years ago
• darkforest-eth / circuits
  Dark Forest zkSNARK circuits
  ☆117Updated last year
• summa-tx / memview-sol
  Memory access with runtime typechecking in Solidity
  ☆71Updated last year
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆58Updated last year
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆71Updated 7 months ago
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆133Updated last year
• tornadocash / tornado-nova
  Tornado privacy pool with internal transactions
  ☆129Updated 2 years ago
• poma / zkutil
  A tool to work with zkSNARK circuits generated by Circom compiler
  ☆99Updated 2 years ago
• hermeznetwork / circuits
  Implements hermez network zk-Snarks circuits
  ☆56Updated last year
• ethereum / evmdasm
  A lightweight ethereum evm bytecode instruction registry, disassembler and evmcode manipulation library
  ☆53Updated last year
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆104Updated last year
• ethereum / distributed-validator-specs
  Ethereum Distributed Validator Specifications
  ☆79Updated 2 years ago
• nulven / EthDataMarketplace
  ☆91Updated 3 years ago