ethereum / evmjit
The Ethereum EVM JIT
☆167Updated 2 years ago
Related projects: ⓘ
- Hera: Ewasm virtual machine conforming to the EVMC API☆181Updated last year
- ☆118Updated 7 years ago
- Symbolic virtual machine for Ethereum☆68Updated 6 years ago
- K Semantics of the Ethereum Virtual Machine (EVM)☆506Updated this week
- The start page about my efforts around smart contract verification☆297Updated 2 years ago
- [ORPHANED] Transcompiles EVM code to eWASM☆107Updated 5 years ago
- ☆165Updated 8 years ago
- Utilities for interacting with the Ethereum virtual machine☆362Updated 5 years ago
- ☆228Updated 5 years ago
- EVM disassembler☆544Updated 2 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆235Updated 2 years ago
- Solidity grammar for ANTLR4☆123Updated 4 years ago
- Solidity Parser in Javascript☆137Updated 2 years ago
- Enclave ready EVM (eEVM) is an open-source, standalone, embeddable, C++ implementation of the Ethereum Virtual Machine.☆361Updated 5 months ago
- The project has been moved to this new repo https://github.com/melonproject/oyente☆64Updated 7 years ago
- Correctness proofs of Ethereum token contracts☆98Updated 5 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 6 years ago
- ZSL on Quorum☆72Updated 5 years ago
- libsnark: a C++ library for zkSNARK proofs☆114Updated last year
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 2 years ago
- (OLD REPO) A debug-oriented Ethereum VM (EVM)☆114Updated 6 years ago
- A Blockchain Virtual Machine☆278Updated 4 years ago
- Plasma Cash Contract & Client. ERC721, ERC20, and ETH compatible☆270Updated 5 years ago
- EVMC – Ethereum Client-VM Connector API☆341Updated 3 weeks ago
- K framework proof explorer & smart contract specification format☆124Updated 3 years ago
- ☆315Updated 4 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆191Updated 6 months ago
- Baby ZoE - first step towards Zerocash over Ethereum☆119Updated 7 years ago
- The python RLP serialization library☆98Updated 4 months ago
- Zero Knowledge Proofs and how they can be implemented in Quorum☆129Updated 2 months ago