Fraud Proofs & Validity Proofs

Fraud Proofs

Fraud Proofs introduce a so-called Dispute Time Delay (DTD), once a proof is submitted in the L2, the validator has time in order to mark the proof as invalid; an invalid proof could have incorrect state transitions and thus result in penalizing the validator(s) involved; a rollback of the state to the latest valid snapshot will follow.

Example:

咱一帮人往sever加入large prime number，作为其中的一员

相信别人新加入的数字是prime number【有信任的】

对于一个新人，run prime number test, make sure it is same as our database【系统之间是不信任的，问题是新加入的人算力更强我们就很亏】

我们尝试下，让别人帮我们证明，可以对话和指控

咱让其他的peers给我们发送证明，证明我们数据库中的某个数字不是prime number 的话

这样不用每个prime number 都跑一遍test. 如果在超过了一定时间没收到fraud-proof那这个就是prime

至少一个peer在check 发现问题就可以在整个网络announce

证明快

可以惩罚欺诈的人

Instead of validating all the rules of the system, others can demonstrate that the current system state is wrong.

Light-nodes vs. Full-nodes

When a new block appears, we process its transactions and define the new current state. The nodes that do this work are called full-nodes

If a node runs on an Android device, it has limited resources, such as computing power, storage, and bandwidth. These nodes are named light-nodes since they only download block headers instead of all the data associated with it.

中本聪在白皮书中提出了两种 “确认钱已到账” 的方法：

【正向做法（传统）】运行软件，等待实现完全同步。

【反向做法（实验性）】首先，运行一个 “轻客户端”——只会策略性地对某些简单部分进行同步；然后注意是否出现 “alert（警告）”。

第一种方法就是所谓的 “全节点”，依靠的是 positive proof（正向证明）—— 你理应看到 X，一旦你看到 X ，就知道自己已经收到钱了

第二种方法称为“ SPV 模式” ，依靠的是 negative proof（反向证明）—— 你本不应看到 Y，一旦你看到 Y，就知道自己没有收到钱。这里的 Y 就是白皮书中提到的 “alert（警示）”，这也就是 —— “诈欺证明（fraud proof）”。

反向证明机制

我们不会试图 100% 杜绝凶案发生，而是在凶案发生后尽全力抓捕犯人(通过庭审定罪，给予犯人应得的惩罚)

我们在造成后果之后，采取选择惩罚对方

你可以吃掉盒子中的每一颗巧克力，证实每一块巧克力都很好吃，这就是 “正向证明”。

或者你可以顺着以下思路进行反向证明：这盒巧克力是被包装好了的，看起来没有被动过手脚；再加上这盒巧克力有品牌背书，我国又严格执行品牌法/商标法；已经有很多人买过这个牌子的巧克力，如果质量有问题，我只要随手搜一下就能看到相关新闻/差评（实际上我查了之后，并没有发现任何负面消息）。

另一个采用反向证明的例子是退款承诺。假设你要买辆车（一件不确定质量好坏的商品，就像是新创建出但还未被验证的比特币区块），现在有三款车子（分别为“Car A”、“Car B”、“Car C”），目前你对 Car C 最感兴趣。

若想获得正向证明，你就要把 Car C 开上个数千英里，随行配有一支庞大的机械工程师团队一路检查这辆汽车每个零部件，并汇报问题给你。

如果是反向证明的话：假设 Car A 和 Car B 都提供一个具有法律效力的声明 “里程数不到 40000 英里的车子发生故障，即可退款”；但是 Car C 没有这种承诺，那就反向证明了 Car C 的质量不行。

要实现比特币上的 Fraud Proof，我们需要一样东西——在区块合法的情况下出现；在区块不合法的情况下绝不出现（或者反过来也行）。

在博弈论中，这被称为 “信号博弈（signaling game）”（或更确切地说是 “筛选博弈(screening game)”）中的 “分离均衡(separating equilibrium)”。其中，Fraud Proof 的发送者分为 “诚实” 和 “不诚实” 两类，我们正试图通过低成本的手段淘选掉不诚实的那一类。

Validity Proofs

Mathematical proofs that utilize zero-knowledge (ZK) cryptography in order to ensure the validity of a transaction.

Want to print your doc?
This is not the way.

Try clicking the ⋯ next to your doc name or using a keyboard shortcut (

CtrlP

) instead.