RANDAO: A DAO working as RNG of Ethereum
☆850Mar 1, 2023Updated 3 years ago
Alternatives and similar repositories for randao
Users that are interested in randao are comparing it to the libraries listed below
Sorting:
- ⛽ Tokenize gas on Ethereum with GasToken ⛽☆726Dec 4, 2021Updated 4 years ago
- (Formerly Solium) Code quality & Security Linter for Solidity☆925Jan 3, 2025Updated last year
- A toolbox for zkSNARKs on Ethereum☆1,881Aug 1, 2024Updated last year
- Raiden Network☆1,835Mar 28, 2024Updated last year
- A guide to smart contract security best practices☆7,589Mar 28, 2025Updated 11 months ago
- OpenZeppelin Contracts is a library for secure smart contract development.☆27,035Mar 15, 2026Updated last week
- EVM disassembler☆571May 9, 2022Updated 3 years ago
- The Ethereum Improvement Proposal repository☆13,807Updated this week
- *UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts☆937Jan 10, 2019Updated 7 years ago
- An Introduction to CBC Casper Consensus Protocols☆137Feb 26, 2019Updated 7 years ago
- ☆1,920Oct 18, 2025Updated 5 months ago
- Visualize Solidity control flow for smart contract security analysis. ⇆☆1,034Dec 4, 2022Updated 3 years ago
- Ethereum Proof-of-Stake Consensus Specifications☆3,908Mar 13, 2026Updated last week
- Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts buil…☆4,215Updated this week
- Composable building blocks for Ethereum contracts☆572Mar 12, 2022Updated 4 years ago
- Parity Shasper beacon chain implementation using the Substrate framework.☆196Jan 7, 2022Updated 4 years ago
- ☆212Apr 18, 2022Updated 3 years ago
- EVM dissassembler☆860Sep 4, 2023Updated 2 years ago
- text files, etc.☆32Jul 17, 2018Updated 7 years ago
- Pythonic Smart Contract Language for the EVM☆5,171Updated this week
- The fast, light, and robust client for Ethereum-like networks.☆6,852Nov 1, 2020Updated 5 years ago
- Ewasm Design Overview and Specification☆1,019Sep 8, 2022Updated 3 years ago
- Provable API for Ethereum smart contracts☆808Jun 8, 2024Updated last year
- Go implementation of Ethereum proof of stake☆3,737Updated this week
- Code coverage for Solidity smart-contracts☆1,005Dec 11, 2025Updated 3 months ago
- C++ library for zkSNARKs☆1,917Jun 12, 2025Updated 9 months ago
- Dapp, Seth, Hevm, and more☆2,131Feb 25, 2025Updated last year
- An Analysis Tool for Smart Contracts☆1,342Jan 19, 2023Updated 3 years ago
- Circuit compiler for zkSNARKs