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

邻近间隙：发生了什么以及它如何影响我们的SNARKs

近期研究推翻了邻近间隙猜想，该猜想曾用于设置基于哈希的SNARKs参数。文章解释了这一结果对当前部署的SNARKs的影响，指出虽然某些假定的参数不再安全，但仍存在大量未知参数。调整SNARKs以实现已验证的安全性将使proof size和验证时间增加2倍，而调整为新的推测安全性仅增加2-3%。
SNARKs  零知识证明  邻近间隙猜想  Reed-Solomon码  纠错码  哈希 

056：治理2.0：从投票到意图治理

in  Web3 敲门砖计划
治理2.0让DAO从“投票民主”迈向“意图自治”。 用户不再直接表决执行，而是表达目标，由AI和合约自动完成。 本文深入解析意图治理与AI代理模型，探讨自治组织如何演化为自优化的治理生态体。
DAO 治理  DAO 2.0  意图治理  Intent-based governance  Web3.0 
  • Henry
  • 发布于 2025-11-15
  • 阅读 ( 467 )
  • ( 13 )

新开发了一个管理solana 多个用户keys 的工具

soluser 提供管理多个用户密钥功能 1.创建用户，指定alias 2. 切换当前使用某个用户（按照alias切换） 3. 查询指定alias地址 4. 查询指定alias 余额 5. 给指定alias 发airdrop 6 . 查看 所有alias 和地址的列表
Solana 

Uniswap V4 Hooks 安全性深度剖析：漏洞与分析

本文深入分析了 Uniswap V4 Hooks 的安全性问题，通过分类和分析公开审计报告中的发现，重点关注与自定义 V4 Hooks 相关的安全隐患，特别是那些涉及资金托管和关键应用状态管理的 Hooks。文章探讨了 Hooks 权限配置、回调机制、未处理的 Revert 错误、动态费用管理以及自定义账户处理等方面可能出现的漏洞，并提供了相应的安全建议和启发。
uniswap v4  Hooks  智能合约安全  漏洞  DeFi安全  重入攻击 
  • Cyfrin
  • 发布于 2025-11-15
  • 阅读 ( 535 )
  • ( 28 )

介绍实验室

The ethPandaOps team has officially launched a new version of The Lab, a platform designed to visualize data collected from the Xatu project, aiming to be the community's primary resource for verifying Ethereum network performance。
以太坊  网络性能  数据可视化  Clickhouse  CBT  Xatu 

为什么数字投票系统（真正有效的）用了这么长时间才实现

本文探讨了数字投票系统面临的隐私、透明性和可扩展性三难困境，分析了过去数字投票系统失败的原因，并介绍了 Shutter 等团队利用 ElGamal 同态加密、零知识证明和阈值密码学等技术实现的 Permanent Shielded Voting 系统，该系统旨在实现永久隐私、公开可验证和实际可扩展的数字投票，以应对全球对选举信任的下降。
数字投票  同态加密  零知识证明  阈值密码学  ElGamal加密  区块链 
  • shutter
  • 发布于 2025-11-15
  • 阅读 ( 571 )
  • ( 13 )

以太坊 Glamsterdam 分叉中可能包含的多个EIP提案

文章讨论了以太坊Glamsterdam分叉中可能包含的多个EIP提案，核心关注EIP-7732 (ePBS) 和 EIP-7805 (FOCIL)。作者建议优先支持ePBS和FOCIL，但权衡其他EIP对ePBS交付时间的影响。对于其他EIP，作者根据其优缺点和对网络的影响给出了是否支持的建议。
EIP-7732  ePBS  EIP-7805  FOCIL  以太坊分叉  验证者 

Web3 极客日报 #1827

  • rebase
  • 发布于 2025-11-14
  • 阅读 ( 433 )
  • ( 9 )

EIP-4844：Blob交易及迈向数据分片的第一步

EIP-4844 (proto-danksharding) 引入了blob交易，为Rollup在以太坊上提供临时的数据空间，显著降低存储成本。通过分离执行数据和blob数据，并在短期保留后丢弃blob，网络在不增加状态大小的情况下获得带宽的显著提升。 此次升级弥合了当前Rollup扩展和完整数据分片之间的差距，降低了费用，提高了吞吐量。
EIP-4844  Proto-Danksharding  blob 交易  Rollup  信标链  KZG承诺 

EIP-2930：访问列表交易（类型 0x01）详解

本文介绍了以太坊的访问列表交易（Access List Transaction），它是EIP-2930在柏林硬分叉中引入的。访问列表通过预先声明交易将访问的地址和存储槽来优化gas消耗并提高可预测性。文章还演示了如何使用`eth_createAccessList` RPC方法生成访问列表，以及如何在Go语言中构建和广播EIP-2930交易。
EIP-2930  访问列表交易  gas优化  以太坊  预热  eth_createAccessList 

Solidity合约审计：让你的区块链代码硬核到滴水不漏

