## 核心开发者 - 执行层（ACDE） * ACDE #187 [视频会议](https://www.youtube.com/watch?v=yYfzpSme7Cg&t=155s)。[Tim Beiko](https://twitter.com/TimBeiko/status/1788621887884439869) 的总结， [Christine Kim](https://www.galaxy.com/insights/research/ethereum-all-core-developers-execu...
## 1，摘要 从 [加密猫游戏](https://www.cryptokitties.co/) 开始，非同质化资产NFT的概念深入人心。不过现在社区中讲概念的多，真正落地发布自己ERC721资产的文章没有看到。辉哥这篇文章就来弥补下这个空缺。 本文的内容包括： ...
**在** 互联网上创建和部署你自己的 tokens 太容易了。区块链和智能合约使之成为可能。是的，你没听错。你可以在互联网上部署你自己的 tokens。而且不需要像比特币或以太坊那样创建一个全新的区块链。 这些 tokens 仅仅是一...
# 形式化验证与测试 形式化验证——使用数学方法“检查”一个程序或智能合约在任意输入下的过程——通常被视为编写高质量、更安全代码的传统测试更简明、全面的替代方案。但实际上，形式化验证是一个开放式和互动的...
## 1，摘要 前面2课讲解了如何部署ERC721非同质化资产，并作为海洋商店发布在OpenSea测试网络。 本文以野狼队的队员TOKEN为例，讲解如何配置图形/文字特有的ERC721非同质化资产。 通过本文学习，你可以了解： （1）如何安装p...
 2015年，以太坊带着一个愿景启动：成为“世界计算机”——一个去中心化的平台，任何人都可以部署代码，而无需任何一方控制。 在这个愿景中，诞生了加密生态系统中...
 高级 Foundry 作弊码系列：第 6 部分 - 使用 Forge 进行高级模糊测试 认为你的测试覆盖了极端情况？Forge 的模糊测试证明你是错的。一个参数 = 数百个随机输...
 Runes 与 Ordinals一样，为比特币网络带来了全新的可能性。相比 BRC-20，它提供了更为高效的代币化解决方案。与一些协议的多层次性质不同，Runes 设计优雅...
## Tenderly Virtual TestNets：下一代 Web3 开发基础设施 Virtual TestNets 是下一代 Web3 基础设施，旨在取代公共测试网。了解 Virtual TestNets 如何将实时的主网数据引入 dapp 开发，适应任何独特的团队工作流程，并使 Web3 团队能够从开发快...
## 介绍 前一篇文章探讨了区块链技术如何通过 NFT 确保真实性、来源和安全所有权，从而彻底改变葡萄酒行业。我们详细介绍了我们在 Arbitrum 上构建葡萄酒厂解决方案的历程，其中每瓶葡萄酒都表示为具有透明交易历史记录的 ...
 ## 如何定义不变性 > 如何实际定义可以拯救你免受漏洞的“不变性” ## **引言** 不变性可以在你的智能合约部署之前发现关键漏洞，避免它们在...
2023年6月6日，OP Mainnet 升级到了 Bedrock。 这并非易事，需要来自 Collective 的社区成员的贡献。 Bedrock 的成功迁移标志着 Optimism 的一个新时代的开始，在这个时代中，我们可以加速我们在[技术去中心化](https://blog.oplabs.co/progressing-t...
## POS（共识层） * POS 实施者[视频会议](https://www.youtube.com/watch?v=DtwTZWZrZMY&t=62s). 来自[Ben Edgington](https://hackmd.io/@benjaminion/S1YGF9Gk9)的记录: * 一旦达到一定的里程碑，将建立公共 Kiln 测试网 * Vitalik 的 blob 交易更复杂的版本有...