以太坊分片研究纲要-区块链开发网

这是一个持续策划的列表，将添加或删除条目以反映与当前研究状态最相关的文章。

无国籍客户和证人

无状态客户端概念：https://ethresear.ch/t/the-stateless-client-concept/172
高效的 Merkle 证明和广义的 SSZ 轻客户端证明：https://github.com/ethereum/eth2.0-specs/blob/dev/specs/light_client/merkle_proofs.md
批处理和多状态根的效率提升：https://ethresear.ch/t/detailed-analysis-of-stateless-client-witness-size-and-gains-from-batching-and-multi-state-roots/ 862/9和https://ethresear.ch/t/multi-tries-vs-partial-statelessness/391
状态最小化执行：https://ethresear.ch/t/state-minimised-executions/748
状态最小化合约的加密经济累加器：https://ethresear.ch/t/a-cryptoeconomic-accumulator-for-state-minimised-contracts/385
使用多项式承诺替换状态根：https://ethresear.ch/t/using-polynomial-commitments-to-replace-state-roots/7095

跨分片通信

合并块和同步跨分片状态执行：https://ethresear.ch/t/merge-blocks-and-synchronous-cross-shard-state-execution/1240
跨分片锁定：https://ethresear.ch/t/cross-shard-locking-scheme-1/1269和https://ethresear.ch/t/cross-shard-locking-resolving-deadlock/1275和https://ethresear.ch/t/sharded-byzantine-atomic-commit/1285
跨分片 yanking：https://ethresear.ch/t/cross-shard-contract-yanking/1450
一个简单的同步跨分片交易协议：https://ethresear.ch/t/simple-synchronous-cross-shard-transaction-protocol/3097
跨分片收据和休眠/唤醒防双花：https://ethresear.ch/t/cross-shard-receipt-and-hibernation-waking-anti-double-spending/4748
通过乐观条件状态对象在慢速交叉分片之上的快速交叉分片：https://ethresear.ch/t/a-layer-2-computing-model-using-optimistic-state-roots/4481和https://ethresear.ch/t/fast-cross-shard-transfers-via-optimistic-receipt-roots/5337

基本信息和规格

分片常见问题解答：https://github.com/ethereum/wiki/wiki/Sharding-FAQ
信标链 Casper FFG 迷你规格：https://ethresear.ch/t/beacon-chain-casper-ffg-rpj-mini-spec/2760
信标链完整规范：https://github.com/ethereum/eth2.0-specs/tree/master/specs/core
分片思维导图：https://www.mindomo.com/zh/mindmap/sharding-d7cf8b6dee714d01a77388cb5d9d2a01
Eth2 路线图：https://pbs.twimg.com/media/ETaj8ruWAAM1AdG?format=jpg
设计原理：https://notes.ethereum.org/9l707paQQEeI-GPzVK02lA

权益证明理论

股权证明常见问题解答：https://github.com/ethereum/wiki/wiki/Proof-of-Stake-FAQ
Casper FFG 论文：https://arxiv.org/abs/1710.09437
基于证明委员会的完整 PoS 链：https://ethresear.ch/t/attestation-committee-based-full-pos-chains/2259

Casper FFG/GHOST/信标链模拟

主文件夹：https://github.com/ethereum/research/tree/master/clock_disparity
- 节点：lmd_node.py
- 测试脚本：lmd_test.py

卡斯帕CBC

CBC Casper 教程：https://vitalik.ca/general/2018/12/05/cbc_casper.html
Casper CBC，简化！：https://medium.com/@aditya.asgaonkar/casper-cbc-simplified-2370922f9aa6
信标链友好型 CBC Casper：https://ethresear.ch/t/beacon-chain-friendly-cbc-casper/4710/2
按位 LMD GHOST：https://ethresear.ch/t/bitwise-lmd-ghost/4749/5
LMD GHOST 实现：https://ethresear.ch/t/comparing-lmd-ghost-implementations/4945/3

外部链接

通用 ZKP 方案信息：https://zkp.science/

各种各样的

轻客户端

