Stian Lybech

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

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