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

以太坊验证者退出过程 及 Pectra 硬分叉带来的变化

本文详细讲解了以太坊验证者的退出过程及即将到来的Pectra硬分叉带来的变化，重点介绍了退出队列、取款时延及验证者清算等步骤，同时解释了相关术语与安全性保障。文中讨论了验证者如何更好地管理退出和取款，提供了当前和未来机制的对比，确保经济安全与程序性能的平衡。
以太坊  验证者退出  Pectra硬分叉  退出队列  取款  经济安全 

永不停息地改进你的不变性测试

本文讨论了Recon团队如何改善Centrifuge现有的不变性测试套件，主要通过引入最佳实践以简化测试过程并提高代码质量。这些实践包括专门使用断言测试、实现ActorManager、简化无状态测试和采用归纳法简化属性检查，以及设置Fork测试环境，结果揭示了一个之前未知的边界情况。
不变性测试  断言测试  ActorManager  无状态测试  归纳法  Fork测试 
  • Recon
  • 发布于 2025-04-07
  • 阅读 ( 666 )
  • ( 40 )

零基础学MPC 教程 - 每个人都可以学会

本文介绍了多方计算（MPC）尤其是姚的加密电路协议的实现，涵盖了从理论基础到代码实现的各个方面，包括RSA、模糊传输、加密电路的生成与评估等。特别强调了如何在保持私人输入的隐私前提下进行安全计算，适合对MPC感兴趣的读者深入学习。
多方计算  RSA  加密电路  姚的加密电路  密码学  MPC 
  • zellic
  • 发布于 2025-04-07
  • 阅读 ( 953 )
  • ( 80 )

深入探讨椭圆曲线（第5部分）

in  密码学101
本文深入探讨了椭圆曲线上的除法器及其与函数、群结构的关系，阐明了点加法为何采用特定规则，最终揭示了此过程与Picard群之间的同构关系。这为理解椭圆曲线的运算机制打下了基础，同时预告了将要探讨的配对应用。
椭圆曲线  除法器  Picard群  点加法  群结构  代数几何 

介绍 Create Chimera App V2

本文介绍了create-chimera-app V2的更新，旨在简化模糊测试的设置和运行，包含了新的管理器（ActorManager和AssetManager）及其功能，分离目标函数以提高可读性，以及引入新的修饰符和错误捕获功能。这些改进使用户能更有效地进行不变测试，减少设计决策。
模糊测试  治理合约  目标函数  资产管理  不变测试  错误捕获 
  • Recon
  • 发布于 2025-04-06
  • 阅读 ( 928 )
  • ( 56 )

区块链101：再探共识机制

in  区块链101
本文深入探讨了以太坊的共识机制，从早期的工作量证明（PoW）转变为权益证明（PoS），并详细描述了PoS的运作原理、验证者的角色和经济激励机制。文章还阐述了区块的验证过程、处理恶意行为的方法以及最终性机制，为读者提供了一把理解以太坊共识的钥匙。
以太坊  共识机制  权益证明  工作量证明  区块链  智能合约 

EIP-2935：实现无状态执行的一步

本文深入探讨了以太坊的状态管理和EIP-2935提案，提出通过引入无状态执行来解决因状态增长带来的问题。文章详细介绍了以太坊的区块结构、Merkle树、Gas机制，以及状态和数据的过期管理，通过对比现有EIP，强调EIP-2935在实现无状态以太坊中的重要性与潜在益处，促进了以太坊的去中心化和可扩展性。
以太坊  无状态执行  EIP-2935  状态管理  Merkle树  区块链 

IDL Guesser：从封闭源码的Solana程序中恢复指令布局

该文章详细介绍了在封闭源码的Solana程序中，利用IDL Guesser工具进行指令定义和账户信息的自动化恢复过程。该工具通过分析Anchor框架生成的代码模式，成功提取指令、帐户和参数信息，旨在帮助安全研究人员发现潜在漏洞，同时指出现有的开发挑战和未来的改进方向。
Solana  IDL Guesser  安全研究  Anchor框架  反向工程  Rust 
  • Sec3dev
  • 发布于 2025-04-05
  • 阅读 ( 1150 )
  • ( 125 )

绘制以太坊账户抽象路线图 III：终局

本文详细介绍了以太坊智能账户的四种主要模型，包括ERC-5189、ERC-4337、RIP-7560和EIP-7701，阐明了这些模型如何提高账户的自我管理能力和交易的灵活性。作者探讨了每个模型的结构、工作机制和潜在风险，为理解以太坊账户抽象提供了深入分析和对比。
以太坊  账户抽象  ERC-5189  ERC-4337  RIP-7560  EIP-7701 

调查比特币上各种脚本及签名方案，以及相关项目使用情况

本文深入探讨了比特币的脚本系统及其签名方案，包括Schnorr签名和ECDSA签名，并阐述了多个项目如何通过这些技术构建复杂的功能，如BitVM和zkBitcoin等。文章详细分析了比特币脚本的工作机制、特定脚本类型以及Taproot、SegWit及FROST签名等扩展方案。全篇结构清晰、逻辑严谨，适合有一定技术基础的读者阅读。
比特币  Schnorr签名  脚本系统  Taproot  FROST签名  智能合约 
  • zellic
  • 发布于 2025-04-04
  • 阅读 ( 1709 )
  • ( 79 )

深入 Uniswap v4 源码 - V4Router

