Ohalo-Ltd / solevmView external linksLinks
Partial implementation of the Ethereum runtime in Solidity (PoC)
☆78Dec 8, 2018Updated 7 years ago
Alternatives and similar repositories for solevm
Users that are interested in solevm are comparing it to the libraries listed below
Sorting:
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆102Jan 4, 2023Updated 3 years ago
- An agent-based model of decentralized dispute resolution oracle.☆12Oct 4, 2018Updated 7 years ago
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆12Nov 21, 2018Updated 7 years ago
- basic on the project☆18Apr 12, 2019Updated 6 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51May 24, 2018Updated 7 years ago
- Solidity compiler wraper to generate JS.☆15Feb 15, 2023Updated 2 years ago
- ☆15Apr 9, 2019Updated 6 years ago
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 7 years ago
- Verifying merkle multiproofs in solidity example (unaudited)☆44May 24, 2022Updated 3 years ago
- All In One stateful Plasma-Cash client, browser compatible☆43Dec 9, 2022Updated 3 years ago
- A proof of concept trustless ethereum mixer☆231Nov 9, 2018Updated 7 years ago
- a frontend for interacting with theCyber contracts and managing memberships.☆10Jun 11, 2018Updated 7 years ago
- Translations of standard contracts from Solidity to Vyper.☆12May 30, 2018Updated 7 years ago
- Code coverage for solidity☆65Jul 20, 2017Updated 8 years ago
- LeapDAO's implementation of More Viable Plasma / Plasma Leap☆47Jan 3, 2023Updated 3 years ago
- Home for all packages related to the Counterfactual project☆185Dec 12, 2019Updated 6 years ago
- Elliptic Curve Implementation in Solidity☆80Mar 4, 2018Updated 7 years ago
- The first real-time Solidity debugger☆108Apr 2, 2024Updated last year
- Cryptographic protocols for Solidity.☆13Aug 6, 2017Updated 8 years ago
- Instructions for benchmarking Ewasm precompiles. (And results.)☆20Nov 23, 2020Updated 5 years ago
- 👯 speedy, parallelized, hot-reloading solidity test framework☆76Jun 8, 2018Updated 7 years ago
- This repository is for topologic and geometric data analysis.☆13Jul 2, 2022Updated 3 years ago
- Uncatagorized Solidity examples and snippits☆12Jun 9, 2018Updated 7 years ago
- Utilities for interacting with the Ethereum virtual machine☆382May 7, 2019Updated 6 years ago
- A WebAssembly interpretter written in Python.☆13Mar 18, 2020Updated 5 years ago
- The source code, implementation spec, and Agreement of the Aragon Network.☆13Jan 22, 2021Updated 5 years ago
- Benchmarking data for EVM ops and precompiles☆21Jan 30, 2023Updated 3 years ago
- A program that annotates a vm trace with dataflow information☆34Mar 24, 2022Updated 3 years ago
- Gather blocks and headers from an ethers provider☆17Oct 6, 2022Updated 3 years ago
- Materials for the devcon4 workshop☆14Nov 1, 2018Updated 7 years ago
- LeapDAO validation node☆14Jan 3, 2023Updated 3 years ago
- A Hardhat plugin to test Huff contracts☆14Jan 8, 2024Updated 2 years ago
- ☆15Jan 5, 2024Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- A step-by-step tutorial on how to write contracts in Wasm for Kovan☆227Jul 11, 2019Updated 6 years ago
- Directory of security contacts for blockchain companies☆407Feb 7, 2025Updated last year
- MetaMask Light Client Development☆224Jun 4, 2019Updated 6 years ago
- Main chain smart contract for Bankex Plasma implementation☆46Jul 8, 2018Updated 7 years ago
- Ethereum Engineering Effort☆89Mar 15, 2019Updated 6 years ago