信标链轻客户端同步：https://notes.ethereum.org/Irbhsn63R0W6o-r0K9mBOA
Casper FFG 轻客户端同步：https://github.com/ethereum/eth2.0-specs/blob/dev/specs/light_client/sync_protocol.md

存储维护费/租金

计算租金的简单而有原则的方法：https://ethresear.ch/t/a-simple-and-principled-way-to-compute-rent-fees/1455
通过睡眠/唤醒机制改善用户体验：https://ethresear.ch/t/improving-the-ux-of-rent-with-a-sleeping-waking-mechanism/1480
演员/资产模型：https://ethresear.ch/t/ethereum-2-0-data-model-actors-and-assets/4117
合同的常见类别以及它们将如何处理持续的存储维护费用：https://ethresear.ch/t/common-classes-of-contracts-and-how-they-would-handle-ongoing-storage-maintenance-fees-租金/4441

监护证明

可用性陷阱：https://ethresear.ch/t/proposer-withholding-and-collation-availability-traps/1294
基于哈希的托管证明：https://ethresear.ch/t/extending-skin-in-the-game-of-notarization-with-proofs-of-custody/1639 和 https://ethresear.ch/t/bitwise-xor-custody-scheme/5139
1 位聚合友好型托管债券：https://ethresear.ch/t/1-bit-aggregation-friendly-custody-bonds/2236
当前方案：https://github.com/ethereum/eth2.0-specs/blob/dev/specs/core/1_custody-game.md

数据可用性证明

通过纠删码进行欺诈证明和数据可用性证明：https://arxiv.org/abs/1809.09044
https://vitalik.ca/general/2019/09/22/plonk.html 中的多项式承诺部分（多项式承诺可用于提交 N 条数据，然后在 2N 或更多位置打开；任何 N 个开口可以重建相同的原始数据）
FRI 作为纠删码欺诈证明：https://ethresear.ch/t/fri-as-erasure-code-fraud-proof/6610
编码默克尔树：https://arxiv.org/abs/1910.01247

随机性

30%分片攻击：https://ethresear.ch/t/30-sharding-attack/1340
不可操作熵的（不切实际的）想法：https://ethresear.ch/t/an-impractical-idea-for-unmanipulable-entropy/1355
RNG 可利用性分析（RANDAO）：https://ethresear.ch/t/rng-exploitability-analysis-sumption-pure-randao-based-main-chain/1825
RANDAO 可利用性分析，第 2 轮：https://ethresear.ch/t/randao-beacon-exploitability-analysis-round-2/1980
低影响函数（Iddo Bentov）：https://arxiv.org/pdf/1406.5694.pdf
交换或不洗牌：https://github.com/ethereum/eth2.0-specs/issues/563

时间戳

对时间戳的激励担忧：https://ethresear.ch/t/highlighting-a-problem-stability-of-the-equilibrium-of-minimum-timestamp-enforcement/2257
网络调整时间戳：https://ethresear.ch/t/network-adjusted-timestamps/4187

数据结构

优化稀疏 Merkle 树：https://ethresear.ch/t/optimizing-sparse-merkle-trees/3751
稀疏默克尔树的实现：https://github.com/ethereum/research/tree/master/trie_research/bintrie2
双批次 Merkle 日志累加器：https://ethresear.ch/t/double-batched-merkle-log-accumulator/571

杂项杂项

作弊、弱点和攻击： http://notes.ethereum.org/MwNgJgpgHFbAtAQwKwQvALNA7PW2p4AzAYwCYAjARgrGxIE4jgg=
数据健忘：https://ethresear.ch/t/sharding-and-data-forgetfulness/61
贿赂模型中的安全性：https://ethresear.ch/t/shard-security-in-the-bribing-model/1366
更好的 Merkle 树：https://ethresear.ch/t/data-availability-proof-friendly-state-tree-transitions/1453/6
BLS 和 STARK 聚合签名：https://ethresear.ch/t/pragmatic-signature-aggregation-with-bls/2105
限速进入/退出而不是取款：https://ethresear.ch/t/rate-limiting-entry-exits-not-withdrawals/4942/

英文原文：https://notes.ethereum.org/@serenity/H1PGqDhpm?type=view
翻译来自：谷歌