Skip to content

Releases: crytic/building-secure-contracts

v0.3.0

23 Feb 13:44
28ba0ce
Compare
Choose a tag to compare

0.3.0 - 2023-02-23

This release introduces secure-contracts.com - the website for building-secure-contracts.

Additionally this release adds Solana to not-so-smart-contracts, two advanced tutorials for Echidna (multi-abi and optimisations mode) and several guidelines related to EVM.

Thanks to all our external contributors for this release:

Added

Changed

New Contributors

Full Changelog: 0.2.0...0.3.0

v0.2.0

30 Nov 12:42
19d74af
Compare
Choose a tag to compare

0.2.0 - 2022-11-30

Insecure examples (e.g., not-so-smart contracts) are now included for Algorand, Cairo, Cosmos, and Substrate. These sample contracts can be used for developer education, as a reference when performing security reviews, and as a benchmark for security tools. We also added two new exercises and more guidance for using Echidna to find Ethereum smart contract vulnerabilities.

If you want to learn more about Echidna, watch our Fuzzing workshop (see the We’re streamers now announcement)

Thanks to all our external contributors for this release!

Added

  • not-so-smart contracts for Algorand/Cairo/Cosmos/Substrate (through multiple PRs over the past months)
  • Upgradeability guidelines (#132)
  • Echidna FAQ (#137)
  • Slither codebase walkthrough recording (#149)
  • Two new exercises for Echidna (#143, #158, #164, #160)
  • List of Trail of Bits blog posts (#155)
  • Paris fork to the list of EIPs (#169)

Changed

  • Refactored exercises 5 and 6 of Echidna (#148)

Fixed

v0.1.0

06 Sep 09:40
Compare
Choose a tag to compare

0.1.0 - 2022-08-05

This is the first release of building-secure-contracts. This collaborative repo aims to help smart contracts developers and auditors to build safer contracts by providing best practices and technical knowledge.

The repository contains:

  • 4 development guidelines
    • High-level best practices: High-level best-practices for all smart contracts
    • Token integration checklist: What to check when interacting with arbitrary tokens
    • Incident Response Recommendations: Guidelines on how to formulate an incident response plan
    • Secure development workflow: A rough, high-level process to follow while you write code
  • 1 list of EIPs included in each Ethereum mainnet fork
  • 1 day of technical training on program analysis and tools (Echidna/Slither/Manticore)

We would like to thank all our external contributors:

To explore the repository on this release version, use the 0.1.0 tag.