Интервью с Чарльзом Хоскинсоном из Cardano: у нас лучший продукт из всех измерений

Во второй части моего интервью с основателем Cardano, генеральным директором IOHK и бывшим соучредителем Ethereum Чарльзом Хоскинсоном, мы обсудили, какие проекты, помимо Cardano, Чарльз считает наиболее примечательными и с какими трудностями столкнулась команда Cardano во время работы на их большие обновления.

Итак, Чарльз, не могли бы вы сказать нам, что является самой большой проблемой, с которой сталкивается  Cardano?

Чарльз Хоскинсон: Единственная самая большая проблема, с которой мы изначально столкнулись, которая была решена, заключалась в следующем: «Как вы проводите научные исследования в этой области, превращаете науку в инженерию и фактически доводите ее до клиента?» Легко просто скопировать чужой код. Легко просто написать код и сказать, что он работает. Легко написать чистый документ, абстрагированный от реальности, и сказать: «О, смотри, мой прекрасный протокол идеален». Но на самом деле они не собирают все эти кусочки и не превращают их в конечный продукт, основанный на доказательствах. Никто на самом деле никогда не делал этого. Мы были первой компанией в этом пространстве, чтобы преследовать это.

Конечно, были некоторые попытки, такие как Algorand и Tezos и другие, у которых есть немного более формальная методология, но мы имеем дело с ней во всех аспектах продукта: сетевой стек; мы разработали наши собственные языки программирования; мы разработали наш собственный протокол консенсуса; мы разработали наши правила бухгалтерской книги; мы разработали метод, чтобы записать эти правила. В развитие Cardano столько всего вложено, что мы в некотором роде излишне спроектированы. 

Проблема в том, что мы должны вывести это на рынок так же быстро, как Ethereum выводит вещи на рынок, так же быстро, как другие люди выводят вещи на рынок. Мы строим Ferrari, но на рынке ожидаются поставки Toyota. Итак, большой проблемой было управление ожиданиями. Большой проблемой была попытка ускорить то, что обычно не ускоряется хорошо. Но, например, только использование формальных методов, есть несколько проектов, которые делают это. Системы торможения в поездах используют формальные методы, потому что вы хотели бы знать, что, когда поезд пытается затормозить, он будет тормозить, иначе все погибнут в поезде. Это одна из тех вещей, которые просто не могут потерпеть неудачу.