jakiro
Yonaは、ビットコイン上のSVMを搭載したレイヤー2（ロールアップ）です。
Yonaは、BitcoinのCrypto Economicsのセキュリティを継承している間、豊富なプログラム可能性とビットコインとその資産の前例のない実行拡大を認識しています。
これを達成するために、YonaはビットコインのBTCとYonaのBTCの間に信頼できない双方向PEGを実装し、一方的に退出することができます。これをヨナネイティブフックと呼びます。
Yonaの主な設計機能は、従来のジョイントTSS-MPCブリッジから双方向フックの仕様に移行することを目的としていることです。これは、暗号化された証明とビットコインのコンセンサスに完全に依存するメカニズムです。言い換えれば、双方向の規範的なフックは、外部コンセンサスに依存しません。
L2仕様フックの機能
ロールアップは、入力（堆積物）と出口（撤退）を提供する必要があります。
ビットコインとドル資産の可用性と検閲抵抗を確保するためには、一方的な預金と撤退が重要です。
堆積物の実装は単純ですが（SPVで証明されています）、正しい一方的な出口には、ビットコインに対するその有効性の直接的なデモが必要です。
Ethereumの既存の暗号経済インフラストラクチャに徐々に構築するより実用的なアプローチを提案し、それを受け入れる最もコアのビットコインによって最もサポートされるために、可能な限り多くのビットコインセキュリティを徐々に統合することを目指しています。
ビットコイン（BTC）仕様フック
<図>
私たちのBTCネイティブフックは、EigenlayerとBITVMを組み合わせた暗号経済セキュリティを搭載しています。
BITVMは、ビットコインのオフチェーン実行の検証を可能にし、誰でも詐欺の証拠を作成し、証拠を罰することができます。BITVMは、Yona仕様フックの暗号化セキュリティソースです。
Eigenlayerは、イーサリアムステーキングキャピタルベースと分散化されたバリデーターセットへのアクセスを提供します。Eigenlayerは、Yona仕様リンクの経済的安全保障の源です。
Yona PEGオペレーターは、フックの通常モード動作を支援するエンティティ（つまり、BTCの堆積/抽出）です。PEGオペレーターは、2つの役割を実行する必要があります。
BITVMリチャージ/引き出し契約カウンターパーティ（通常のモード操作用）
AVSオペレーター（片側出口用）
Yona PEGオペレーターは、BITVM契約によって保護されておらず、AVSのステーキング資産よりも桁違いに低い堆積ビットコインにアクセスできないことを強調する必要があります。
複数のリンクオペレーターがありますが、そのうちの少なくとも1つは正直でなければなりませんが、すべてのオペレーターが正直ではない場合でも、預金を盗むことができず、最悪の場合はそれらを燃やすだけです。
ユーザーがBTCをSidechainに預けると、PEGオペレーターとの撤退BITVM契約を確立します。契約が確立された後、ユーザーはUTXOをBITVMアドレスに直接送信します。いつでも、このUTXOは校正者に属していないことに注意してください。
ユーザー（おそらく異なるユーザー）がYonaからの有効な撤退の証明を提供する場合、彼らは再び撤退契約を使用します（YonaにBTCを預けない場合、オペレーターとの新しい契約）。
サービスの拒否またはレビューが発生した場合、PEGオペレーターはBITVM契約を作成することができないか、または不本意になります。これは、Eigenlayerの経済的安全が発生する場所です。一方では、オペレーターは堆積したビットコインを盗むことができないため、離脱サービスの提供を拒否する利点はありません。しかし、これは明らかに十分ではありません。したがって、Eignelayer Cutsを使用して、撤退を拒否する主要な欠点を導入します。
何らかの理由でPEGオペレーターが撤退契約の作成を拒否した場合、ユーザーはリクエストでビットコイントランザクションを提出し、撤退契約が作成されていないことを固有層契約に証明できます。これにより、オペレーターの利点が削減されます。
同様に、一方的な撤退の場合、撤退者はヨナからの有効な撤退の証拠を提供する場合があります。PEGオペレーターは、完成した引き出し要求の証明を提供するために、nブロックまでのところを持っています。証明が提供されていない場合、オペレーターは固有層に削減され、ユーザーはBITVM契約から直接お金を引き出すことができます。
ダブルフックのメタアグリーメント仕様、信頼のない片側出口
もう1つの主要な革新は、Yonaが完全に信頼できない、純粋な暗号化のないノルマに留まりたビットコインモノプロトコルを実装できることであり、経済的安全に依存していないことです。
メタプロトコル（BRC-20など）は、ビットコインを使用してデータを記録し、オフチェーンインデクサーを使用してメタプロトコルトランザクションを独立して検証します。これにより、メタプロトコルの高速プログラム可能な層として効率的で信頼のないロールアップを構築できます。
ロールアップとサイドチェーンの主な違いは、ロールアップにより信頼せずに一方的な出口を可能にすることです。ユーザーは、サードパーティが参加する必要なくビットコイントランザクション（ロールアップ操作、バリッジ、橋など）を実行することにより、BRC-20をロールアップから抽出できます。
次に、BRC-20ユースケースに焦点を当てます。
フックメカニズムは次のとおりです。
ロールアップを入力するには、ユーザーはビットコインL1でBRC-20を「破壊」し、ロールアップのスマートコントラクト（ビットコインZKライトクライアントを介して）の破壊を証明し、L2に同じ碑文を鋳造する必要があります。データが含まれていない「OP_RETURN」スクリプトに「転送」トランザクションを送信することにより、L1で破壊を達成できます。
概要を終了するには、ユーザーはL2でBRC-20を「燃やす」必要があり、有効な引き出しのZKプルーフを使用してビットコインL1で「ミント」する必要があります。
ZKからの有効な出口の証明は次のとおりです。
L2離脱トランザクションとロールアップステータスツリーのマークルルートへの入力へのコミットメント
RollupのZKVMは計算を正しく実行し、結果のBRC20バランスは引き出し額以上です
総供給不変違反はありません（つまり、BRC20 = BTC供給 + L2供給 +撤回する量の総供給）
ビットコインのスクリプトには必要なオペコードがないため、ビットコインネットワーク自体はゼロ知識証明を検証できません。ただし、インデクサーは検証を実行できるため、これは必要ありません。BRC-20は、BRC-20バランスを再構築するためにオフチェーンのインデクサーに依存しており、あなたがする必要がある唯一のことは、インデクサーでの離脱トランザクションの出口検証の証明をサポートすることです。
L2が利用できない場合、DA層のハートビートの証拠は一定時間（5日間）、ユーザーがビットコイントランザクションを送信することで一方的な引き出しを可能にすることができます。 L2離脱トランザクション。
L2が引き出しのレビューを開始した場合、ユーザーはBitcoinトランザクションを引き出しリクエストで送信することで引き出しを開始できます。L2連鎖演算子は、引き出しを行い、証明を提出するのに24時間あります。これが発生しない場合、ユーザーは次の証明を送信できます。
ビットコイントランザクションを通じて一方的な撤退を要求します
L2片側撤退は時間内に処理されませんでした
撤回するBRC20の有効な未解決の残高があります
この証明を確認することにより、オフチェーンBRC20インデクサーは、L2離脱トランザクションをチェックせずに所有権を返します。
したがって、ヨナは、完全に信頼できないビットコインドル資産を提供した最初のL2です。
