Eine Programmiersprache, die als formale Einführung in intelligente Verträge entwickelt wurde.