Some example patterns for building fault-tolerant Ethereum smart contracts
☆57May 11, 2017Updated 8 years ago
Alternatives and similar repositories for smart-contract-security-examples
Users that are interested in smart-contract-security-examples are comparing it to the libraries listed below
Sorting:
- Experimental Ethereum RNG based on PoW☆10Jul 7, 2016Updated 9 years ago
- A DAO-ABI-compatible contract to allow *only* withdrawals☆11Jun 25, 2016Updated 9 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- Simple data access pattern for dumb, durable software objects☆32Mar 21, 2017Updated 8 years ago
- ☆12Apr 24, 2016Updated 9 years ago
- py.test plugin for testing Ethereum smart contracts☆20Nov 19, 2018Updated 7 years ago
- 👾 A mutation testing tool for Solidity contracts☆46Aug 16, 2018Updated 7 years ago
- A program that annotates a vm trace with dataflow information☆34Mar 24, 2022Updated 3 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago
- Libp2p for dummies☆12Jul 24, 2020Updated 5 years ago
- LeapDAO's implementation of More Viable Plasma / Plasma Leap☆47Jan 3, 2023Updated 3 years ago
- 🔏 Simple Keystore Generator☆12Jan 7, 2019Updated 7 years ago
- A document describing purity detection in EVM opcode☆16Mar 28, 2022Updated 3 years ago
- An EVM code verification framework in Coq☆44Oct 11, 2016Updated 9 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Aug 31, 2016Updated 9 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- Status command-line tools☆13Jan 27, 2018Updated 8 years ago
- The project has been moved to this new repo https://github.com/melonproject/oyente☆64Mar 18, 2017Updated 8 years ago
- Solidity Contract Function Profiler☆80Oct 14, 2018Updated 7 years ago
- Formalization of Tendermint proposer election properties☆14Jan 13, 2019Updated 7 years ago
- Trusted relayer contract to move assets between chains. EPM repo.☆18Dec 16, 2019Updated 6 years ago
- Deployment scripts and monitoring configuration for a Cosmos Validator setup☆18Oct 24, 2018Updated 7 years ago
- Solidity compiler wraper to generate JS.☆15Feb 15, 2023Updated 3 years ago
- Identity platform for Ethereum☆14Oct 17, 2015Updated 10 years ago
- one of many proofs, ring signatures, and zerocoin algo from https://eprint.iacr.org/2014/764.pdf☆15Dec 12, 2022Updated 3 years ago
- Just Truffle2.0 of ether-router☆13Sep 11, 2016Updated 9 years ago
- Solidity contracts for DigixDAO☆50May 19, 2016Updated 9 years ago
- ☆29Jul 22, 2016Updated 9 years ago
- A community currency with zero reserve mutual credit and adjustable parameters☆56Jun 6, 2018Updated 7 years ago
- Projects in the Cosmos and Tendermint ecosystem 🌌☆15Jan 13, 2021Updated 5 years ago
- Ruby binding to Ethereum Serpent compiler. Serpent is a Python style smart contract language.