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

收益代币化协议：Pendle 如何实现

Pendle 是一种模块化的收益代币化协议，它将 yield-bearing 资产拆分为本金代币（PT）和收益代币（YT），用户可以在 AMM 池中交易这两种代币。PT代表本金，到期时可赎回，YT代表收益，可以随时兑换为基础收益。该协议通过SY标准化了不同DeFi协议的收益代币，实现了收益交易、风险管理和复杂的固定收益交易策略，并包含AMM、预言机、路由等模块。
收益代币化  本金代币  收益代币  AMM  标准化收益  DeFi 
  • mixbytes
  • 发布于 2025-06-03
  • 阅读 ( 2217 )
  • ( 108 )

代码中的数学确定性：为何智能合约形式化验证不可或缺

本文探讨了形式化验证在智能合约开发中的重要性，通过数学证明来确保代码的正确性，从而避免因漏洞造成的巨大经济损失。文章通过案例分析（如DAO和Parity Wallet漏洞）强调了形式化验证的必要性，并介绍了Chronos Vault如何利用多层数学验证框架和先进技术来保障智能合约的安全性。
形式化验证  智能合约  区块链安全  数学证明  漏洞预防  Chronos Vault 

在Groth中实现查找表：r的第二个秘密成分……

本文介绍了UltraGroth，这是一种基于Groth16零知识证明系统，通过引入查找表（lookup tables）来优化电路约束成本的方法，特别是在处理神经网络中的激活函数时，能显著减少约束数量，提高效率。此外，UltraGroth通过将私有witness分为两轮提交，并由验证者通过哈希承诺值导出随机数来防止恶意证明者作弊，增强了安全性。
零知识证明  Groth16  UltraGroth  查找表  约束优化  Bionetta 

区块链数据的可扩展不经意访问

本文讨论了加密货币中最大可提取价值（MEV）的问题，以及如何使用可信执行环境（TEE）和不经意随机存取存储器（ORAM）来缓解MEV攻击。文章介绍了Flashbots的BuilderNet架构和Oblivious Labs在实现私有订单流和数据访问层面的工作，以保护用户隐私和防止信息泄露。
MEV  可信执行环境  TEE  不经意随机存取存储器  ORAM  隐私 
  • flashbots
  • 发布于 2025-06-03
  • 阅读 ( 744 )
  • ( 25 )

Web3渗透测试和供应链安全的需求

文章讨论了Web3领域日益严峻的安全挑战，包括交易所攻击、供应链攻击以及潜在的恶意代码注入风险。强调了对第三方依赖、跨链桥和中心化开发工具的关注，并提出了综合性的安全测试方法，如持续监控、供应链审计和模拟攻击，以应对这些威胁。
web3安全  供应链安全  渗透测试  智能合约  威胁建模  漏洞 

【安全月报】| 5月份因黑客攻击、诈骗等导致损失约1.82亿美元

5月加密货币领域因黑客攻击、诈骗和漏洞利用损失约 1.82 亿美元
黑客攻击  网络钓鱼  加密货币 

代理 - OpenZeppelin 文档

本文档介绍了OpenZeppelin Contracts库中关于代理（Proxy）模式的各种实现，包括基本代理、ERC1967代理、透明代理（Transparent Proxy）和 UUPS 代理，以及 Beacon 代理和最小克隆代理。
代理模式  可升级代理  EIP1967  透明代理  UUPS代理  Beacon代理 

20 亿美元的跨链桥难题：为何跨链安全是区块链的最终 Boss

Chronos Vault 提出了一种名为 Trinity Bridge 的新型跨链桥解决方案，旨在解决传统桥在安全性、速度和去中心化方面面临的“不可能三角”问题。Trinity Bridge 通过在以太坊、Solana 和 TON 三个独立的区块链网络上达成共识，并结合零知识证明、量子安全加密和实时威胁检测等先进技术，提供数学上可证明的安全保障，从而避免了以往桥遭受的重大攻击。
跨链桥  区块链安全  零知识证明  量子安全  多链共识  威胁检测 

区块链中的预言机是什么？» 已解释

本文定义了区块链预言机，阐述了其在连接区块链与外部系统中的作用，以及在智能合约执行中的重要性。文章还讨论了不同类型的预言机，包括去中心化预言机、拉取式预言机、推送式预言机、跨链预言机和计算型预言机，并探讨了预言机在DeFi、NFT、保险和企业等领域的应用，强调了预言机在扩展区块链功能和实现混合智能合约用例中的关键作用。
区块链预言机  智能合约  Chainlink  去中心化  跨链  数据预言机 

Gas Station Network (GSN) - OpenZeppelin 文档

