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
- Status command-line tools☆13Jan 27, 2018Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- Chess (written in Ruby)☆14Feb 7, 2016Updated 10 years ago
- Solidity Contract Function Profiler☆80Oct 14, 2018Updated 7 years ago
- ☆12Apr 24, 2016Updated 10 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
- A program that annotates a vm trace with dataflow information☆34Mar 24, 2022Updated 4 years ago
- Deployment scripts and monitoring configuration for a Cosmos Validator setup☆18Oct 24, 2018Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 🔏 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 4 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
- Tendermint based chat☆24Mar 20, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆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
- ☆14Sep 28, 2020Updated 5 years ago
- Solidity contracts for DigixDAO☆50May 19, 2016Updated 9 years ago
- ☆29Jul 22, 2016Updated 9 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Ethereum-Zcash Integration effort☆66Feb 25, 2019Updated 7 years ago
- A Generalised Market Framework for Ethereum☆17Jul 30, 2015Updated 10 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
- ☆32Feb 24, 2017Updated 9 years ago
- A community currency with zero reserve mutual credit and adjustable parameters☆56Jun 6, 2018Updated 7 years ago