in  深入理解 Uniswap V4
本文详细介绍了 Uniswap V4Router 合约的结构与功能，重点阐述了其在交易执行中的作用，包括精确输入输出的交易参数和具体实现方法。文章涵盖了合约设计的实现细节和各个交易方法的逻辑，适合对 Uniswap V4 有一定了解的开发者阅读。
V4Router  Uniswap  智能合约  交易执行  Solidity  uniswap v4 
  • adshao
  • 发布于 2025-04-03
  • 阅读 ( 1828 )
  • ( 42 )

硬件钱包安全：必须检查硬件设备显示的内容

本文章深入探讨了硬件钱包在交易签名中的安全性，并强调用户在签署任何信息或交易时必须仔细验证显示的关键信息。通过理解EIP-712标准和校验数据，用户能够有效避免诈骗和安全漏洞，保障数字资产安全。
硬件钱包  交易签名  EIP-712  安全验证  数字资产  校验 
  • Cyfrin
  • 发布于 2025-04-03
  • 阅读 ( 804 )
  • ( 51 )

深入理解 Uniswap v4 白皮书

Uniswap v4 是基于以太坊的去中心化自动化做市商，主要通过引入Hook机制、单例合约和闪电记账来提升灵活性和效率。相比于之前版本，它实现了更低的 gas 成本和更高的可定制性，使开发者能够创建和管理流动性池，以及支持原生 ETH 的交易。这些新特性使得 Uniswap v4 成为一个更加高效和灵活的协议。
Uniswap  v4  去中心化  自动化做市商  钩子机制  Gas成本 
  • adshao
  • 发布于 2025-04-01
  • 阅读 ( 2520 )
  • ( 86 )

什么是Merkle 树、Merkle 证明和 Merkle 树根

Merkle Trees是用于高效存储和验证数据完整性的一种数据结构。它通过将数据块逐层哈希来构建根哈希，从而解决验证大数据集中特定数据存在性的问题。文章深入探讨了Merkle Trees的原理、构建方法及其在智能合约中的应用。
Merkle树  哈希函数  智能合约  Merkle证明  区块链  数据结构 
  • Cyfrin
  • 发布于 2025-04-01
  • 阅读 ( 1345 )
  • ( 73 )

引介 Esplr - 本地自部署 EVM 浏览器

esplr 是一个以以太坊为基础的私有区块链探索工具，用户可以通过私人 RPC URL 安全地查看 ETH 和代币的余额、交易历史以及支持 ERC-20 和 ERC-721 NFT 的功能。与传统的区块浏览器相比，它不收集用户数据，同时提供更全面的功能和良好的易用性。
esplr  以太坊  私人RPC  ERC-20  区块链浏览器  NFT 
  • paulmillr
  • 发布于 2025-04-01
  • 阅读 ( 1585 )
  • ( 54 )

全面分析 Solana治理

本文对Solana治理进行全面分析，探讨了其投票和决策机制以及存在的挑战。Solana治理系统仍在发展中，主要通过SPL代币进行非约束性投票，关注验证者和委托人的角色。报告还比较了Solana与Cosmos和以太坊的治理模式，并提出了改善透明度和参与度的建议。
Solana  治理  投票机制  SPL代币  验证者  Simd 
  • Helius
  • 发布于 2025-04-01
  • 阅读 ( 1670 )
  • ( 53 )

一个为所有对学习和构建 Solana 感兴趣的人提供的全面、真实的资源中心

欢迎阅读原文翻译https://github.com/brooke007/solana-awesome-zhsolana-awesome一个为所有对学习和构建Solana感兴趣的人提供的全面、真实的资源中心Solana简介Solana基础开发者资源通用学习资源Anchor
学习资源 
  • brooke007
  • 发布于 2025-03-31
  • 阅读 ( 2945 )
  • ( 137 )

以太坊使用 EOF 的理由

EVM对象格式（EOF）是一项期待已久的EVM升级，旨在现代化以太坊语言和工具生态。本文详细论述了EOF在开发工具、编译器、语言及应用程序等方面的优势，强调其对提高可用性和改善用户体验的重要性。相较于其他提案，EOF提供了一种清晰且结构化的方法来解决当前EVM中的多项问题。
EVM对象格式  以太坊  Solidity  编译器  开发工具  应用程序 

通过Okto实现新互联网的统一

文章探讨了Okto作为中间件应用链如何通过链抽象原理构建一个钱包互操作性层，以实现不同区块链间的无信任交易模型。文章详细分析了区块链的碎片化问题及Okto的解决方案，包括去中心化交易网络、统一流动性层和去中心化钱包网络等，为应用开发者提供了便利。
链抽象  去中心化交易网络  统一流动性层  去中心化钱包网络  Okto  跨链互操作性 

DEX攻击的解剖 - Hyperliquid JELLY案例及永续合约的未来保障

本文深入探讨了Hyperliquid平台在2025年3月27日遇到的JELLY代币流动性危机，分析了HLP如何在被迫接管一笔有毒的JELLY空头后遭受1200万美元的纸面损失。文章分两部分，第一部分详述了流动性危机发生的原因与机制，第二部分则提出了一系列协议改进建议，旨在提升平台对于类似金融攻击的抵御能力。
Hyperliquid  JELLY  流动性危机  降杠杆  清算机制  金融攻击 
  • thogiti
  • 发布于 2025-03-29
  • 阅读 ( 2140 )
  • ( 100 )