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

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

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

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

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

【安全月报】| 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 三个独立的区块链网络上达成共识，并结合零知识证明、量子安全加密和实时威胁检测等先进技术，提供数学上可证明的安全保障，从而避免了以往桥遭受的重大攻击。
跨链桥  区块链安全  零知识证明  量子安全  多链共识  威胁检测 

快速上手 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
  • 阅读 ( 1258 )
  • ( 40 )

以太坊基金会成立 Protocol 部门

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

Web3 极客日报 #1753

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

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

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

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

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

用 Rust 打造命令行利器：从零到一实现 mini-grep

in  Rust
用Rust打造命令行利器：从零到一实现mini-grep在开发中，命令行工具以其高效和灵活深受开发者喜爱。本文通过一个Rust实现的mini-grep项目，带你从零开始学习如何构建一个功能强大的命令行程序。从接收参数、读取文件到模块化重构、TDD开发和错误处理，这篇教程将为你揭开
Rust 

确定性和非确定性密钥交换

本文介绍了确定性和非确定性密钥交换的概念，以及如何在 ECDH 密钥交换方法中使用 libsodium.js 实现这两种方式。确定性密钥交换使用已知的种子值生成密钥，每次都得到相同的结果，而非确定性密钥交换则随机生成密钥，每次结果都不同。文章通过代码示例展示了这两种方法的实现，并提供了在线演示。
密钥交换  确定性  非确定性  ECDH  libsodium.js  WASM 

AEGIS 还是 AES？

本文对比了AEGIS和AES加密算法，AEGIS作为一种基于AES的加密算法，集成了身份验证标签，并为每条消息分配一个唯一标识符；在具有AES硬件支持的设备上，AEGIS是一个不错的选择，否则XChaCha20可能在性能上更胜一筹。libsodium.js库支持AEGIS-128l、AEGIS-256和XChaCha20三种加密算法。
AEGIS  AES  XChaCha20  libsodium.js  加密算法  身份验证 

奇点会到来吗？

文章探讨了人工智能（AI）技术发展是否会导致技术奇点，即技术发展变得不可控和不可逆转，并威胁人类社会。文章引用了多项研究，包括ChatGPT 4通过图灵测试，以及对AI发展速度的预测。文章认为，虽然AI在某些方面超越人类，但目前看来奇点在短期内不太可能发生，并讨论了AI可能面临的挑战如学习内容质量下降以及未来的发展方向。
人工智能  技术奇点  GenAI  图灵测试  深度学习  Memex 

推荐 Dune SQL 代码风格

本指南提供了在Dune上编写干净、可读和可维护SQL查询的最佳实践，适用于DeFi协议、NFT集合和区块链指标的分析。推荐采用使用公用表表达式(CTEs)而非子查询的结构，以提升代码的可读性和可维护性，同时强调一致的格式和命名约定对于社区分析的价值。
SQL实践  CTE  可维护性  代码样式  区块链分析  Dune 
  • Dune
  • 发布于 2025-06-01
  • 阅读 ( 1727 )
  • ( 116 )

从零到 Web3：使用 @solana/kit 快速查询 Solana 账户余额

in  Solana
从零到Web3：使用@solana/kit快速查询Solana账户余额Web3浪潮席卷全球，Solana凭借其高速、低成本的区块链网络成为Web3开发者的热门选择。本文将带你从零开始，通过一个简单实操教程，使用@solana/kit快速搭建项目并查询Solana账户余额。
Web3  Solana 

SipHash 快速哈希算法 与 WASM

本文介绍了SipHash算法，它是由JP Aumasson和Daniel J Bernstein (djb)共同设计的一种快速哈希算法，旨在解决哈希表在面对拒绝服务（DoS）攻击时的脆弱性。SipHash通过密钥哈希的方式，在保证速度的同时，提供了较好的安全性，尤其适用于网络应用和WebAssembly (WASM)等场景，且比HMAC更快。
SipHash  哈希算法  拒绝服务攻击  WASM  密钥哈希  libsodium 

密码学 - Salt 和 WASM

本文介绍了如何使用libsodium.js在WebAssembly (WASM) 中实现对称密钥加密。libsodium是一个加密库，它选择最佳的对称加密方法（如AES和XChaCha20），并通过WASM在浏览器中快速执行。文章提供了代码示例，展示了如何使用libsodium.js进行加密和解密操作，以及如何在实际应用中使用。
libsodium  WASM  对称加密  AES  XChaCha20  nonce