Криптовалюты

Это позволяет доказывать свойства, выходящие за рамки простой корректности отдельной функции контракта. NEO, как аналог Эфира, используется уже крупными компаниями