本文档介绍了 OpenZeppelin Gas Station Network (GSN) 库，它提供了一组合约，允许合约通过 GSN 被调用，实现 gasless 交易。
Gas Station Network  GSN  gasless 交易  中继  IRelayRecipient  IRelayHub 

快速上手 Web3：用 @solana/kit 在 Solana 上创建钱包并查询余额

in  Solana
快速上手Web3：用@solana/kit在Solana上创建钱包并查询余额Web3的浪潮正在席卷全球，Solana作为高性能区块链的代表，以其低延迟和高吞吐量成为开发者构建去中心化应用（DApp）的首选平台。本文通过一个简单实用的项目，展示如何利用@solana/kit库在S
Web3  Solana 

近期 Web3 安全问题 季刊#3

本篇文章总结了近期Web3领域出现的一些安全漏洞和安全事件，主要分析了不一致的Scaling问题，包括MBU Token由于Scaling不匹配导致攻击者获利200万美元，以及Across Protocol在Gas Token金额计算中错误的十进制Scaling导致超额收费。
web3安全  智能合约  漏洞  攻击  Scaling  执行钩子 

Orbital : 集中流动性的多稳定币池的自动化做市商

Orbital 是一种用于稳定币池的自动化做市商（AMM），通过将集中流动性引入更高维度来提高资本效率。它通过在 1 美元等价价格点周围绘制轨道作为 tick 边界，将可定制的集中流动性扩展到三个或更多稳定币的池子。与二维集中流动性不同，即使一个稳定币脱钩至 0，Orbital tick 仍然可以以公平的价格交易其他稳定币。
自动化做市商（AMM）  稳定币  集中流动性  轨道  Sphere AMM  Tick 
  • Paradigm
  • 发布于 2025-06-03
  • 阅读 ( 1660 )
  • ( 44 )

以太坊基金会成立 Protocol 部门

以太坊基金会(EF)宣布对其协议研究与开发团队(PR&D)进行重组，更名为Protocol，并聚焦于扩展L1、扩展blobs和改善用户体验三大战略目标。通过团队重组和明确领导责任制，Protocol旨在更高效地推进以太坊的技术发展，并加强与社区的合作，同时也在招聘UX Lead和性能工程负责人等关键岗位。
以太坊  L1扩展  blob扩展  用户体验  协议研究与开发  以太坊基金会 

Web3 极客日报 #1753

  • rebase
  • 发布于 2025-06-02
  • 阅读 ( 527 )
  • ( 15 )

黑客偷了钱，所以Sui 就能抢吗？

一条链的未来，不由技术架构决定，而由它选择守护的那套信仰来决定。
Web 3  技术  区块链 
  • 十四君
  • 发布于 2025-06-02
  • 阅读 ( 1831 )
  • ( 55 )

$Virtual 熊市案例

Virtuals Protocol 旨在成为链上AI自主代理的创建和交易平台。该平台经历了快速增长和随后的活动及收入大幅下降。尽管其技术框架具有一定的创新性，但主要优势在于加密AI领域的先发优势和品牌效应。为了维持其高估值，Virtuals需要证明其能从投机活动转变为可持续的用户价值和收入。
AI代理  链上交易  Token化  DeFi  估值  区块链 

最佳“选择你的链”框架：导航 Rollups、L1 和 L2

本文介绍了在选择区块链架构时需要考虑的关键因素，包括去中心化程度、性能、速度和成本。
Layer 1  Layer 2  Rollup  Optimistic Rollup  ZK Rollup  区块链架构 
  • gelato
  • 发布于 2025-06-02
  • 阅读 ( 531 )
  • ( 7 )

OpenZeppelin Relayer - 网络配置文档

本文档介绍了 OpenZeppelin Relayer 的网络配置方法，支持通过 JSON 文件配置多种区块链网络，包括 EVM 兼容网络、Solana 网络和 Stellar 网络。文档详细说明了各种网络类型的配置字段、配置方法（包括分离 JSON 文件和直接配置），以及网络继承的使用。此外，还提供了配置示例、最佳实践和故障排除建议。
OpenZeppelin Relayer  网络配置  EVM  Solana  Stellar  区块链网络 

bip-anyprevout 项目中的 bips/bip-0017.mediawiki 文件

该BIP（Bitcoin Improvement Proposal）提议引入一个新的比特币脚本操作码OP_CHECKHASHVERIFY (CHV)，旨在允许比特币的接收者指定重新花费这些比特币所需的交易类型。该提议最初于2012年提出，但状态已变更为“撤回”。
OP_CHECKHASHVERIFY  软分叉  脚本  交易类型  P2SH  比特币 
  • ajtowns
  • 发布于 2025-06-02
  • 阅读 ( 448 )
  • ( 11 )