找到约 13 条结果

文章 形式验证的三大误解

形式验证（FV）在智能合约领域从未实现其潜在的广泛应用，主要有三个普遍的误解： 1. 使用起来很困难 2. 仅适用于简单系统 3. 不能作为安全工具使用 我们展示了我们的规范语言，CVL，如何打破这些误解。 Certora 实...

文章 科普：什么是 BC-404 ？全方位解读最新通缩型 NFT 标准

 区块链技术飞速发展的今天，创新从未停歇。继 ERC-404 标准问世后，一个名为 BC-404 的新标准应运而生，为 NFT 市场带来了全新的可能性。BC-404（Bonding Curve...

文章 每周以太坊 2024/06/22

Blob 费用市场问题，SEC 撤销对 Consensys 的案件，CertiK 未经授权从 Kraken 提取了约 300 万美元 ## 所有核心开发者 [所有核心开发者 – 执行 (ACDE) #190](https://ethereum-magicians.org/t/all-core-devs-execution-acde-call-190/20306) Pectra（Prague + Electra...

文章 快速实现一个英式拍卖（English Auction）合约

# 前言 > 本项目通过OpenZeppelin标准库实现一个完整的链上英式拍卖系统，涵盖NFT铸造、竞价、结算全流程。适合希望深入理解Web3拍卖机制、智能合约安全实践以及Hardhat测试框架的开发者。 # 技术栈： - **Solidity**: 0.8.20+（支...

文章 领航Web3安全，让数字生活更安全更美好：SharkTeam线上AMA实录

本文为SharkTeam团队于5月30日进行的一场线上AMA的实录，应该很多伙伴也参与了，其中干货很多，全程参与后会对SharkTeam的服务能力和技术特点有一个更深的了解。 ![image.png](https://img.learnblockchain.cn/attachments/2022/05/gS0t5CTY6294866d793fa...

文章 Uniswap V2 设计迷思

## 参考 最近在学习 [Uniswap V2](https://app.uniswap.org/#/) 关于整体框架的文章早有珠玉在前，如 - [当面试官问你Uniswap的时候，你应该想到什么？](https://learnblockchain.cn/article/2753) - [精通Uniswap](https://learnblockchain.cn/article/1448) ...

文章 Mint Blockchain：用 NFT 链接全球消费者的 Layer2 网络

 Mint Blockchain，一个创新的 L2 网络，其目标旨在用 NFT 链接全球消费者。作为 Optimism Superchain 的核心组成部分，Mint Blockchain 将通过高效、低成本的 L2 架构，为...

文章 CTF挑战 - Tenderly与ChainSecurity 战时游戏

 ## Crushing Tenderly x ChainSecurity 战争室游戏在布鲁塞尔 最近，我有幸作为出色团队 unsafe 的一员参加了 **Tenderly x ChainSecurity CTF at EthCC\[7\]**。特别感谢 Tenderly 团队的组织...

文章 每周以太坊 2024/06/29

## 核心开发者会议 - [所有核心开发人员 - 共识（ACDC）讨论 ＃136](https://ethereum-magicians.org/t/all-core-devs-consensus-acdc-call-136-june-27-2024/20397): - [验证者私密共享客户端信息](https://ethresear.ch/t/research-report-allowing-validators-to-share-client-in...

文章 Viem：轻量级以太坊开发工具库

## 前言 在以太坊生态系统蓬勃发展的今天，开发者们正在寻求更高效、更安全的开发工具来满足日益增长的需求。本文将为大家简要介绍 Viem 这款新一代以太坊开发库的主要特性和使用方法。 为方便中文开发者深入学习 Vie...

文章 欢迎 Unichain 加入超级链

 Uniswap Labs、Uniswap 基金会和 Optimism 很高兴宣布 [Unichain](https://blog.uniswap.org/introducing-unichain) 的启动，这是一个专为 DeFi 打造的 L2，专门基于 OP Sta...

文章 每周以太坊 2024/08/31

OpenSea 收到 Wells 通知，Maker 更名为 Sky ## [所有核心开发者 – 执行 (ACDE) #195](https://ethereum-magicians.org/t/all-core-devs-execution-acde-195-august-29-2024/20910) * Pectra-devnet-3: 客户端团队通过规范测试后启动 * EIP7702: SELFDESTRUCT 行为澄清...

文章 【技术解析】ETH、Solana发币标准解析-Solana发币才是未来

2025年meme 币板块可是持续升温，甚至有报道指出，Solana 的gas收入已经超过了ETH的了。从doge、pepe，到 Trump、Elon Musk 等热点人物概念，无时无刻不在炒作，表面上看，这类 token 虽然没有内在价值支撑，但靠社区情绪与叙事传播，...