智能合约

本文档介绍了 OpenZeppelin Contracts 库中与 ERC721 非同质化代币标准相关的接口、合约和实用程序。

文章详细介绍了智能合约ABI（应用二进制接口）的概念、组成元素及其在以太坊虚拟机（EVM）中的应用，还提供了生成ABI的步骤和代码示例。

本文探讨了图灵完备治理的概念，即利用图灵完备区块链的智能合约实现可组合、可编程的治理。文章分析了传统DAO的局限性，提出了超越传统模式的治理方法，并构想了未来基于DAO的社区治理场景。文章还强调了在DAO设计中平衡复杂性与实用性的重要性，旨在探索更有效、更符合价值观的人类组织方式。

StarkNet Planets Alpha在测试网发布，标志着向无许可ZK-Rollup迈出的第一步。开发者可以在StarkNet上自由部署智能合约，而该平台将支持通用计算和状态验证。尽管Alpha版本缺少某些关键功能（如L1与L2交互及合约间可组合性），但未来将逐步推出这些功能，最终目标是实现Ethereum主网的可扩展L2 dApps开发。

本文介绍了一种智能合约的设计模式——事实注册合约（Fact Registry Contract），该模式通过独立的合约来验证和记录声名的有效性。文章详细讨论了何时使用注册合约及其优缺点，特别是在高验证成本和利用简洁证明系统实现规模经济时的优势。作者强调了批量验证的方法如何降低气体成本，从而为不同合约提供经济规模效益。

本文介绍了如何使用 Ruby 语言获取以太坊事件日志，详细讲解了如何创建和部署智能合约，并使用 eth.rb gem 来连接以太坊网络并获取日志数据。

本文介绍了MixBytes团队推出的Soul Bound Token (SBT)，这种独特的不可转让代币用于验证审计师资格并追踪其在MixBytes Camp审计竞赛平台上的表现。SBT不仅是审计师的身份象征，还提供公开的可验证记录，提升了审计行业的透明度和信任度。

EasyCoin.AI 是一个基于 Solana 区块链的去中心化金融（DeFi）交易平台，它利用 AI 和智能合约来简化和保护加密货币交易。

本文介绍了Zama的FHE State OS，这是一个基于区块链的IT基础设施，旨在通过全同态加密保护公民隐私，同时管理税收、公共支出等政府职能。文章还讨论了使用FHE构建的几个应用案例，包括：加密的ERC-20 token，使用加密投票的DAO，以及去中心化身份系统。

Zama发布了fhEVM Coprocessor，这是一种允许开发者在任何EVM链上构建保密智能合约的工具，无需更改底层协议。它通过符号执行和阈值解密技术，实现了在加密数据上运行智能合约，同时保证了高性能和可扩展性，并提供了使用Solidity进行开发的简易性。

Zama 发布了 fhEVM v0.4 版本，引入了新的加密类型（ebool、euint4、euint64、eaddress）和异步解密API，通过 oracle 实现解密请求和回调，提升性能和效率。同时发布了fhEVM标准合约库 fhevm-contracts，包含ERC20和DAO等基础合约，简化开发流程。

本文讨论了以太坊智能合约与Solana程序之间的关键区别，特别是在代码与数据的耦合与解耦方面，并介绍了Solana程序中常见的两种安全漏洞。这些问题的存在使得Solana程序在性能与安全性之间面临挑战，同时提供了相关的解决建议和资源。

fhEVM v0.6 版本引入了扩展类型支持、具有证明能力的更强大的输入机制以及增强的 fhEVM 部署可配置性。其中最令人兴奋的创新是 fhEVM Coprocessor，开发者现在可以在任何 EVM 链上构建机密智能合约，目前已在 Sepolia 测试网上启动。此外，还提供了一些链接，可以帮助大家更好地了解 fhEVM Github存储库、fhEVM 文档等。

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

本文讨论了Curve Finance的crvUSD稳定币在审计过程中发现的两处关键安全漏洞。首先是一个任意调用漏洞，它允许攻击者在未经授权的情况下从AMM中提取资金；其次是捐赠攻击，攻击者可以通过特定操作在不同价格范围内盗取用户资金。文中详细分析了这些漏洞的原理以及Curve团队如何进行了修复，并强调了进行外部审计的重要性。