智能合约

本文讨论了Gains Network的一个分叉存在的两个严重漏洞，这些漏洞可能导致用户从流动性池中丢失资金。文章详细介绍了Gains的工作原理，以及如何利用这些漏洞进行高达900%的交易利润，最后提及了相关的补救措施和修复方案。

本文介绍了如何在Polygon链上使用Truffle创建和部署工厂ERC-1155智能合约，具体包含创建Solar System NFT系列的过程。文章详细阐述了ERC-1155标准、工厂模式、Polygon链的优势及Truffle的使用，并提供了完整的代码示例与配置步骤，使读者能够自行进行合约部署和NFT铸造。

本文详细介绍了如何使用Noir和Next.js构建一个基础的零知识（zk）DApp，展示了如何验证两个数字的和，而不透露实际数字。文章提供了清晰的步骤指导，包括代码片段、依赖安装、合约部署和前端验证，适合希望学习zk-DApp开发的读者。

本文主要介绍了如何在Polygon的zkEVM测试网上创建和部署一个游戏相关的智能合约，包括开发环境的设置、合约的代码实现及如何与部署的合约进行交互。文章步步详细，适合希望学习智能合约部署的开发者。

本文深入探讨了不变性（invariants）在智能合约安全中的重要性，特别是如何在ERC4626金库中定义不变性。作者详细阐述了不变性定义的过程，并介绍了四种属性类型，帮助开发者理解如何构建安全的智能合约。文章结构清晰，包含丰富的示例和图示，适合有一定基础的开发者阅读。

本文详细介绍了如何在Solidity中实现和测试智能合约的不变性，通过定义有效状态、状态转移和变量转移等属性，并使用Echidna、Medusa和Foundry等工具进行模糊测试。文章分为明确的部分，讲解了不变性质的代码实现过程，并提供了丰富的示例和解释，适合对Solidity和智能合约分析有一定了解的开发者阅读。

本文为初学者提供了创建和部署Hello World智能合约的详细教程，涵盖了所需工具、初始化项目、编写合约、配置和部署合约等步骤，帮助读者了解如何在Ropsten测试网上进行智能合约的交互与部署。

本文探讨了在Solidity智能合约中缺失或不当输入验证所可能导致的安全漏洞，强调了适当输入验证的重要性，以及如何通过编写安全代码来降低风险。文章详细介绍了编译时和运行时的输入验证，影响与案例分析，提供最佳实践指导，帮助开发者提高智能合约的安全性。

创建一门新的合约语言，如：Solidity 有什么样的优缺点，相对于使用一门现有的其他语言如： Golang 或 Python？

本文介绍了如何构建一个以太坊智能合约，用于质押以太币以赚取利息。文章详细讲解了合约的设计、编码、部署及测试，包括创建项目、编写合约的关键功能、在私有测试网进行部署和审核交易。最后，用户还可以邀请朋友共同参与测试，协助提升智能合约的功能和性能。

Solidity是一种高阶编程语言，用于在以太坊和许多EVM兼容区块链上编写智能合约。本文深入探讨了Solidity的背景、工作原理以及其关键特性、应用和开发工具，旨在帮助开发者掌握Solidity编程技能，并指出学习资源以支持他们的学习。

解构 Solidity 合约 3：函数包装器

Catapulta是一个强大的智能合约部署工具，可以简化和优化智能合约的部署过程。通过Catapulta，用户可以在多个网络上无缝部署合约，并自动生成详细的部署报告，跟踪费用和增强团队合作。本指南提供了使用Catapulta进行部署的详细步骤和说明。

本文详尽介绍了智能合约的模糊测试和不变性测试，强调了它们在确保区块链系统安全性方面的重要性。通过使用Foundry框架，文章探讨了如何定义不变性、不同类型的模糊测试以及其相对于传统单元测试的优势，并推荐了几种最佳的模糊测试工具。

完成一个简单的智能合约demo