Sibos 2017: Sergey Nazarov, SmartContract