合约

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

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

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

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

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

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

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不仅是审计师的身份象征，还提供公开的可验证记录，提升了审计行业的透明度和信任度。

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

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

本文深入探讨了Solana智能合约的安全性为何优于以太坊，主要原因在于Solana的编程模型将代码与数据分离，以及其执行模型设计了一系列执行限制来消除各种攻击。文章详细说明了如何通过账户准备和执行监控来检测潜在的攻击，并强调Solana在日志记录方面的优势，从而提供更全面的安全防护。

这篇文章探讨了在区块链协议部署后如何进行有效的监控，以提高安全性。通过对过往攻击的分析，作者提出了一些检测恶意交易的策略，并介绍了sec3 WatchTower监控服务，旨在帮助开发者在智能合约部署后保持安全，降低被攻击的风险。

Morpho Blue 是一个去中心化的借贷平台，它允许用户创建自己的借贷市场，具有更少的治理要求和更高的灵活性。文章详细介绍了 Morph Blue 的高层设计、治理结构、市场创建流程，以及其实现的核心技术细节。通过灵活的参数设置和安全的代码设计，Morpho Blue 为去中心化金融（DeFi）开发者提供了一个既简单又可靠的框架。