Data

Tools

Indexes

Applications

Experiments

Open Source Science

Recent Releases of https://github.com/crytic/building-secure-contracts

https://github.com/crytic/building-secure-contracts - v0.3.0

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: - @bart1e - @ChmielewskiKamil - @slendermaan

Added

  • Not so smart contracts for Solana by @suryansh-tob, @smoelius and @nop4e71 in https://github.com/crytic/building-secure-contracts/pull/181, #197
  • Echidna
    • new tutorial for multi-abi by @glarregay-tob in https://github.com/crytic/building-secure-contracts/pull/188
    • new tutorial for the optimization mode by @ggrieco-tob in https://github.com/crytic/building-secure-contracts/pull/180
  • Learn EVM
    • Add EVM Opcodes (Learn EVM) by @suryansh-tob in https://github.com/crytic/building-secure-contracts/pull/191
    • List of EVM changes for BSC/Celo//TRON by @suryansh-tob in https://github.com/crytic/building-secure-contracts/pull/185 and @montyly in https://github.com/crytic/building-secure-contracts/pull/217
    • Recommendations on transaction tracing by @bohendo in https://github.com/crytic/building-secure-contracts/pull/208
    • Recommendations on how to read the yellow paper by @bohendo in https://github.com/crytic/building-secure-contracts/pull/208
  • Create CODEOWNERS by @montyly in https://github.com/crytic/building-secure-contracts/pull/192
  • Create CONTRIBUTING.md by @montyly in https://github.com/crytic/building-secure-contracts/pull/216
  • mdbook deployment integration by @damilolaedwards in https://github.com/crytic/building-secure-contracts/pull/215 and @montyly in https://github.com/crytic/building-secure-contracts/pull/218

Changed

  • Improvements to the Echidna training
    • Config options by @ChmielewskiKamil in https://github.com/crytic/building-secure-contracts/pull/176
    • docs: fix minor typos by @ChmielewskiKamil in https://github.com/crytic/building-secure-contracts/pull/175
    • echidna: exercise 6: fix incorrect link to solution by @elopez in https://github.com/crytic/building-secure-contracts/pull/186
    • Exercise 5 and 6 names were swapped by @ChmielewskiKamil in https://github.com/crytic/building-secure-contracts/pull/177
    • Update Exercise2 by @ahpaleus in https://github.com/crytic/building-secure-contracts/pull/199
    • docs: typo fix by @ChmielewskiKamil in https://github.com/crytic/building-secure-contracts/pull/195
    • docs: fix broken link by @ChmielewskiKamil in https://github.com/crytic/building-secure-contracts/pull/209
    • Fix broken links in Echidna markdown files by @glarregay-tob in https://github.com/crytic/building-secure-contracts/pull/203
    • docs: fix value boundary by @ChmielewskiKamil in https://github.com/crytic/building-secure-contracts/pull/198
  • Install Ganache globally by @ChmielewskiKamil in https://github.com/crytic/building-secure-contracts/pull/190
  • Update Not So Cosmos for Miss Error Handler by @slendermaan in https://github.com/crytic/building-secure-contracts/pull/189
  • Update README.md by @montyly in https://github.com/crytic/building-secure-contracts/pull/210
  • Fix for Slither exercise 1 by @bart1e in https://github.com/crytic/building-secure-contracts/pull/187
  • Fix broken links by @montyly in https://github.com/crytic/building-secure-contracts/pull/213
  • Add Markdown links check to Github Actions by @ahpaleus in https://github.com/crytic/building-secure-contracts/pull/204

New Contributors

  • @slendermaan made their first contribution in https://github.com/crytic/building-secure-contracts/pull/189
  • @suryansh-tob made their first contribution in https://github.com/crytic/building-secure-contracts/pull/181
  • @ahpaleus made their first contribution in https://github.com/crytic/building-secure-contracts/pull/199
  • @smoelius made their first contribution in https://github.com/crytic/building-secure-contracts/pull/197
  • @bart1e made their first contribution in https://github.com/crytic/building-secure-contracts/pull/187

Full Changelog: https://github.com/crytic/building-secure-contracts/compare/0.2.0...0.3.0

- Solidity
Published by montyly over 3 years ago

https://github.com/crytic/building-secure-contracts - v0.2.0

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! - @AlehNat - @ChmielewskiKamil - @davidlee1435 - @htadashi - @lubos-harasta - @rappie - @supernovahs - @tserg

Added

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

Changed

  • Refactored exercises 5 and 6 of Echidna (https://github.com/crytic/building-secure-contracts/pull/148)

Fixed

  • Typos and minor updates (https://github.com/crytic/building-secure-contracts/pull/134, https://github.com/crytic/building-secure-contracts/pull/135, https://github.com/crytic/building-secure-contracts/pull/142, https://github.com/crytic/building-secure-contracts/pull/138, https://github.com/crytic/building-secure-contracts/pull/151, https://github.com/crytic/building-secure-contracts/pull/153, https://github.com/crytic/building-secure-contracts/pull/166, https://github.com/crytic/building-secure-contracts/pull/167, https://github.com/crytic/building-secure-contracts/pull/168, https://github.com/crytic/building-secure-contracts/pull/170)

- Solidity
Published by montyly over 3 years ago

https://github.com/crytic/building-secure-contracts - v0.1.0

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.

- Solidity
Published by montyly almost 4 years ago