区块浏览器看见赎回，$BTC 为何还不能释放
Ethereum交易已广播、被打包、生成receipt，甚至能查到redemption event，只能证明某个execution block包含了这条记录。对当前公开测试网中的TBV而言，这仍不足以释放BTC，因为还要证明该区块属于Ethereum最终采用的历史。
用户还清债务并withdraw Vault，或清算流程把Vault交给后续赎回角色，都会触发redemption event。链下SP1 prover按固定顺序构造证明：Beacon finality先确认beacon block已被共识层finalize；Execution finality再把该finalized beacon block与包含赎回交易的execution block连接起来；Receipt inclusion最后确认目标redemption log存在于该区块的transaction receipt。Groth16只把前三层证明压缩聚合成紧凑proof，并不赋予区块最终性。
这组分层改变了我的判断：我不再把“浏览器已经看见交易”当作跨链赎回事实已经成立，而会检查两件事能否同时证明——事件确实被包含，承载它的execution block也已被finalized beacon chain承认。前者回答“发生过什么”，后者回答“它是否成为Ethereum最终状态”。少了后一层，Bitcoin Payout就可能建立在尚未稳定的外部历史上。
完成finality与inclusion证明后，claimer才把压缩proof带入Bitcoin侧Claim、Assert和challenge window。Ethereum finality确认的是外部事件属于哪段最终历史；Bitcoin挑战期检查的是提交到Bitcoin侧的proof能否成立。二者不是同一段等待，也不能互相替代，只有proof未被有效推翻，Payout才进入执行。
边界也要留清：finalized redemption event证明该log已进入Ethereum最终状态，不等于上游合约、预言机或清算判断一定经济正确；Ethereum共识出现深层故障，也可能让验证停滞或出错。@BabylonLabs_io 把门槛设在“最终历史中的事件”，而不是“浏览器可见的事件”，正是因为Bitcoin释放后不会因外部链后续变化自动撤销。$ETH
$BABY
#baby
Ethereum交易已广播、被打包、生成receipt，甚至能查到redemption event，只能证明某个execution block包含了这条记录。对当前公开测试网中的TBV而言，这仍不足以释放BTC，因为还要证明该区块属于Ethereum最终采用的历史。
用户还清债务并withdraw Vault，或清算流程把Vault交给后续赎回角色，都会触发redemption event。链下SP1 prover按固定顺序构造证明：Beacon finality先确认beacon block已被共识层finalize；Execution finality再把该finalized beacon block与包含赎回交易的execution block连接起来；Receipt inclusion最后确认目标redemption log存在于该区块的transaction receipt。Groth16只把前三层证明压缩聚合成紧凑proof，并不赋予区块最终性。
这组分层改变了我的判断：我不再把“浏览器已经看见交易”当作跨链赎回事实已经成立，而会检查两件事能否同时证明——事件确实被包含，承载它的execution block也已被finalized beacon chain承认。前者回答“发生过什么”，后者回答“它是否成为Ethereum最终状态”。少了后一层，Bitcoin Payout就可能建立在尚未稳定的外部历史上。
完成finality与inclusion证明后，claimer才把压缩proof带入Bitcoin侧Claim、Assert和challenge window。Ethereum finality确认的是外部事件属于哪段最终历史；Bitcoin挑战期检查的是提交到Bitcoin侧的proof能否成立。二者不是同一段等待，也不能互相替代，只有proof未被有效推翻，Payout才进入执行。
边界也要留清：finalized redemption event证明该log已进入Ethereum最终状态，不等于上游合约、预言机或清算判断一定经济正确；Ethereum共识出现深层故障，也可能让验证停滞或出错。@BabylonLabs_io 把门槛设在“最终历史中的事件”，而不是“浏览器可见的事件”，正是因为Bitcoin释放后不会因外部链后续变化自动撤销。$ETH
$BABY
#baby