スマートコントラクトの概念。コミットメントを追跡するためのコンピュータプログラム。ネオンスタイル。