确定性

本文深入探讨了Cosmos SDK开发中常见的安全问题，包括无限循环、Map的非确定性、AnteHandler的误用、以及存储键冲突等，并提供了实际案例和可操作的建议，旨在帮助开发者构建更安全的基于Cosmos的项目。文章强调了在Cosmos开发中需要开发者对安全问题有充分的认识，并详细介绍了开发者容易忽略的各种安全漏洞，以及相应的防范措施。

本文探讨了 Solana 生态中自营 AMM（Prop AMM）的现状与挑战。重点分析了由于 Solana 验证节点调度器缺乏确定性，导致做市商在处理交易排序和应对毒性流时面临的不确定性。文章提出通过 Jito 的 BAM 协调层等基础设施建设，为交易执行提供预测性，从而收窄价差并优化链上价格发现机制。

本文深入探讨了比特币全节点模糊测试工具Fuzzamoto在处理非确定性方面的挑战与解决方案。

Provenance Blockchain团队在Cosmos SDK升级后发现测试网存在奇怪行为，节点从旧数据快照或创世区块初始化时无法同步，出现应用哈希不匹配错误。经调查发现是`authz.MsgGrant`中的`time.Now()`调用导致验证时的非确定性问题，可能导致验证器网络暂停。该团队已与Cosmos SDK团队沟通，并修复了此问题。

Monad 通过并行处理来解决以太坊的 EVM 吞吐量限制。它通过分析交易的输入和预测状态访问，识别不冲突的操作，并在不牺牲确定性的前提下并行运行它们。Monad 的并行执行模型通过构建依赖关系图来增强事务吞吐量，该图识别可以同时处理的事务，从而有效利用资源并最大限度地提高处理效率和可扩展性。

本文深入探讨了Cosmos appchain生态系统中面临的各种安全挑战，包括ABCI方法中的确定性执行问题、IBC互操作性的模块化风险，以及资源计量和性能风险。此外，还讨论了IBC完整性、Cosmos模块的误用以及Cosmos特定的开发注意事项，并介绍了Spearbit如何为Cosmos appchain提供安全支持。文章强调，在Cosmos中，安全是生命周期挑战，需要持续验证。

本文探讨了在Solana区块链上构建去中心化借贷协议SolVault时，使用浮点数计算清算惩罚所面临的确定性问题。由于浮点数在不同硬件架构上可能产生不同的结果，违反了区块链的确定性原则。文章提出使用泰勒级数近似法作为替代方案，以实现安全、确定且性能高效的清算惩罚计算，从而保障协议的偿付能力和安全性。

Arc Blockchain是一个新的Layer 1区块链，专为稳定币而设计，使用USDC作为gas，具有确定的费用和亚秒级的最终性。其架构优先考虑确定性而非吞吐量，目标是为实时支付、金融应用和面向用户的Web3体验提供所需的可靠性。Arc目前处于公共测试网阶段，主网预计于2026年推出。

本文讨论了LLM在代码生成方面的应用，指出了LLM与传统编译器的根本区别在于LLM的非确定性，这可能导致代码中出现难以察觉的语义错误。文章通过实际案例分析，强调了LLM在处理复杂、遗留代码库时的局限性，并提出了未来发展方向，包括形式化验证框架、更好的上下文编码方法以及更全面的测试框架，以确保LLM生成的代码在语义上的正确性。

RISC Zero正与Veridise合作，使用Picus工具对zkVM的组件进行形式化验证，以提升ZK安全性。通过数学方法证明电路的确定性，从而消除约束不足的错误，已成功验证Keccak加速器电路的确定性，并正在验证RISC-V电路。此举旨在创建一个既快速又安全zkVM，使开发者无需在性能和安全性之间妥协。

本文介绍了确定性和非确定性密钥交换的概念，以及如何在 ECDH 密钥交换方法中使用 libsodium.js 实现这两种方式。确定性密钥交换使用已知的种子值生成密钥，每次都得到相同的结果，而非确定性密钥交换则随机生成密钥，每次结果都不同。文章通过代码示例展示了这两种方法的实现，并提供了在线演示。

Veridise 与 Succinct 合作，使用 Veridise 的工具 Picus 来验证 Succinct 的 RISC-V zkVM，SP1 电路的确定性。通过将 Plonky3 电路转换为 LLZK，成功验证了多个 SP1 电路的确定性。同时，也发现了 Plonky3 到 LLZK 转换管道的局限性，并提出了改进方向，未来计划扩展 Picus 以验证 SP1 中的所有电路。

本文提出了一种针对非单签名钱包账户的简单备份方案，旨在解决描述符丢失带来的资金损失风险。该方案通过结合公钥和哈希函数生成对称密钥，并使用AES-GCM算法加密描述符和钱包条款，从而实现确定性、加密的电子备份，并允许授权的参与者能够解密备份。