Разработчик SideChain Starkware и Weizmann Institute Institute исследователей науки утверждают, что создали обходной путь для нескольких ограничений сценария Биткоин.
Согласно недавнему исследовательскому документу, новый дизайн утверждает, что позволяет развернуть сложные интеллектуальные контракты на биткоин более капитальным образом. Новая система также может быть значительно более эффективной с точки зрения вычислений.
Collidervm-это протокол, предназначенный для обеспечения вычислений в области Биткоин, позволяющих безопасно выполнять многоступенчатые процессы в течение нескольких транзакций. Традиционно выходные данные скрещивания биткоина недоступны для других сценариев, что делает сложные расчеты практически невозможными.
Исследователи утверждают, что Collidervm может позволить использовать масштабируемые прозрачные аргументы знаний (Starks)-тип доказательств с нулевым знанием-на биткоин, не требуя изменений на уровне консенсуса в сети. Архитектура позволила бы биткоину проверить сложные вычисления в туфли с минимальными данными Onchain.
Collidervm нацелен на ограничения Биткоин
Каждый блок Биткоин может содержать до 4 миллионов опкодов (команд) во всех транзакциях, а один сценарий Биткоин может содержать до 1000 элементов стека (записи данных). Кроме того, выполнение без состояния означает, что каждый скрипт выполняется без памяти о предыдущем состоянии или промежуточных вычислениях из более ранних транзакций, что делает сложные вычисления нецелесообразными.
Реализация BITVM из статьи 2023 года Робина Линуса из исследовательской фирмы Bitcoin Zerosync позволила заключить сложные интеллектуальные контракты на биткоин, но требует доказательств мошенничества. Доказательства мошенничества – это криптографические доказательства, которые доказывают, что конкретная транзакция или вычисления были выполнены неправильно, возможно, вызывая корректирующие действия.
Внедрение мошенничества обычно требует от операторов передового капитала для потенциальных корректирующих действий. В Bitvm операторы платят аванс, чтобы покрыть потенциально мошеннические транзакции, восстанавливая капитал после закрытия мошеннического окна.
Новая система также более эффективна с вычислительной точки зрения, по сравнению с предыдущими реализациями, но все же дорогой. В предыдущих реализациях использовались криптографические одноразовые подписи (Lamport и Winternitz), которые были особенно тяжелыми вычислительно.
Collidervm рисует из статьи ColliderScript Paper в ноябре 2024 года исследователями из Starkware, фирмы веб -сервисов CloudFlare и разработчика Bitcoin SideChain Blockstream. Эта система опирается на хэш-основанное на столкновении задачу для создания входа, который при выполнении функции хэш создает выход с заранее определенными функциями.
Связанный: Руководство для начинающих по обновлению Биткоин Taproot
Эта настройка требует значительно меньше вычислительных ресурсов от честных операторов, чем от вредоносных участников.
Хэш, но нет еды или сорняки
Хэш-это необратимая математическая функция, которую можно запускать на произвольных данных, создавая буквенно-цифровую строку с фиксированной длиной. Необратимый означает, что невозможно запустить вычисление в обратном направлении, чтобы получить исходные данные из хэша.
Это приводит к своего рода идентификатору данных, идентифицирующий данные в бит, не содержащий каких -либо основных данных.
Эта система – несколько напоминающая майнинг Биткоин (BTC) – требует значительно меньше операций хэша по сравнению с BITVM, уменьшая размер сценария и время обработки. Исследователи Collidervm утверждают, что еще больше сократили количество этих операций, по крайней мере, на 10 000 человек.
Исследователи, по-видимому, предполагают, что эта реализация почти делает практическую биткоин на основе Starks. В документе гласит:
«Мы оцениваем, что длина сценария Биткоин для резкой проверки доказательств становится практически практичной, что позволяет использовать его вместе с другими системами доказательств, основанных на спарке, распространенных сегодня в приложениях».
Starks-это система, защищенная от ZK, признанную за их масштабируемость и доверие (не требуется доверенной установки). ZK-защиты-это криптографическая система, которая позволяет пользователям доказывать определенную функцию части данных, не выявляя основных данных.
Многие ранние системы, защищенные от ZK, потребовали единовременную безопасную настройку, которая опиралась на данные «токсичные отходы». Если бы сторона должна была удержать токсичные отходы, это позволило бы им создавать подписи и генерировать мошеннические доказательства. Старкс не полагаются на такую настройку, что делает их достоверными.
Традиционная реализация Stark Verifiers потребует сценариев, которые превышают пределы Биткоина. Теперь исследователи, стоящие за Collidervm, утверждают, что их более эффективные системы подходов создают скрипт проверки Onchain для Stark Roobs «почти практичным».
Связанный: Bitcoin Sidechines будет стимулировать рост BTCFI
Биткоинские достоверные гонщики?
Биткоин широко считается наиболее безопасным и надежным блокчейном, но его критики поднимают проблемы, так как его набор функций значительно более ограничен по сравнению со многими альткойнами. Существуют боковые холки, такие как жидкость Blockstream, но не достоверные.
Директор по исследованиям в фирме Blockchain Blockstream и математику Эндрю Поэльстра сообщили Cointelegraph еще в 2020 году, что системы, защищенные от ZK, являются «одной из самых захватывающих областей развития» в пространстве криптовалюты. Cypherpunk, разработчик, цитируемый в белой бумаге Bitcoin White Paper и Blockstream, объяснил в статье 2014 года, что потребовалось больше работы для реализации достоверных боковых ходов на основе ZK на биткоин.
Тем не менее, даже через 10 лет система, основанная на Collidervm, была бы манимизирована, а не достоверная. Это связано с тем, что пользователям все еще нужно доверять, что, по крайней мере, минимальное подмножество участников сети будет действовать честно, чтобы обеспечить правильное функционирование системы.
Ведущие авторы исследования включают Эли Бен-Сассон, соучредитель Starkware, а также исследователи Лиор Голдберг и Бен Фиш. Бен-Сассон является одним из оригинальных разработчиков Starks и давно выступает за использование доказательств нулевого знания для улучшения масштабируемости блокчейна.
В недавнем интервью с Cointelegraph соучредитель Starkware Бен-Сассон отметил, что реальное решение Bitcoin Layer-2 должно будет иметь «безопасность самого биткоина». Вместо этого текущие решения полагаются на доверие к подписавшим или экономическим стимулам, защищенным от мошенничества. Тем не менее, он узнал сеть Lightning:
«Мы должны также признать, что сегодня есть сети Lightning, которые обеспечивают безопасность Биткоин».
