☆71Mar 8, 2019Updated 7 years ago
Alternatives and similar repositories for ethereumlab
Users that are interested in ethereumlab are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Contract to record hashes of recent and historic blocks☆14Sep 28, 2015Updated 10 years ago
- Simple RSA VDF in Rust☆21Apr 13, 2021Updated 4 years ago
- The compiler for ObliVM☆65Sep 1, 2020Updated 5 years ago
- ☆11Oct 7, 2022Updated 3 years ago
- Baby ZoE - first step towards Zerocash over Ethereum☆120Nov 1, 2016Updated 9 years ago
- A Generalised Market Framework for Ethereum☆16Jul 30, 2015Updated 10 years ago
- authenticated data structures, generically☆54Oct 22, 2016Updated 9 years ago
- Elliptic Curve Implementation in Solidity☆25Feb 3, 2024Updated 2 years ago
- ☆16Oct 10, 2016Updated 9 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆23Mar 13, 2020Updated 6 years ago
- sgx-based encrypted deduplication prototype☆14May 14, 2021Updated 4 years ago
- An EVM code verification framework in Coq☆44Oct 11, 2016Updated 9 years ago
- Ethereum chain parser☆71Nov 26, 2017Updated 8 years ago
- Casper PoC4 implementation. This PoC4 version served as an early prototype to test and refine the PoS protocol, laying the groundwork for…☆20Mar 29, 2017Updated 8 years ago
- Decentralized One Time Passwords☆12Dec 11, 2022Updated 3 years ago
- Ethereum-based Distributed Key Generation Protocol☆57Apr 6, 2022Updated 3 years ago
- Implemented the algorithms of the book Introduction to Reliable and Secure Distributed Programming☆12Feb 22, 2021Updated 5 years ago
- ☆24Aug 13, 2017Updated 8 years ago
- An experimental implementation of state channels from IC3-ETH. Combines Sprites/Pisa/Perun/L4 dispute process.☆35Jan 13, 2023Updated 3 years ago
- Let Vagrant build an Ubuntu machine to use Geth and Truffle.☆13Jun 6, 2019Updated 6 years ago
- ☆20Jan 9, 2019Updated 7 years ago
- ☆11Mar 19, 2023Updated 3 years ago
- A minimalist implementation of type theory, suitable for experimentation☆16Aug 9, 2025Updated 7 months ago
- KVyper: Semantics of Vyper in K☆41Aug 12, 2018Updated 7 years ago
- ☆10Jun 29, 2022Updated 3 years ago
- ☆71Sep 15, 2014Updated 11 years ago
- ☆168Apr 28, 2016Updated 9 years ago
- Cryptanalysis of the Legendre PRF Challenges☆11Nov 27, 2019Updated 6 years ago
- EVM Bytecode Super Optimizer☆36Jan 3, 2021Updated 5 years ago
- A simple calculator for Hummingbot trades☆22Mar 30, 2020Updated 5 years ago
- Utility functions for testing Megaparsec parsers with Hspec☆17Feb 2, 2026Updated last month
- MEV Wiki☆17Jan 6, 2026Updated 2 months ago
- Connector apps for Aragon Voting☆14Nov 18, 2020Updated 5 years ago
- Zero-knowledge Proof-of-reserves using Pedersen Commitments and zkSNARKs☆18Apr 5, 2022Updated 3 years ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 8 years ago
- ☆15Nov 21, 2021Updated 4 years ago
- Interoperability tests for libp2p Implementations☆20Jan 21, 2026Updated 2 months ago
- Simple Aragon App forwarder that requires a user to deposit fees before executing an action☆11Oct 26, 2020Updated 5 years ago
- ☆10Jan 7, 2024Updated 2 years ago