面向所有人 / 它如何运作
信任模型
只描述机制而不谈信任模型，那是营销。本页陈述 Pickle 的用户所依赖的是什么，并点明这条链在能够自称更多之前需要具备的三项属性。
用户所依赖的是什么
一台由一个团队运行的计算机决定链上发生什么，以及按什么顺序发生。只要它诚实并且开着机， 一切正常。如果它出了问题，它可以把自己的操作排在前面、把你的操作漏掉，或者干脆停下来， 而网络上没有任何东西能阻止它。它做不到的是在不被发现的情况下对过去撒谎：每个区块的副本 都会送到以太坊，任何人都能重放并看出差别。被发现不等于被阻止，也没有任何东西会自动对此 采取行动。
用户依赖的是运营者的诚实，加上核对它所需的数据是公开的这一事实。一个排序器为每笔交易 排序，它可以重排或审查。不存在来自以太坊的强制包含路径。没有欺诈证明或有效性证明；正确 性通过重新执行核对，任何副本节点发现已发布数据与已提交区块哈希之间存在分歧即停机，但链 上没有任何东西仲裁这一分歧。让这一切有意义的是数据：重建这条链所需的一切都在以太坊上， 或从以太坊得到提交。
单个排序器掌握排序和活性；它的密钥保存在一个链上注册表中，可以轮换，自下一个区块起生效。 L1 上不存在强制包含队列。正确性就是重新执行：副本节点从收件箱合约事件和载荷推导，哈希 不匹配对副本节点是终止性的，且链上不予仲裁。一个被后续区块所矛盾的带签名迷你区块将是 证据，设计记录了这份证据；但尚未据此行动。批处理密钥与信使密钥彼此不同，在启动时强制 检查，而信使无法伪造或重放，因为消息标识符派生自原始事件，并在最终确定后被记录。
排序、活性、正确性、数据、跨链桥
| 属性 | 谁或什么 |
|---|---|
| 排序 | 一个排序器它可以重排，也可以审查。不存在来自以太坊的强制包含路径 |
| 活性 | 排序器的活性若它停止，迷你区块随之停止，链不再执行新交易；副本节点继续提供已推导的历史 |
| 正确性 | 通过重新执行核对没有欺诈证明或有效性证明。副本节点检测到分歧即停机；链上没有任何东西仲裁它 |
| 数据 | 在以太坊上，或从以太坊得到提交重建这条链所需的一切都是公开的 |
| 跨链桥 | 一把受信任的信使密钥它既不能伪造也不能重放消息，但它可以拖延 |
- 排序。一个排序器为每笔交易排序。它可以重排，也可以审查。不存在一条强制包含 路径，能让被排序器拒绝的交易从以太坊被包含进来。
- 活性。若排序器停止，迷你区块随之停止，链不再执行新交易。副本节点继续提供 已推导的历史。排序器密钥保存在一个链上注册表中，可以轮换，自下一个区块起生效。
- 正确性。没有欺诈证明或有效性证明。正确性通过重新执行核对：任何副本节点都 能检测到已发布数据与已提交区块哈希之间的分歧，并在检测到时停机。链上没有任何东西仲裁这样 的分歧。一个被后续区块所矛盾的带签名迷你区块将是证据，设计记录了这份证据；但尚未据此行动。
- 数据。重建这条链所需的一切都在以太坊上，或从以太坊得到提交。正是这一属性 让前一点有了意义。
- 跨链桥。跨链桥的信使是一把受信任的密钥。它既不能伪造也不能重放消息，因为 标识符派生自原始事件并在最终确定后被记录，但它可以拖延。批处理密钥与信使密钥彼此不同， 在启动时强制检查。
密钥
- 排序器密钥为迷你区块签名，是运营者的身份。它存放在一个链上注册表中，轮换时 有一个区块的预告期。
- 批处理密钥是以太坊收件箱合约唯一接受追加的地址。被攻破的批处理器可以停止 发布，从而使结算停滞，但无法伪造一份副本节点会接受的载荷：哈希对不上。
- 信使密钥在两个方向上最终确定跨链桥转移。它可以拖延；它无法编造合约从未 发出的消息，也无法重放已经处理过的消息。
去中心化需要什么条件
Pickle 不用去中心化这个词来描述自己
在它能够这样自称之前必须成立的具体属性是这些：排序器的冗余与轮换，使单个运营者的活性不 等于链的活性；一条来自以太坊的强制包含路径，使任何单个运营者都无法审查；以及一条挑战或 证明路径，使副本节点检测到的分歧得到仲裁，而不只是被报告。
在三者全部成立之前，用户依赖的是运营者的诚实，加上核对它所需的公开数据。治理页面列出了这套设计确实具备的攻击抵抗力，及其限度。