ERC721

创建自己的NFT .

非同质化代币标准，如何实现及其未来的发展

NFT新手教程： 如何编写和部署NFT

什么是ERC-721？现在我们看到的各种加密猫猫狗狗都是基于ERC-721创造出来的，每只都是一个独一无二的ERC-721代币，不过ERC-721在区块链世界远不止猫猫狗狗，它更大的想象空间在于将物理世界的资产映射到区块链上。本文就来剖析下什么是ERC721.

创建一个基于链上实时数据的动态SVG [NFT](https://learnblockchain.cn/article/3010)

通过将资产保存到IPFS，并将IPFS哈希值与资产的NFT关联起来，我们可以将资产的可验证所有权扩展到验证标的资产本身的有效性。

通过本文了解： 什么是ERC-721？ ERC-721如何实现？ 如何使用？

如何将 ERC2612 的 Permit 方式应用到 ERC721 NFT 上。

NFT新手教程：如何铸造一个NFT（第2部分)

NFT 新手教程：如何在钱包中查看NFT（第3部分）

本文深入探讨了各种Token标准，包括ERC-20、ERC-721、ERC-1155等，分析了它们的架构、安全风险和漏洞，比较了智能合约Token标准与协议原生Token实现，并针对跨链Token标准提出了独特的安全动态，最后，文章为开发者和审计人员提供了有关Token标准实现的最佳实践及安全建议。

本文介绍了如何在以太坊上创建和部署一个荷兰拍卖的智能合约。首先，文中详细解释了荷兰拍卖的概念，然后展示了必要的准备工作，包括QuickNode账户、MetaMask钱包和ERC721合约的知识。接下来，描述了具体的代码实现和部署步骤，最后展示了如何进行拍卖，并总结了整个过程。

本文概述了EIP-721标准，该标准定义了NFT合约，是ERC20的一个变体，但代币是非同质化的。同时探讨了ERC721代币与Uniswap V3流动性仓位的相似之处，并介绍了ERC721中的`tokenURI`函数，该函数用于链接存储在区块链之外的NFT代币元数据，以及链上存储JSON元数据和SVG图像的方法。

本文详细介绍了如何使用Certora Prover对ERC-721代币的`transferFrom()`、`approve()`、`setApprovalForAll()`以及`balanceOf(0)`等核心功能进行形式化验证。文章通过具体的Certora验证语言（CVL）代码示例，深入解析了每个规则的前置条件、状态记录、方法调用以及活性、效果和无副作用断言，旨在确保代币操作的正确性和安全性。

本文深入探讨了使用Certora Prover对ERC-721代币中的_safeMint()和safeTransferFrom()功能进行形式化验证。文章详细解释了如何通过模拟合约和CVL（Certora验证语言）的辅助函数来处理外部回调，以确保验证的完整性，并阐述了活性、效果和无副作用断言。