Введение
Разработчики сайдчейнов StarkWare и исследователи Вейцмановского института заявляют о создании обходного решения для множества ограничений Bitcoin Script. В соответствии с недавним исследованием, новая концепция позволяет разрабатывать сложные смарт-контракты на Bitcoin более капиталоемким способом. Кроме того, новая система может быть значительно эффективнее с точки зрения вычислений.
Что такое ColliderVM?
ColliderVM — это протокол, разработанный для обеспечения вычислений в сети Bitcoin, позволяющий надежно выполнять многоступенчатые процессы через несколько транзакций. Традиционно вывод Bitcoin Script не доступен для других скриптов, что делает сложные вычисления практически невозможными. Исследователи утверждают, что ColliderVM может позволить использовать Scalable Transparent Arguments of Knowledge (STARKs) — тип доказательства с нулевым разглашением — на Bitcoin без необходимости в изменениях на уровне консенсуса сети. Архитектура позволит Bitcoin подтверждать сложные вычисления вне цепи с минимальными затратами на данные.
Ограничения Bitcoin
Каждый блок Bitcoin может содержать до 4 миллионов OPCodes (команд) во всех транзакциях, а один скрипт Bitcoin может содержать до 1000 элементов стека (входных данных). Более того, статическое выполнение означает, что каждый скрипт выполняется без учета предыдущего состояния или промежуточных вычислений ранних транзакций, что делает сложные вычисления непрактичными.
Реализация BitVM из работы 2023 года Робина Лина из исследовательской компании Bitcoin ZeroSync позволила создавать сложные смарт-контракты на Bitcoin, но требовала доказательства мошенничества. Доказательства мошенничества — это криптографические подтверждения, которые доказывают, что конкретная транзакция или вычисление были выполнены неправильно, что может повлечь за собой устранение последствий.
“Новая система также более эффективна с точки зрения вычислений по сравнению с предыдущими реализациями, но все же остается дорогой.”
Технология хеширования
Хеш — это необратимая математическая функция, которая может быть запущена на произвольных данных и производит строку фиксированной длины. Необратимая означает, что невозможно выполнить вычисление в обратном порядке, чтобы восстановить оригинальные данные из хеша. Эта система, напоминающая Bitcoin Mining, требует значительно меньше операций с хешами по сравнению с BitVM, снижая как размер скрипта, так и время обработки.
Исследователи ColliderVM утверждают, что им удалось уменьшить число этих операций еще больше, как минимум в 10,000 раз.
Доверенные сайдчейны на базе Bitcoin?
Bitcoin по праву считается наиболее безопасной и надежной блокчейн-технологией, однако его критики указывают на недостатки в функционале, который существенно ограничен по сравнению с многими альткоинами. Существуют сайдчейны, такие как Liquid от Blockstream, но они не являются доверенными.
“Мы также должны признать, что, конечно, сегодня существуют сетки Lightning, которые обладают безопасностью Bitcoin.”
Директор по исследованиям в блокчейн-компании Blockstream и математик Эндрю Пойлстра заявил Cointelegraph в 2020 году, что системы, основанные на ZK-доказательствах, являются «одним из самых захватывающих направлений развития» в области криптографии. Авторы исследования включают Эли Бен-Сассона, соучредителя StarkWare, а также исследователей Лиора Голдберга и Бена Фиша. Бен-Сассон является одним из оригинальных разработчиков STARKs и активно выступает за использование доказательств с нулевым разглашением для улучшения масштабируемости блокчейнов.
Заключение
Хотя текущее решение ColliderVM потребует минимального доверия, пользователи все равно должны будут доверять тому, что хотя бы минимальная часть участников сети будет действовать честно, чтобы обеспечить корректную работу системы.
