不変量は強力です。 アサーションはより強力です。
jacob Φ
jacob Φ8月13日 20:06
1/11 ほとんどのスマートコントラクトの悪用は、ハッカーが開発者が明示的にテストしたことのない仮定を破ったときに発生します。 不変条件は防御であり、ユーザーがコントラクトをどのように操作するかに関係なく、常に保持されなければならない基本的なルールです。 これらを使用してより安全なプロトコル👇を構築する方法は次のとおりです
197