TovarishFin / smart-contract-boilerplateLinks
Boilerplate for smart contract development which includes all needed basic tools and linting
☆17Updated 6 years ago
Alternatives and similar repositories for smart-contract-boilerplate
Users that are interested in smart-contract-boilerplate are comparing it to the libraries listed below
Sorting:
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Updated 4 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 5 years ago
- CLI client for the MythX API☆20Updated 2 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆38Updated 3 years ago
- AZTEC protocol trusted setup MPC☆32Updated last year
- Audit reports and signatures☆8Updated 6 years ago
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence☆40Updated 4 years ago
- Fast and lightweight build tool for Solidity.☆23Updated 2 years ago
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆41Updated 6 years ago
- A set of utilities (currently in alpha) for exploring Solidity contracts☆23Updated 6 years ago
- data and charts for Ethereum state analysis☆46Updated 5 years ago
- Documentation for the any.sender transaction relaying service☆57Updated 4 years ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆30Updated last year
- Confidential Transactions with Reusable Commitments on Ethereum☆17Updated 5 years ago
- solidity and ethereum vulnerabilities☆33Updated 7 years ago
- A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine☆25Updated 6 years ago
- This is a repo which serves to design and develop the website which contains ETHSecurity resources.☆25Updated 6 years ago
- ☆90Updated 4 years ago
- RLP encoding in Solidity☆27Updated last year
- ☆51Updated 4 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆74Updated 7 years ago
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆82Updated 5 years ago
- Solidity Parser for Solium☆29Updated 2 years ago
- IC3 Bootcamp Security Project☆22Updated 7 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- A Solidity linter written in JS☆32Updated 7 years ago
- ☆16Updated 3 years ago
- Compile Solidity source code and verify its bytecode matches the blockchain☆89Updated last year