这是一个持续策划的列表,将添加或删除条目以反映与当前研究状态最相关的文章。
无国籍客户和证人
- 无状态客户端概念: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
翻译来自:谷歌