分享百科

欺诈证明

[论文] BitVM：在比特币上计算任何东西

BitVM 是一种计算范式，用于表达图灵完备的比特币合约。这不需要对比特币网络的共识规则进行任何更改。与在比特币上执行计算不同，它们仅仅是被验证，类似于乐观 Rollups。证明者声明某个给定的函数对某些特定的输入求值得到了特定的输出。 使用这种机制，任何可计算的函数都可以在比特币上进行验证。
BitVM  欺诈证明  比特币 

Op Rollup 欺诈证明战争

介绍欺诈证明系统及其变体， 欺诈证明如何在安全性、及时性和去中心化之间的权衡， 如果我们有 ZK，欺诈证明是否还有意义。
OP Rollup  欺诈证明  Arbitrum  Optimism  Cartesi 

DA与欺诈证明：Plasma不支持智能合约的原因

DA与欺诈证明：Plasma不支持智能合约的原因 Plasma 基本只能支持UTXO
Plasma  UTXO  欺诈证明  DA 

真正理解 Layer2

本文我们介绍主要介绍了rollups这种主流layer2技术，rollups中根据何时去验证L2提交的状态是正确的时机分为了欺诈证明和zk rollups 。

Layer2  Rollup  欺诈证明  Optimistic  零知识证明 
登链社区