合约

本文提出了一项激进的想法，即用 RISC-V 替代 EVM 作为智能合约的虚拟机语言，旨在提高以太坊执行层的效率和简洁性，解决主要扩展瓶颈。现有的EVM合约和新的RISC-V合约可以互相兼容，开发者仍然可以使用Solidity和Vyper编写智能合约。

本文介绍了如何在PolkaVM上使用Hardhat进行智能合约的开发和测试。文章详细说明了如何创建本地环境、设置本地节点、准备编译器（RESOLC）、配置Hardhat，以及如何编译和在本地PolkaVM节点上进行测试。文章提供了详尽的步骤和代码示例，指导读者完成整个流程。

该文档是OpenZeppelin对Moonsong-Labs/zksync-social-login-circuit代码仓库进行的安全审计报告，主要内容是利用零知识证明验证Google账户所有权的Circom电路，用于智能账户恢复，审计发现了一些完整性和非确定性问题，并提出了改进代码质量的建议。

本文分析了审计竞赛平台常见的营销误导策略，包括虚报提交指标、参与人数、排他性承诺、顾问审计师参与、社交媒体互动、匿名评价以及个体审计对比。文章建议在选择审计竞赛平台时，关注透明度、沟通和有效指标，并提出了一系列问题，帮助读者识别并避免这些误导，从而选择真正能提高代码安全性的平台。

Alloy v1.0 发布，这是一个用 Rust 编写的以太坊开发工具包，旨在提供高性能、稳定性和良好的开发者体验。Alloy 包含了直观的合约交互方式、快速的原语类型、简化的 RPC 提供者以及更好的多重调用支持，为构建高性能以太坊应用提供支持。

Trim 是一种面向 EVM 的、基于操作码的编程语言，它提供了一种更可读的方式来编写高度优化的代码，而不会引入额外的复杂性。它具有 S 表达式、字符串、标签、宏等特性，可以更方便地编写智能合约。文章介绍了 Trim 的基本使用、语法、特性和宏，并展示了如何使用 Trim 编写智能合约。

本文介绍了如何使用 safe-utils 和 tenderly-utils 这两个 Foundry 模块来简化协议的治理流程，尤其是在涉及 Safe 多签账户的场景下。

本文总结了Udemy上“高级Solidity：理解并优化Gas成本”课程的内容，涵盖了费用机制、calldata与memory的差异、变量压缩以及编译器优化等关键方面。

本文介绍了Certora如何利用形式化验证来保护Uniswap v4免受恶意hook的攻击。通过Certora Prover工具，可以精确定义和证明正确性规则，从而确保智能合约的强大安全性。文章还展示了如何使用CVL编写规则，并利用Certora Prover进行验证，以检测通用hook的不当行为，从而保证资金处理的正确性。

本文介绍了以太坊虚拟机（EVM）及其核心组件，包括虚拟机、智能合约、操作码和 Gas。EVM 是以太坊网络的核心，它允许开发者创建智能合约，实现各种应用，如代币生成和交易。文章还探讨了 EVM 的使用案例，例如 ERC-20 和 ERC-721 代币，以及去中心化交易所。

本文探讨了形式验证(FV)在智能合约安全中的重要性，强调了其在测量和提升代码安全性方面的优势。通过衍生测试和覆盖率度量等方法，形式验证提高了对潜在漏洞的识别能力，并通过社区竞赛的形式加速代码审核过程，从而在较短时间内达成高安全性目标。

本文探讨了完全链上游戏（FOCG）/ 自主世界（AW）的概念，分析了将 FOCG 视为游戏和世界构建的不同视角，并讨论了 FOCG 的优势、挑战以及未来的发展方向。文章还提出了关于链上治理、激励机制和可持续商业模式等关键问题的思考，并对 FOCG 作为真实世界测试平台的潜力进行了展望。

本文详细介绍了如何使用Wormhole协议在Avalanche Fuji和Ethereum Sepolia测试网之间构建跨链消息传递应用，并提供了具体的代码实现和部署步骤。

本文详细介绍了如何使用OpenZeppelin标准创建和部署ERC-721（NFT）代币，包括NFT的基本概念、ERC-721标准的功能和事件、NFT的应用场景，以及通过IPFS存储NFT元数据和图像的具体步骤。

本文深入探讨了互动 Rollup 协议，尤其是挑战期的优化问题。文章分析了较长和较短挑战期的优缺点，并推导出最优挑战期的数学公式，旨在在链的总运营成本最低的情况下平衡安全性与用户体验。