synereo和以太坊

A. 如何使用Synereo的智能合約語言來防止黑客入侵

沒有正式的語義，就不可能推論代碼，也不可能詳細說明它的作用或者利用任何形式化驗證方式來確保遵從任何規格。無論是出於什麼意圖和目的，Solidity語義的唯一規格是它為以太坊虛擬機（EVM）所編譯的位元組代碼。這個編譯程序還沒有被正式驗證。 而且，這個虛擬機運行的代碼也沒有被驗證，因此對於 Solidity 的合約應當做什麼，我們幾乎不能說出什麼所以然來。