全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

ZK账户概述

本文概述了ZK账户在区块链中的应用，特别是在Celestia网络中，如何通过验证ZK证明来实现更灵活的账户控制和功能扩展。ZK账户允许用户自定义账户的使用条件，支持账户抽象、升级、跨链桥接(Lazybridging)和密钥库Rollup等功能，从而实现功能上的“逃逸速度”，无需在协议中单独实现每个特性。
ZK证明  ZK账户  Celestia  账户抽象  Lazybridging  密钥库Rollup 

CoW Swap如何解决MEV问题 - CoW DAO

本文深入探讨了MEV（最大可提取价值）问题，详细解释了MEV的三种主要攻击方式（抢跑交易、尾随交易和夹 sandwich 攻击），并介绍了CoW Swap为解决MEV问题而提供的三种策略：委托交易执行、愿望巧合(CoW)和统一清算价格(UCP)，旨在保护用户免受MEV攻击，确保公平的交易体验。
MEV  CoW Swap  前置交易  后置交易  夹 sandwich 攻击  DeFi 
  • CowSwap
  • 发布于 2025-03-29
  • 阅读 ( 595 )
  • ( 2 )

Web3 极客日报 #1708

  • rebase
  • 发布于 2025-03-28
  • 阅读 ( 724 )
  • ( 10 )

扩展 Mempool 视角

本文探讨了以太坊Mempool的演变，从最初的公共Mempool到现在的由专门的区块构建者、私有订单流交易和L2排序器组成的动态生态系统。
mempool  mev-boost  本地构建者  审查抵抗  私有订单流  区块构建 

bips/bip-0ZZZ.mediawiki，位于 vault · jl2012/bips

该 BIP 提议在 Merklized Script Version 0 中引入一个新的操作码 `OP_PUSHTXDATA`，允许智能合约访问交易的各种数据，如输入索引、交易费用、版本号、锁定时间以及输入输出的详细信息。这为实现更复杂的 covenant 和 vault 机制提供了基础。
比特币  BIP  OP_PUSHTXDATA  Merklized Script  智能合约  Covenant 
  • jl2012
  • 发布于 2025-03-28
  • 阅读 ( 497 )

Solady 审计以增强整个生态系统的链上安全

Base 资助了 Solady 库的第三方安全审计，主动识别并解决了多个安全问题。Solady v0.1.1 已发布，建议开发者升级。审计发现并修复了包括 ERC-6492 实现中的严重漏洞在内的多个问题，这些漏洞可能导致未经授权的资金转移。Base 强调安全是其首要任务，并致力于通过投资安全研究和开源基础设施审计来提升整个以太坊生态系统的安全性。
Solady  智能合约  安全审计  ERC-6492  漏洞  以太坊 

慢雾：深入探讨 EIP-7702 与最佳实践

作者：Kong编辑：Sherry前言以太坊即将迎来Pectra升级，这无疑是一次意义重大的更新，众多重要的以太坊改进提案将借此契机被引入。其中，EIP-7702对以太坊外部账户(EOA)进行了变革性的改造。该提案模糊了EOA与合约账户CA之间的界限，是继EIP-4337之后
EIP-7702 

Alloy：连接应用与区块链的新利器

一、引言在区块链技术飞速发展的今天，应用与区块链之间的连接需求日益增长。Alloy作为一个全新的项目，正逐渐走进开发者的视野。它是对ethers-rs的全面重写，带来了令人兴奋的新特性、高性能以及出色的文档支持。本文将深入剖析Alloy的各个方面，为开发者们揭开它的神秘面纱。二、All
Rust  Alloy 
  • King
  • 发布于 2025-03-28
  • 阅读 ( 1320 )
  • ( 17 )

如何在 Solana dApp 中连接你的 MetaMask 钱包

MetaMask是一款适用于与EVM兼容的区块链（如以太坊和Optimism）的加密钱包，它还允许您与dApp（去中心化应用程序）进行交互。最近，MetaMask发布了一项名为Snaps的新功能，使开发人员能够与MetaMask建立新的集成（例如，连接到其他第1层区块链或以新
  • 想样
  • 发布于 2025-03-28
  • 阅读 ( 1286 )
  • ( 14 )

EIP-7702 对你意味着什么？#2 - DApp 开发者如何利用 EIP-7702

EIP-7702 将如何影响 DApp，以及作为 DApp 开发者可以做些什么来利用 EIP-7702。
EIP7702  ZeroDev 
  • zerodev
  • 发布于 2025-03-28
  • 阅读 ( 2083 )
  • ( 59 )

