ethsecurity / resources
The ETHSecurity website which contains security resources.
☆16Updated 5 years ago
Alternatives and similar repositories for resources:
Users that are interested in resources are comparing it to the libraries listed below
- A solidity preprocessor and flattener CLI and library☆112Updated last year
- A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.☆88Updated 5 years ago
- Simple Solidity contract to mock dependent contracts in truffle tests.☆94Updated 2 years ago
- Smart contract mocking tool☆59Updated 4 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 4 years ago
- MythX smart contract security verification plugin for Truffle Framework☆125Updated 3 years ago
- Dai Stablecoin System☆122Updated 5 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆108Updated 2 years ago
- A quick reference for symbols and conventions used in the Ethereum Yellow Paper.☆108Updated 3 years ago
- ☆110Updated 2 years ago
- Smart Contracts Design Patterns in the Ethereum Ecosystem and Solidity Code☆60Updated 3 years ago
- 🛡️ Authereum smart contracts☆55Updated 2 years ago
- The information of the Fellowship of Ethereum Magicians☆93Updated 4 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆60Updated 4 years ago
- Compile Solidity source code and verify its bytecode matches the blockchain☆88Updated 7 months ago
- Boilerplate for your next Smart Contract, made simple.☆52Updated 5 years ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆93Updated 6 years ago
- Useful sample code for various Ethereum smart contracts☆132Updated 2 years ago
- Web3 ganache-cli commands that allow moving forward and backward in time☆48Updated last year
- Mars is an infrastructure-as-code tool for Ethereum☆103Updated 10 months ago
- Dapp starter kit using: Buidler + Waffle + TypeChain + OpenZeppelin CLI + Vue (TypeScript)☆43Updated 4 years ago
- ☆62Updated last year
- Very small Ethereum signer and verifier☆37Updated 4 years ago
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆83Updated 4 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆36Updated 3 years ago
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence☆41Updated 4 years ago
- integrate signed message recovery directly in your contracts☆37Updated 6 years ago
- Solidity - Self-Balancing Binary Search Tree with Order Statistics☆79Updated 2 years ago
- Trustlessly prove a past storage value in a contract to other contracts☆145Updated last year
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆98Updated 2 years ago