Daniele Gorla

この論文は、整合性に焦点を当てた型システムを通じてスマートコントラクトのセキュリティを確保することについて議論している。

複雑な行動をどうやっていろんなモニタリングシステムがチェックしてるのか見てみよう。

新しいタイプシステムで、スマートコントラクトがガス問題なしでスムーズに動くようになるよ。