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

Solana 的专有 AMM 革命

Solana 上的 Proprietary AMMs 是一种新型的链上做市模式，它通过将交易策略直接嵌入到链上程序中，消除了链下执行的延迟，并提供更具竞争力的价格。Proprietary AMMs 的出现依赖于 Solana 的独特优势，例如高零售参与度、交易排序机制和高效的交易环境，目前已在 Solana 的交易市场占据主导地位。
Proprietary AMMs  Solana  做市  链上交易  Jupiter 聚合器  oracle 
  • Helius
  • 发布于 1天前
  • 阅读 ( 312 )

使用Solidity中的库（Libraries）实现代码重用：深入分析与实践

今天我们要聊一个在Solidity开发中超级实用的话题——库（Libraries）。如果你写过智能合约，肯定遇到过代码重复的问题，比如同一个数学计算逻辑在多个合约里反复出现，或者一堆工具函数占满了合约代码。Solidity的库就是为解决这些问题而生的！它能帮你把常用逻辑抽取出来，复用代码，减少Gas
Solidity  智能合约 

智能合约审计需要的思维模型

本文作者分享了智能合约安全审计的经验模型，强调了资源收集、智能合约概览、手动代码审查、功能测试、自动化审查、报告编写和修复代码审查等关键步骤。文章旨在帮助审计人员系统性地进行安全审计，并识别潜在的安全漏洞。
智能合约  安全审计  漏洞  代码审查  功能测试  自动化测试 

Uniswap V4 的架构和编程技巧及现代合约编程概述

Licredity 核心开发者分享了 Uniswap V4 的架构和编程技巧，以及现代智能合约项目的目录结构和开发架构。文章还介绍了现代常见的合约特性，例如使用 soldeer 进行依赖管理，使用 Extsload 合约来访问 internal 变量，利用 BalanceDelta 机制实现更高效的清算，以及引入 unlock 机制实现终局原子性。
uniswap v4  智能合约  Solidity  Extsload  BalanceDelta  终局原子性 

2025年基于Move的顶级区块链

本文介绍了基于Move编程语言的几个 Layer-1 区块链项目，包括 Sui、Aptos、Supra 和 Movement。分析了Move语言的优势，对比了这些区块链在创始人、历史、交易速度、共识机制、预言机、跨链桥以及通证等方面的异同，并探讨了Move语言在未来可能取代Solidity的潜力。
Move语言  Sui  Aptos  区块链  Supra  Movement 

带你入门区块链

前言本文面向于对区块链还没有概念的小白，分享一下我在学习区块链入门知识之后总结的笔记。行文结构包含几个部分的介绍：核心概念、核心技术、如何运行、共识机制及主流项目。基本概念区块链==智能合约平台1）区块链首先是一个分布式网络，让所有的独立节点想要达成共识去记录和Token相关的事情，是区块链

应用控制排序（ACS）作为 MEV 的庇古政策——在应用层实现外部性内在化

本文讨论了最大可提取价值（MEV）带来的负外部性，并提出了一种基于应用控制排序（ACS）的Pigouvian税收机制来解决这一问题。该机制旨在通过在应用层面对MEV征税，将收益返还给受害者，从而在不影响有效配置的同时，降低MEV带来的危害。文章还概述了ACS的实际应用，包括优先级窗口、原子税收检查以及轻量级校准循环。
最大可提取价值  MEV  应用控制排序  ACS  Pigouvian税  链上治理 

PoRv2：一种快速、透明的基于 ZK 的储备证明

本文介绍了PoRv2，一个基于零知识证明（ZKP）的快速、透明的储备证明系统，它结合了zk-proofs和Merkle树，允许用户在不需要外部审计的情况下验证交易所的负债。该系统使用plonky2 ZK算法，提高了效率和透明度，并提供了一个验证服务器以方便用户验证，旨在提高加密货币交易所的透明度和用户信任。
零知识证明  储备证明  zk-proofs  Merkle树  Plonky2  密码学  透明性 
  • osecio
  • 发布于 2天前
  • 阅读 ( 99 )

深入 Aptos Move：从public到friend，函数可见性详解

in  Aptos
深入AptosMove：从public到friend，函数可见性详解在AptosMove智能合约开发中，精准控制函数的可见性是保障安全与效率的基石。然而，public、public(friend)与#[view]之间的细微差别，以及它们对权限和Gas消耗的影响，常常让开发者感到
Aptos  Web3  Move 

构建安全 Noir 电路的开发者指南

