Що робить доказательство peg-out у BitVM2 дійсно надійним? Відповідь глибше, ніж здається на перший погляд.

У своїй суті, перевірка peg-out є такою ж надійною, як і канонічний стан, до якого вона прив'язана. Тут починаються складнощі: якщо оператор, що контролює протокол, отримує можливість визначати публічні входи під час розв'язання спору, він фактично отримує здатність створювати дійсні докази з повітря.

Це виявляє критичну вразливість у архітектурі доказів стану. Цілісність усього системи залежить від одного фундаментального обмеження — оператор не може односторонньо маніпулювати вхідними параметрами. Як тільки ця межа руйнується, руйнується й гарантія, що будь-який доказ дійсно відображає легітимний стан у мережі.

Розуміння цієї залежності стає критичним для тих, хто створює або аудитує рішення другого рівня для Bitcoin. Йдеться не лише про наявність механізму доказу; важливо забезпечити, щоб вхідні дані механізму залишалися справді незалежними від акторів, які прагнуть їх використати.