133 ETH通过重入攻击从CloberDEX被盗。这种情况在Essential上是不会发生的。

在Essential的声明式区块链上，开发者定义了状态更新必须满足的约束条件。没有逐步执行 = 没有重入漏洞的空间。

传统的Solidity合约要求开发者编写每一步的执行，这可能导致漏洞——就像我们刚刚在CloberDEX上看到的那样。

这就是为什么我们要#BuildDeclarative