search

OriginProtocol / origin-playground

Playground for us to try out new ideas, specifically around Identity (ERC 725) & the Origin Marketplace
https://playground.originprotocol.com
MIT License
159 stars 72 forks source link

Formal Analysis and Adoption of Checks-Effects-Interactions Pattern for all Smart Contracts (Claimholder, ClaimVerifier, Identity, Keyholder) #15

Open nathanawmk opened 6 years ago

nathanawmk commented 6 years ago

Like to propose to Incorporate Formal Analysis and ensuring Checks-Effects-Interactions Pattern for all Smart Contracts in the project (Claimholder, ClaimVerifier, Identity, Keyholder) to avoid any DAO semblance attack

Formal Verification Tool: https://github.com/pirapira/ethereum-formal-verification-overview

https://solidity.readthedocs.io/en/v0.4.24/security-considerations.html

Please let me know if this is doable and possible. Thank you.

Nathan Aw (Singapore)