Обновление Cardano Vasil знаменует собой важную веху в развитии блокчейна

Среднестатистический Криптo , знающий, что Ethereum только что завершил свой долгожданный переход на систему проверки на основе доказательства доли владения, может задаться вопросом, каков общий вывод из этого Васил Обновление хард-форка на блокчейне Cardano , которое произошло в 21:44 UTC в четверг, 22 сентября. Ожидается, что T будет завершено через пять дней, 27 сентября.

Значение Василядовольно технический набор изменений, которые улучшают программируемость реестра и его пропускную способность, возможно, требуют некоторого уменьшения масштаба для просмотра более общей картины.

Читать дальше: Что принесет долгожданный хард-форк Cardano под названием Vasil

Cardano, иногда рекламируемый как «Убийца Ethereum ,” играет в долгую игру. Критики этого процесса (разделить на «эпохи»названные в честь поэтов-романтиков, ученых-компьютерщиков и мыслителей эпохи Просвещения) часто критикуют протокол за отставание от другихсмарт-контракт Блокчейны, которые уже поддерживают процветающие экосистемы децентрализованных Финансы (DeFi) и накопили миллиарды долларов общей заблокированной стоимости.

Но ранние достижения передовой платформы смарт-контрактов Ethereum«блестящие, но неструктурированные», по словам Аггелоса Киайяса, главного научного сотрудника разработчика Cardano Input Output Global (IOG). Смарт-контракты на Cardano «другие», говорит Киайяс, который также является профессором криптографии в Эдинбургском университете.

Смарт-контракты на Cardano

Это связано с тем, что Cardano основан на функциональном программировании — точном и математическом способе написания кода, который использует неизменяемые данные, чтобы сообщить программе, что именно ей делать, а не добиваться результатов посредством объекты, которые изменяют состояние программы.

«Я думаю, что у многих людей возникли трудности, когда смарт-контракты были запущены в Cardano, потому что они надеялись, что будет простой способ немедленного переноса сложных контрактов из Ethereum в Cardano», — сказал Киайяс в интервью CoinDesk. «Но это требует знакомства с функциональным программированием и необходимости переосмыслить, Как лучше всего программировать в этой новой среде?»

Для Киайяса функциональное программирование не только является простым и естественным подходом, но и когда дело доходит до критической инфраструктуры, оно имеет смысл. Это потому, что намерение компьютерной программы становится очень ясным и легко проверяемым. Эта простота также предполагает возможную автоматизацию этой проверки. И хотя требуются некоторые временные затраты, Киайяс сказал, что тонкости функционального сценария Plutus от Cardano можно упростить, используя такие доменно-специфичные языки, какМарлоу.

Cardano — не единственный блокчейн, который поощряет формальную проверку смарт-контрактов; Блокчейн Tezos также был разработан с учетом этого.Однако в наши дни подобные опасения, возможно, вышли из моды на фоне стремительного развития DeFi.

Bitcoin в крови

Еще одним фундаментальным отличием Cardano от большинства других цепочек смарт-контрактов ONE уровня является выбор дизайна, заимствованного у Bitcoin.

В отличие от Ethereum, который использует модель, основанную на счетах, похожую на банковскую, Cardano основан на «неизрасходованном выходе транзакции» (UTXO) система, способ расчета того, что хранится в Bitcoin кошельках, отслеживая сдачу, оставшуюся после траты долей монет. Но Cardano расширяет эту практику, так что она не ограничена ограничениями данных блокчейна Bitcoin , подход, известный как «расширенные неизрасходованные выходы транзакций» (EUTXO).

Киайяс объяснил, что эта конструкция естественным образом соответствует детерминированному функциональному подходу и имеет важные преимущества.

«Либо транзакция соответствует текущему расширенному набору UTXO и тратит некоторые UTXO и вводит другие, либо она T соответствует», — сказал он. «Таким образом, у меня есть эта детерминированная уверенность в том, как моя транзакция будет взаимодействовать с состоянием блокчейна и не будет изменена никакими другими транзакциями».

Киайяс отметил, что это не относится к модели на основе аккаунтов, такой как Ethereum. «В этом случае я не могу полностью предсказать, как моя транзакция будет взаимодействовать с состоянием блокчейна, потому что другие транзакции могут быть «вставлены» до моей транзакции, изменяя ее, и тогда моя транзакция по сути взаимодействует с состоянием, которого не существовало, когда я ее выпустил. Это на самом деле имеет огромное значение для смарт-контрактов».

Безопасность в масштабе

Если связать это с изменениями, внедряемыми Василом, то модель UTXO Cardano будет более доступной для ссылок, что позволит снизить нагрузку на цепочку, что лучше для масштабирования, а также предпочтительнее с точки зрения безопасности.

«Обновление Vasil сделает возможным ссылаться на UTXO, и благодаря этому достигается существенная экономия пространства», — сказал Киайяс. «Так что, хотя в теории это небольшое бухгалтерское соображение, на практике это огромное преимущество».

Киайяс сказал, что в мире Технологии нет ничего нового в том, чтобы видеть, как люди спешат вперед, что, возможно, превратил DeFi в своего рода игровую площадку для хакеров.

«Если я захочу улучшить удобство использования или скорость, я всегда смогу сделать это лучше вас, пожертвовав безопасностью», — сказал Киайяс, защищая методичный подход Cardano и кропотливый процесс академической экспертной оценки.

«Но я думаю, что нам всегда нужен научный способ оценки безопасности систем», — добавил он.

Собственная Криптовалюта Cardano, ADA, вырос примерно на 4% за последние 24 часа и на момент публикации торговался на уровне 46 центов.

Обновление: Пятница, 23 сентября 2022 г., 01:27 UTC:Отредактировано с целью отразить обновление, произошедшее в 21:44 UTC в первом абзаце.