EIP-7702 对你意味着什么？第一部分 -- 7702 的采纳周期

探讨 7702 的采用过程会如何展开
EIP7702 
  • zerodev
  • 发布于 2025-03-28
  • 阅读 ( 2383 )
  • ( 65 )

什么是量子计算？

这篇文章详细介绍了量子计算的基本概念和其潜在影响，并通过量子力学的原理解释了量子计算如何突破传统计算机的限制。文章还探讨了量子计算对现代加密技术的威胁及相应的安全应对方案，指出尽管量子计算存在挑战，但也为未来的技术进步提供了新的可能性。
量子计算  量子力学  量子比特  加密技术  超导量子比特  量子门 

这一次以太坊是否有所不同？- 深入探讨当前格局和挑战

本文深入分析了以太坊目前所面临的挑战与机遇，包括竞争网络的崛起、开发者生态的变化，以及以太坊在社区文化和市场定位上的困境。尽管以太坊在某些指标上仍保持领先地位，但高交易费用及低性能导致用户流失，尤其向Solana等网络转移。因此，以太坊需要在技术和社区治理中采取相应措施，才能恢复其市场信心和优势。
以太坊  Solana  Layer 2  去中心化  DeFi  社区 

SLIP-0044 : BIP-0044 注册的代币类型

SLIP-0044 详细定义了为 BIP-0044 注册的各种代币类型，并提供其逻辑层次结构的实现细则。该文档列出了1058个代币的类型路径组件、符号和名称 ，以及每一代币在 BIP44 层次结构中的使用方式，旨在为不同的代币分配统一的值，以简化管理。它还提到了相关的库和参考链接。
BIP-0044  SLIP-0044  代币类型  逻辑层次结构  硬化派生 

ERC-20 - OpenZeppelin 文档

本文档全面介绍了以太坊中 ERC-20 代币标准及其相关接口、合约和实用工具。
ERC-20  代币标准  智能合约  Solidity  OpenZeppelin  接口 

为什么在漏洞赏金活动中维护链上隐私至关重要

本文探讨了在以太坊上进行安全漏洞赏金活动时维护隐私的重要性，并分析了攻击者可能利用的各种威胁媒介，例如RPC供应商、网络元数据、其他赏金猎人、项目方本身和物理盗窃。文章还提供了多种解决方案，如使用Tor、私有RPC、本地节点、OPSEC最佳实践、本地分叉链、轮换钱包、混淆行为模式以及使用强化的操作系统/VM，以减少隐私泄露的风险。
隐私  以太坊  漏洞赏金  Tor  RPC  OpSec  区块链安全 

EIP-7702 深度探讨与最佳实践

本文深入分析了以太坊即将到来的 Pectra 升级中的 EIP-7702，该提案通过引入新的交易类型，允许 EOA 指定智能合约地址和代码，从而使 EOA 具备可编程性和可组合性，模糊了 EOA 和合约账户之间的界限。
EIP-7702  Pectra 升级  EOA  合约账户  账户抽象  私钥安全  多链重放  存储管理 
  • slowmist
  • 发布于 2025-03-28
  • 阅读 ( 969 )
  • ( 12 )

「造」最关键的是什么？| Hackathon 漫游指南（贰）

in  狗哥区块链与AI精品内容集@NonceGeek
找到 1 个「高客户终身价值」的用户
Indiehacker 
  • 李大狗
  • 发布于 2025-03-28
  • 阅读 ( 1064 )
  • ( 11 )

Why Hackathon？| Hackathon 漫游指南（壹）

in  狗哥区块链与AI精品内容集@NonceGeek
Hackathon = 「学」 + 「练」 + 「用」 + 「造」。在极短的时间里，Hackers 可以体验到以「造」为核心的「学练用」
Indiehacker 
  • 李大狗
  • 发布于 2025-03-28
  • 阅读 ( 1078 )
  • ( 12 )

介绍clean：一个用于Lean4中ZK电路的形式验证DSL - ZKSECURITY

本文介绍了clean，一个为零知识电路（ZK circuits）构建的嵌入式DSL和形式验证框架，目标是使用Lean4定义电路、指定属性并进行形式化验证。clean通过将电路定义、规范和正确性证明置于一处，旨在创建一个可重用的、经过形式验证的电路组件库，并以AIR算法为目标，最终发展成通用的零知识证明框架。文章还提供了一个8位加法的具体例子，展示了如何使用clean来定义、验证电路的正确性
零知识证明  形式验证  DSL  Lean4  AIR  zkEVM