133 ETH通過重入攻擊從CloberDEX被盜。這種情況在Essential上是不會發生的。在Essential的聲明式區塊鏈上,開發者定義了狀態更新必須滿足的約束條件。沒有逐步執行 = 沒有重入漏洞的空間。傳統的Solidity合約要求開發者編寫每一步的執行,這可能導致漏洞——就像我們剛剛在CloberDEX上看到的那樣。這就是爲什麼我們要#BuildDeclarative