Some example patterns for building fault-tolerant Ethereum smart contracts
☆57May 11, 2017Updated 9 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:
- A DAO-ABI-compatible contract to allow *only* withdrawals☆11Jun 25, 2016Updated 10 years ago
- Formalization of Tendermint proposer election properties☆14Jan 13, 2019Updated 7 years ago
- Status command-line tools☆13Jan 27, 2018Updated 8 years ago
- Automatically commit changes to git repository for rapid development. Python/inotify☆12Aug 24, 2016Updated 9 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 👾 A mutation testing tool for Solidity contracts☆45Aug 16, 2018Updated 7 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
- 🔏 Simple Keystore Generator☆12Jan 7, 2019Updated 7 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.
- LeapDAO's implementation of More Viable Plasma / Plasma Leap☆47Jan 3, 2023Updated 3 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 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
- ☆17Jan 30, 2017Updated 9 years ago
- Tendermint based chat☆24Mar 20, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 10 years ago
- ☆29Jul 22, 2016Updated 10 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Sep 21, 2018Updated 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
- Ethereum-Zcash Integration effort☆66Feb 25, 2019Updated 7 years ago
- A Generalised Market Framework for Ethereum☆19Jul 30, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆38Jun 21, 2018Updated 8 years ago
- EtherSim is an Ethereum RPC simulator for testing and development purposes☆60Feb 3, 2017Updated 9 years ago
- ☆32Feb 24, 2017Updated 9 years ago
- A community currency with zero reserve mutual credit and adjustable parameters☆56Jun 6, 2018Updated 8 years ago
- Formal specification and reference implementation of Casper☆15Aug 19, 2015Updated 10 years ago
- EVM contract system developer multitool☆300May 13, 2017Updated 9 years ago
- ☆12Mar 29, 2011Updated 15 years ago