智能合约

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

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

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

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

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

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

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

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

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

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

这篇文章详细介绍了如何在Stacks区块链上创建和部署Clarity智能合约，提供了从环境配置到代码编写及测试的完整指导。包括Clarinet工具的使用说明以及Hiro Web Wallet的设置，适合有一定基础的开发者学习掌握与Stacks生态相关的智能合约开发技能。

这篇文章介绍了基于NFT的订阅模型（EIP-5643），其允许用户通过持有特定NFT来获取服务和奖励。文章详细讨论了这种订阅的优势，如何设置本地环境以及开发自己的NFT订阅智能合约的步骤，涵盖了代码实现及部署的具体细节。

Movement Labs 正在构建一个基于 Move 编程语言的模块化区块链框架，旨在解决区块链行业的可扩展性、安全性和互操作性挑战。

本文详细分析了比特币的两个提案，OP_CAT（BIP 347）和OP_CTV（BIP 119），这两个提案旨在提升比特币交易的可编程性。文章探讨了比特币脚本语言的限制，以及如何通过这两个新操作码来改善比特币的智能合约能力，并推动信任桥接和安全仓库等新用途的发展。

本指南详细介绍了如何在Stacks区块链上创建和部署符合SIP-009标准的NFT合约，包括设置开发环境、编写合约代码和在Stacks Testnet上进行部署及铸造NFT的过程。通过该过程，读者将掌握NFT的基本实现和测试技巧，以及使用Stacks Explorer Sandbox进行操作的步骤。