智能合约

这篇文章讨论了Cardano与Polkadot和Substrate的合作，强调了这一整合如何促成区块链的互操作性。通过介绍Cardano结算层（CASL）和PartnerChains框架，文章探讨了如何通过这种合作推动智能合约和去中心化应用的发展，使得不同区块链之间的界限模糊化，推动Web3的未来。

Starknet Alpha 2 发布了多个新特性，包括支持智能合约之间的可组合性，以及新的本地测试框架。该版本还进行了多项性能改进，如引入梅克尔-帕特里夏树和高效的位操作内置功能。此外，Starknet 生态系统正在不断增长，OpenZeppelin 和 Nethermind 团队参与了标准合约和 EVM 到 Cairo 的编译器开发，预计将推动更多应用的开发。

这篇文章介绍了如何将 Lido 的 stETH 和 wstETH 代币集成到去中心化应用程序 (dApps) 中，重点讨论了在货币市场、去中心化交易所 (DEXes) 和区块链桥的应用。文章详细描述了 Lido 的工作原理、代币的特点、集成步骤、优势与风险，以及如何提升用户体验和构建创新的 DeFi 策略。

这篇文章深入讲解了以太坊的状态 trie，详细介绍了不同类型的 trie 数据结构，包括 Merkle Patricia Trie、世界状态 trie、交易 trie、收据 trie 和账户存储 trie。文章以清晰的结构和逻辑逐步展现了各类 trie 的原理和应用，旨在帮助读者加深对以太坊区块链的理解。

本文介绍了一种新的代币发行机制，即可变速率GDA（VRGDA），通过调整价格来控制代币的发行速度，使其接近自定义的时间表。当销售进度超前于时间表时提高价格，而当销售进度落后于时间表时降低价格，是对GDA机制的推广。文中给出了机制的概述和Solidity实现，以及几个示例时间表。

本文介绍了 Application Subscriptions 的概念，它允许用户授权第三方代表他们执行操作，并展示了如何使用 Porto SDK 通过智能合约强制执行的策略将操作委托给服务器，以确保安全性。文章还通过一个Live Demo，演示了如何创建账户，将账户访问权限委托给服务器，并安排定期在链上执行的交易。

本文介绍了Solana Pay的工作原理和实现方案，提供了详细的参数解析和通过Next.js构建Solana Pay QR码的步骤。通过简单的URL来进行SOL或SPL Token的转账，该方法提升了支付的流畅性和用户体验，并附有完整的代码示例和图示，适合开发者参考和学习。

该提案介绍了odyssey_sendTransaction RPC方法，允许消费者将交易执行推迟给Sequencer（在通过有效性检查后）。此方法主要用于：1. 委托智能合约给EOA的EIP-7702交易；2. 在委托的EOA上执行调用的EIP-1559交易。提案详细阐述了方法参数、返回值、用例以及Sequencer的有效性检查机制。

本文讨论了在Solidity智能合约中优化Gas消耗的方法，尤其是如何使用uint256代替布尔值，以减少不必要的SLOAD操作，进而节省Gas成本。文章通过示例展示了优化前后的Gas消耗差异，并提及相关工具与资源以帮助读者进一步了解气体优化策略。

TAIAOS 是一个基于以太坊区块链的数字艺术项目，通过独特的拍卖机制让艺术作品始终在售，并促进艺术家的持续经济支持。该项目提出了一系列有关数字艺术产权、艺术家与收藏者关系以及艺术市场运作的新问题，同时强调了哈伯杰税在艺术品资助中的重要性。

本文讨论了Compound治理提案11，提出对COMP分配方式的修订以应对流动性挖矿带来的问题。新提案将COMP的分配由市场的利息支付改为市场的借贷总价值，旨在降低风险并优化治理。同时，还引入了对智能合约调用限制的修改。文章分析了实施细节及其可能的影响，并预测利率在各市场之间趋于平衡。

Solang 是一个为 Solana 设计的 Solidity 编译器，旨在帮助以太坊开发者更容易地迁移到 Solana 平台。它允许使用 Solidity 语言开发智能合约，从而降低学习曲线，减少开发时间。文章详细介绍了编译器的工作原理、Solang 的优势、对 Solana 程序的影响以及如何入手使用 Solang。

Delphi Labs 提出了Cybernetic Organization (BORG)框架，旨在通过使用智能合约和AI等技术来增强传统法律实体的治理和活动。BORG 分为技术增强型公司和DAO相邻实体，通过法律、技术和经济机制相结合，解决DAO面临的身份危机和法律风险，同时促进技术增强型法律实体的创新。

本文作者分享了使用 Certora Verification Language (CVL) 进行智能合约形式化验证的经验，通过将模糊测试中的不变量思想应用于 CVL，解决了之前在模糊测试中发现的真实漏洞的简化版本。文章详细对比了模糊测试与形式化验证的异同，并展示了使用 Certora 解决各种漏洞的实例，强调了 Certora 在漏洞检测方面的有效性和简洁性。

本文介绍了以太坊智能合约的基本概念、工作原理及部署方法，详细说明了如何使用 Remix IDE 编写、编译和部署智能合约，并提供了一个简单的示例代码。