Solidity里一个超级硬核的主题——合约审计！在以太坊上写智能合约，钱和数据都直接挂在链上，一个小漏洞就能让黑客把你钱包掏空，项目直接翻车！审计就是给你的合约做个全身体检，找出那些藏得深的bug和安全隐患。这篇干货会用大白话把Solidity合约审计的硬核技巧讲得明明白白，从重入攻击、溢出检查到
Solidity  智能合约 

EIP-1559：动态费用交易（类型 0x02）详解

EIP-1559 引入了动态的基本费用机制，取代了传统的 gas 竞价模式，大大提高了以太坊交易费用预测的准确性和透明度。用户设置最高费用和小费，协议根据网络拥堵自动调整基本费用，并销毁一部分 ETH，从而优化了用户体验，提高了费用的稳定性。文章还提供了使用 Go 语言在 Polygon Amoy 测试网上构建和广播 EIP-1559 动态费用交易的示例。
EIP-1559  Gas 费  动态费用  以太坊  交易类型  基本费用 

使用 React Native、Expo 和 MWA 构建 Solana Android 应用程序

本文介绍了如何使用 React Native、Expo、Solana Kit 和 Mobile Wallet Adapter (MWA) 构建一个轻量级的 Solana Android 应用程序，以便连接 Mock Wallet、请求空投和转移 SOL。文章详细介绍了环境搭建、代码结构以及关键服务的实现，为开发者提供了一个构建 Solana 移动应用的坚实基础。
Solana  Android  React Native  expo  MWA  移动钱包适配器 
  • QuickNode
  • 发布于 2025-11-14
  • 阅读 ( 445 )
  • ( 20 )

格密码学基础（四）：多项式环上的加密

本文是关于格密码学的教程，主要介绍了多项式环上的LWE和SIS问题，以及基于这些问题的加密方案，并详细阐述了NTRU陷门单向函数和CRYSTALS-Kyber（ML-KEM）加密方案，并分析了其安全性、正确性和效率优化。最后，解释了如何从CPA加密方案转换为CCA安全的KEM。
格密码学  LWE  SIS  NTRU  CRYSTALS-KYBER  ML-KEM  多项式环  数论变换 
  • XPTY
  • 发布于 2025-11-14
  • 阅读 ( 84 )

玩转LaBRADOR：用递归构建紧凑的基于格的证明

本文深入探讨了LaBRADOR，一种基于标准格假设的证明系统，该系统利用递归实现亚线性证明大小。文章详细解释了LaBRADOR的核心思想，包括模块短整数解（M-SIS）问题、Ajtai承诺、多项式环以及用于检查向量是否为短向量的NormCheck子协议，并介绍了如何通过分解处理Ajtai承诺中的向量长度问题，以及如何利用外层承诺和递归来优化协议。
LaBRADOR  格  M-SIS  Ajtai承诺  零知识证明  NormCheck 

端到端的基准测试框架 Base Benchmark

Base 构建了一个端到端的基准测试框架 Base Benchmark，用于在真实条件下测试以太坊客户端性能，以安全地扩展 Base 链。这些基准测试帮助识别瓶颈，验证硬件配置，并确保 Base 能够继续可靠地扩展，同时保持亚美分、亚秒级的交易。
Base 链  以太坊客户端  性能测试  基准测试  Gas Limit  reth  Geth 

链码委托：比特币密钥的隐秘访问控制

本文介绍了一种名为“链码委托”的联合保管新方法，通过在BIP-32密钥派生中扣留链码，仅在签名时刻分享标量调整项，使托管人可以在不完全掌握密钥树的情况下强制执行特定的花费策略，从而增强隐私性和安全性，并可应用于需要强制执行访问控制策略的其他场景。
链码委托  联合保管  BIP-32  标量调整项  多重签名  隐私 
  • BTCStudy
  • 发布于 2025-11-14
  • 阅读 ( 499 )
  • ( 4 )

Web3 极客日报 #1826

  • rebase
  • 发布于 2025-11-13
  • 阅读 ( 457 )
  • ( 10 )

深入探索范围：更深入地了解 Bulletproofs

本文深入探讨了Bulletproofs Range Proofs，这是一种用于在不泄露秘密值本身的前提下，证明该值位于给定范围内的技术。文章详细解释了如何利用bit分解、随机挑战、承诺、blinding等技术，结合Inner Product Argument（IPA）构建完整的零知识范围证明，并给出了相应的公式推导和代码示例，以确保验证者确信秘密值确实在指定范围内。
Bulletproofs  范围证明  零知识证明  Inner Product Argument  密码学  同态承诺 

格密码学基础（三）：LWE和其他格问题的难度

本文从几何角度介绍了LWE问题，解释了格的概念，包括整数格和q元整数格的定义和性质，以及商群、行列式和到格的距离。讨论了随机格中短向量的存在性，介绍了SIS问题，并探讨了如何使用求解SIS的算法来求解LWE问题，最后给出了实际参数的选取建议，以及LWE和SIS在密码学中的应用，例如 Kyber 和 Dilithium。
LWE  SIS  格  kyber  Dilithium  格密码学 
  • XPTY
  • 发布于 2025-11-13
  • 阅读 ( 75 )