PACT

Язык программирования Pact, предназначен для безопасной и простой разработки смарт-контрактов на блокчейне.