本文深入探讨了使用 Noir 构建零知识证明（ZKP）应用时常见的安全漏洞。文章详细分析了逻辑错误、有限域算术陷阱、意图与实现不符以及隐私泄露这四大类问题，并提供了具体的代码示例和审计关注点，旨在帮助开发者构建更安全可靠的 Noir 电路。
零知识证明  Noir  安全漏洞  有限域算术  隐私泄露  电路设计 

比特币挖矿协议的过去与未来：Stravum V2 简介

本文介绍了比特币矿池协议的历史，重点阐述了 Stratum V2 协议的优势及其在提高安全性、数据传输效率和挖矿去中心化方面的作用，并对比了 Stratum V2、Stratum V1 和 BetterHash 三种协议的特点，强调 Stratum V2 通过赋予矿工选择交易的权力，从而促进挖矿行业更加去中心化。
Stratum V2  Stratum V1  BetterHash  矿池协议  比特币挖矿  去中心化 

在Solidity中实现状态机：从零到英雄的技术分析

今天咱们要聊一个在Solidity开发中超级实用但又有点“神秘”的主题——状态机（StateMachine）。如果你写过智能合约，可能会遇到需要控制合约流程的场景，比如一个众筹合约需要经历“募资中”、“募资结束”、“分红”这些阶段。状态机就是帮你把这些阶段管理得井井有条的利器！状态机是个啥？为什
Solidity  智能合约  以太坊 

Optimism 与 Flashbots 合作，为 OP Stack 链加速排序功能

in  Optimism 中文力量
Optimism与Flashbots联手，为Superchain带来快速、可配置、可验证的排序功能，由构建以太坊排序流

Web3 极客日报 #1791

  • rebase
  • 发布于 2天前
  • 阅读 ( 163 )
  • ( 4 )

比特币操作系统：释放比特币在支付领域的潜力

比特币长期以来被称为数字黄金——一种安全的价值储存手段和简单的点对点支付网络。然而，其底层设计并非针对复杂的应用或大容量交易。比特币操作系统（通常缩写为BOS）正在改变这一现状。比特币操作系统本质上是比特币的智能合约操作系统，允许开发者在比特币区块链之上构建高级去中心化应用程序(DApp)和

再见 EVM，你好 RISC-V

以太坊正准备将其架构从EVM替换为RISC-V，以解决zkEVM中EVM的瓶颈问题。RISC-V具有精简指令集、成熟的LLVM生态系统和正式的SAIL规范，更适合ZK-first的未来。迁移分三个阶段进行：RISC-V作为预编译替换、双VM共存和EVM在RISC-V内部重新实现，生态系统将迎来开发者使用Rust/Go/Python库，用户获得更便宜的证明，最终实现大约100倍的效率提升。
EVM  RISC-V  zk-SNARK  zkEVM  Layer-2  虚拟机 

零时科技 || Equilibria 攻击事件分析

我们监控到 Ethereum 上针对 Equilibria 的攻击事件，本次攻击共造成约 63k USD 的损失。
黑客攻击  攻击事件  区块链安全 

Move 语言核心：布尔逻辑与地址类型的实战精解

in  Aptos
Move语言核心：布尔逻辑与地址类型的实战精解在掌握了AptosMove项目的基本搭建流程后，下一步便是深入理解语言的核心——数据类型。在所有类型中，布尔（bool）和地址（address）无疑是构建智能合约逻辑的基石：前者构成了所有条件判断、权限检查的骨架，而后者则是区块链世界中识别用户
Aptos  Move  Web3 

💸 闪电贷攻击：破坏 Solidity 智能合约

本文深入探讨了 DeFi 中的闪电贷，这是一种无需抵押的即时贷款工具，但需要在同一笔交易中偿还。文章详细解释了闪电贷的工作原理、攻击模式，并通过实例展示了如何利用闪电贷操纵价格和漏洞智能合约，导致重大损失。此外，文章还提供了应对闪电贷攻击的缓解策略，包括使用可靠的预言机、实施时间加权平均价格等。
闪电贷  DeFi  攻击  预言机  价格操纵  智能合约 

Aave V3：改进的借贷、流动性和风险管理

Aave V3 是一个非托管的、去中心化的流动性协议，允许用户通过智能合约进行加密货币的借贷，无需中介。V3版本在V2的基础上进行了改进，包括跨链支持、效率模式和高级风险管理工具等，旨在提高资本效率，并为用户提供更大的灵活性。文章还提供了在Sepolia测试网上进行实践的代码示例，并探讨了优化策略和收益示例
Aave V3  DeFi  借贷协议  智能合约  流动性  E-mode