ハードフォークがなければ、ビットコインはzkRollupの状態遷移をネイティブに検証できません。L1は署名、タイムロック、ハッシュロック、Taprootを提供しており、一般的な検証器ではありません。 BitVMはその制約の下で最も一般的な回避策です。 🧵👇