KZG承诺

本文探讨了在以太坊Fusaka分叉后，如何通过改进列的传播来提高blob吞吐量。文章提出了几种基于纠删码（如RS和RLNC）和cell为中心的gossip协议，以优化列的传播效率。不同的方案在编码方式和gossip验证机制上有所差异，旨在实现更高效的网络传输和数据重建，同时考虑了计算成本、带宽效率和安全性。

本文对承诺方案进行了深入探讨，特别是多项式承诺方案中的KZG承诺。在介绍之前的基础上，文章详细描述了如何构建一个承诺多项式的过程，包括信任设置、承诺生成、评估以及验证。使用公开参数和配对技术，能够在不知道秘密多项式的情况下进行验证，确保所提交计算是正确的。同时，文中提到这一承诺方案在零知识证明中的应用潜力。文章尽量简化复杂概念，使读者能更好理解这些高级密码学内容。

本文探讨了多项式交互式oracle证明（PIOPs）的概念及其在隐私保护计算中的潜力，描述了如何通过多项式编码实现数据的隐私验证。文章解释了PIOPs的工作原理、关键特性以及与zkSNARKs等其他验证系统的比较，强调了其在加密协议中的重要性和应用前景。

EIP-4844 (Proto-Danksharding) 通过引入 blob 交易，显著降低以太坊上 rollup 的数据可用性成本，允许大数据量以更低价发布，并将执行层和共识层分离，以优化数据存储和处理。此外，通过自适应的 blob gas 价格机制和 KZG 承诺，EIP-4844 不仅提升了数据处理能力，也为未来的扩展打下基础。

本文详细探讨了DAS（数据可得性抽样）在以太坊Danksharding中的实现方法，首先介绍了相关的基础知识与背景，接着讲解了使用糾刪碼（Reed-Solomon Codes）增加区块数据可靠性的原理，以及如何利用承诺机制（KZG承诺）验证数据的完整性。最后，文章讨论了在p2p网络中进行数据共享与抽样的挑战，包括对隐私与安全性的考量。

本文提出了动态Blob大小调整方案，旨在解决EIP-4844下小规模Rollup在数据吞吐量低时面临的成本-延迟权衡问题。该方案允许用户仅为其使用的实际空间付费，无需等待积累足够的数据，从而优化成本控制和延迟。

本文提出了一种使用镜像mempool抽样和mempool空间分配（通过mempool tickets）来限制分片mempool的方法，旨在解决以太坊中blob交易的mempool管理问题。

本文解释了在EIP-4844 blob聚合过程中，rollup提交的原始数据的KZG承诺保持有效的原因。文章通过代码示例演示了如何使用 alloys crate 对rollup数据进行blob编码、计算KZG承诺、聚合数据、解聚合数据，并验证原始数据的KZG承诺在聚合前后保持不变，证明只要数据可以无损恢复，blob聚合就不会影响其KZG承诺的有效性。

Constantine是一个高性能密码学库，专注于区块链协议和零知识证明系统。它提供常数时间实现的密码学原语，支持多种椭圆曲线和协议，包括以太坊BLS签名、KZG承诺等，并提供Nim、C、Rust、Go等多种语言的接口。该库旨在提供快速、紧凑和强化的椭圆曲线密码学解决方案。

Ingonyama发布了ZaKi，一种新的、垂直集成的ZK托管服务，它基于ICICLE，并对硬件进行了优化配置，以运行加速的ZK工作负载，旨在提供卓越的性价比。ZaKi通过提供一个已经为ZK计算优化的托管环境，消除了硬件设置和配置的障碍，使团队能够专注于他们的ZK应用。

本文介绍了以太坊中KZG承诺和证明的目的和作用，特别是在peerDAS和EIP-4844背景下如何使用它们来验证数据列的完整性。文章解释了在节点接收数据列时，如何利用KZG承诺和证明来确保每个单元格确实属于承诺的blob，并对比了KZG承诺和传统的Merkle证明，突出了KZG在存储和效率上的优势，阐述了在以太坊数据可用性采样(DAS)中扮演的关键角色。

本文深入探讨了以太坊的Proto-Danksharding (EIP-4844)，重点介绍了blobs的概念及其在以太坊rollup中的应用，分析了blobs的特性，包括成本效益、大小限制和生命周期，讨论了blob费用机制，以及增加blob数量以提高layer2扩展性的挑战，最后引入了分片和数据可用性抽样(DAS)的概念，以应对这些挑战。

本文介绍了基于零知识证明（ZK）和多方计算（MPC）实现的一种新的游戏机制，该机制支持 PvP、隐藏信息和确定性状态。文章重点介绍了 Oblivious KZG，一种基于双向、可验证、承诺的茫然传输（biVOT）的新结构，并讨论了其在游戏中的应用，例如暗森林（Dark Forest）这类需要隐藏信息和玩家间互动的游戏。

本文介绍了在 Grandine 客户端中改进 PeerDAS (Peer Data Availability Sampling) 的项目，旨在解决以太坊 L2 Rollup 数据可用性瓶颈问题。

本文档探讨了EIP4844中BlobsSidecar和BeaconBlockBody之间的规范依赖关系，以及由于它们之间的松散耦合而导致的实现复杂性。着重分析了信标链处理、P2P网络处理和分叉选择处理中遇到的问题，特别是当sidecar在block之前接收到时的情况，并提出了进一步的考虑。