Соучредитель и генеральный директор фирмы, выпускающей программное обеспечение для блокчейна Blockstack, утверждает, что потенциальные преимущества и применение умных контрактов выходят далеко за рамки того, что предполагает их название.
В интервью Cointelegraph 12 июня доктор Муниб Али, доктор философии в области компьютерных наук из Принстонского университета, сказал:
«Подобно тому, как облачные вычисления влияют на широкий круг отраслей, а не только на финансы, то же самое относится и к умным контрактам. Их даже не следует называть умными контрактами, потому что это довольно ограничительное название. Это проверяемые программы, которые не могли существовать в эпоху облачных вычислений ».
Комментарии д-ра Али следуют решению Blockstack сотрудничать с протоколом блокчейна «Доказательство ставок» Algorand о поддержке и принятии умного контрактного языка под названием «Ясность», который призван стать более безопасным и «специально созданным» для умных контрактов, чем существующие языки программирования. ,
«Наша отрасль нуждается в предсказуемой, безопасной альтернативе с открытым исходным кодом для современных подходов, таких как Solidity. Хотя мы ожидаем, что стоимость, заключенная в умных контрактах, может в конечном итоге исчисляться триллионами, наша отрасль не была бы готова к такому росту », – сказал д-р Али.
Это отсутствие готовности, по мнению как Blockstack, так и Algorand, проистекает из того факта, что разработчики до сих пор «обычно использовали небезопасный язык, который изначально был форком JavaScript, сам по себе язык общего назначения для создания веб-сайтов».
В отличие от этого, умные контракты, которые предназначены для преодоления слабостей человеческих или институциональных посредников, полагаясь на самозаполняющийся программный код, «сильно отличаются от типичных компьютерных программ и веб-сайтов», сказал д-р Али. Он подчеркнул:
«Они должны быть проверяемыми программами для операций с высокими ставками. Языки общего назначения могут быть здесь опасны ».
«Сверхдержава» для разработчиков
Для серьезных заинтересованных сторон, чтобы принять умные контракты и реализовать их потенциал, д-р Али указал на необходимость «надежного языка, который был бы безопасным и математически предсказуемым до исполнения умного контракта».
Отрасль «вряд ли будет проводить транзакции с высокой стоимостью через умные контракты, написанные на небезопасном языке», сказал он, отметив, что последствия этого выходят далеко за рамки индустрии финансовых услуг:
«Возможность написания проверяемого кода – это суперспособность для разработчиков. Это может изменить то, как программное обеспечение распространяется и проверяется в Интернете, как разработчики получают оплату за участие в коде, как реализовано управление доступом для интернет-служб и т. Д. »
Используя надежный язык, разработчики могут точно знать, как будет выполняться программа, вплоть до ее точной платы за газ, которая может автоматизировать функциональность в широком спектре интернет-приложений.
Как сообщал Cointelegraph, не все исследователи настолько оптимистичны в отношении потенциала технологии смарт-контрактов, как доктор Али.
Кевин Варбах, профессор юридических исследований и деловой этики в школе Уортон, Университет Пенсильвании, недавно опубликовал статью, указывающую на то, что он считает неявной «темной стороной» перехода к автоматизированному принятию решений с применением кода. в пространстве блокчейна.
