ewasm / hera
Hera: Ewasm virtual machine conforming to the EVMC API
☆182Updated 2 years ago
Alternatives and similar repositories for hera:
Users that are interested in hera are comparing it to the libraries listed below
- [ORPHANED] Transcompiles EVM code to eWASM☆109Updated 6 years ago
- Scout is a Ethereum 2.0 Phase 2 execution prototyping engine.☆91Updated 5 years ago
- A step-by-step tutorial on how to write contracts in Wasm for Kovan☆228Updated 5 years ago
- Parity Shasper beacon chain implementation using the Substrate framework.☆196Updated 3 years ago
- [DEPRECATED] On-chain interpreter for WebAssembly written in Solidity☆67Updated 4 years ago
- An Introduction to CBC Casper Consensus Protocols☆138Updated 6 years ago
- utilities for Bitcoin SPV proof verification on (many!) other chains☆171Updated 2 years ago
- Verifiable Random Function (VRF) library written in Rust☆91Updated 2 years ago
- POA <-> Ethereum bridge for self transfers of POA native token to POA20 (ERC20 representation). Not supported. Use TokenBridge instead☆82Updated 3 years ago
- Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum☆82Updated 2 years ago
- 🔍Wireshark dissectors for Ethereum devp2p protocols☆117Updated 3 years ago
- Cosmos SDK (Tendermint consensus) side-chain implementation for plasma☆113Updated 2 years ago
- ☆111Updated 5 years ago
- Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others☆46Updated 5 years ago
- WIP on sharding and Ethereum 2.0 with enshrined-in-consensus data availability and Rust: a fast, safe, concurrent and practical programmi…☆57Updated 6 years ago
- smart contract implementation according to the Plasma MVP spec.☆79Updated 3 years ago
- Implementation of the Ethereum precompiled contracts in Rust.☆51Updated 4 years ago
- The Ethereum EVM JIT☆168Updated 2 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆191Updated 11 months ago
- ZSL on Quorum☆73Updated 6 years ago
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Updated last year
- Merkle tree optimized for lists of sequentially appended data and its proofs☆40Updated 2 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆53Updated 8 months ago
- Rust implementation of Zcash protocol☆182Updated 3 years ago
- Ewasm API for Rust☆104Updated 3 years ago
- Testnet planning & documentation☆65Updated 5 years ago
- K framework proof explorer & smart contract specification format☆123Updated 3 years ago
- Curated list of resources regarding state channels on Ethereum☆58Updated 6 years ago
- Root chain contracts for Plasma☆115Updated last year
- Example project for EthSnarks - Miximus coin mixer☆83Updated 5 years ago