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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Formalization of Tendermint proposer election properties☆14Jan 13, 2019Updated 7 years ago
- 👾 A mutation testing tool for Solidity contracts☆46Aug 16, 2018Updated 7 years ago
- Automatically commit changes to git repository for rapid development. Python/inotify☆12Aug 24, 2016Updated 9 years ago
- Status command-line tools☆13Jan 27, 2018Updated 8 years ago
- Chess (written in Ruby)☆13Feb 7, 2016Updated 10 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- Solidity Contract Function Profiler☆80Oct 14, 2018Updated 7 years ago
- ☆12Apr 24, 2016Updated 9 years ago
- ☆22Aug 18, 2020Updated 5 years ago
- py.test plugin for testing Ethereum smart contracts☆20Nov 19, 2018Updated 7 years ago
- Simple data access pattern for dumb, durable software objects☆33Mar 21, 2017Updated 9 years ago
- 🔏 Simple Keystore Generator☆12Jan 7, 2019Updated 7 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago
- LeapDAO's implementation of More Viable Plasma / Plasma Leap☆47Jan 3, 2023Updated 3 years ago
- A document describing purity detection in EVM opcode☆16Mar 28, 2022Updated 3 years ago
- The project has been moved to this new repo https://github.com/melonproject/oyente☆65Mar 18, 2017Updated 9 years ago
- Libp2p for dummies☆12Jul 24, 2020Updated 5 years ago
- An EVM code verification framework in Coq☆44Oct 11, 2016Updated 9 years ago
- Identity platform for Ethereum☆14Oct 17, 2015Updated 10 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Aug 31, 2016Updated 9 years ago
- Tendermint based chat☆24Mar 20, 2018Updated 8 years ago
- ☆17Jan 30, 2017Updated 9 years ago
- Solidity compiler wraper to generate JS.☆15Feb 15, 2023Updated 3 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
- Low power E-paper display devboard with WiFi and BLE connectivity. Open source hardware.☆26Oct 21, 2023Updated 2 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- Solidity contracts for DigixDAO☆50May 19, 2016Updated 9 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Sep 21, 2018Updated 7 years ago
- JS and HTML5 Canvas☆28Jan 19, 2016Updated 10 years ago
- ☆13Oct 26, 2021Updated 4 years ago
- EtherSim is an Ethereum RPC simulator for testing and development purposes☆60Feb 3, 2017Updated 9 years ago
- ☆38Jun 21, 2018Updated 7 years ago
- A Generalised Market Framework for Ethereum☆16Jul 30, 2015Updated 10 years ago
- Ethereum-Zcash Integration effort☆66Feb 25, 2019Updated 7 years ago
- A real environment-friendly, virtual environment for development on Ethereum☆47Aug 21, 2017Updated 8 years ago
- ☆14Feb 12, 2019Updated 7 years ago
- EVM contract system developer multitool☆300May 13, 2017Updated 8 years ago