哈希

哈希算法是区块链成功的必要条件

在以太坊上使用的随机数来源主要有链上和链下两种途径，其中链上生成核心要解决随机数生成种子的不可预测性。

本文介绍密码学承诺的含义及性质，并对哈希承诺做了说明，关于hash函数的内在机制实际是比较复杂的，我们以黑盒的角度来学习了解它的性质，在区块链&密码学中，哈希函数占据了基础且重要的位置。 比如区块链中常用的sha256,keccak等哈希算法。

本文介绍了Lasso和Jolt的创新，它们能显著提升SNARK的性能，并更易于构建和审核。结合D&P的Binius方案，这些发展改变了我们对SNARK设计的基本理解，提出了新的思路以优化电路求解和多项式承诺方案，从而提高加密运算的效率，特别是在哈希函数应用中。

Ethrex 团队通过系统性的性能分析、针对性改进和架构变更，实现了区块执行吞吐量 20 倍的提升。关键优化策略包括 EVM 核心优化（如新的内存模型、opcode 查找表、inline 常用 opcodes）、通用哈希优化（如替换为 fxhash）、数据存储和状态树优化（如延迟哈希计算、并发 trie 更新），以及执行流水线优化（如 execution-based prewarming）。

本文介绍了使用 Wake 框架测试 EIP-712 类型字符串的技巧，通过 `encode_eip712_type` 和 `encode_eip712_data` 方法，开发者可以精确地检查类型字符串和预签名数据，确保与 Solidity 合约中的哈希计算方式一致，从而避免因类型定义错误导致的签名验证问题，并提供了一些预防签名错误的技巧。

消息认证码(MAC)是一种带密钥的哈希，用于验证信息的完整性和发送者身份。它通过密钥生成算法、签名算法和验证算法来实现。MAC与哈希类似，但MAC需要密钥参与生成和验证，因此能验证发送者身份。MAC与数字签名类似，但MAC使用对称加密，发送方和接收方共享同一密钥，而数字签名使用非对称加密。

本文介绍了 Merkle Tree 的概念及其在完整性校验中的应用。首先解释了哈希函数和哈希列表的概念，然后引出 Merkle Tree 作为一种改进的哈希列表，通过树形结构提供更高的灵活性和效率，尤其是在点对点网络中的大数据校验方面。Merkle Tree 通过将数据分块并逐层哈希，最终生成一个根哈希，用于验证数据的完整性，并允许对部分数据进行独立校验。

传统的Web架构是中心化的 client/server 模式，存在性能瓶颈和数据所有权不清晰的问题。P2P Web 架构旨在解决这些问题，通过分布式存储和点对点传输，实现更高效的数据访问和用户对自身数据的完全控制。在P2P网络中，用户可以真正拥有自己的数据，实现数据自主权和隐私保护。

近期研究推翻了hash-based SNARKs的邻近差距猜想，该猜想用于设置参数。文章解释了这一结果对当前部署的SNARKs的影响，指出某些原本假定的安全参数实际上并不安全，需要调整参数以保证安全性，这可能会导致证明大小和验证时间的增加。

近期研究推翻了邻近间隙猜想，该猜想曾用于设置基于哈希的SNARKs参数。文章解释了这一结果对当前部署的SNARKs的影响，指出虽然某些假定的参数不再安全，但仍存在大量未知参数。调整SNARKs以实现已验证的安全性将使proof size和验证时间增加2倍，而调整为新的推测安全性仅增加2-3%。

本文档介绍了二叉 Merkle 树的结构、构造和使用方法，它通过递归哈希数据块列表来生成一个根哈希，用于快速验证数据列表中某个数据的存在性，和数据列表是否相等。文档详细描述了叶子节点的顺序、层级顺序、规范构造算法，以及如何通过比较根哈希来检查两个 Merkle 树的相等性。

本文介绍了区块链的基本概念，它是一个由包含数据的区块组成的链，每个区块都包含前一个区块的哈希值。文章通过示例解释了区块链的工作原理，以及如果有人试图更改区块链中的数据会发生什么，强调了更改数据会导致哈希值改变，并通过矿工选择最长链的机制来维护数据一致性。

本文介绍了二叉Merkle树的结构、算法和安全性。Merkle树通过递归哈希数据块列表来生成唯一的根哈希，用于高效地进行数据一致性验证和成员资格证明。文章详细描述了叶子节点的顺序、层级顺序和规范构建方法，并提供了测试向量。

HP发布了首款量子安全的打印机，使用了基于哈希的数字签名方法，如LMS和W-OTS。LMS使用Winternitz一次性签名方案，并利用Merkle树来验证私钥。文章还提供了使用Bouncy Castle库在C#中实现LMS的示例代码，并展示了不同参数设置下的密钥和签名长度。