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

我们如何在Base上监控欺诈证明

本文介绍了Hexagate在Base链上监控欺诈证明的框架和解决方案，旨在确保系统的安全。文章详细描述了分层监控框架，包括系统级、争议游戏、挑战者和组件层面的监控，并介绍了如何利用Hexagate的平台和API来构建和部署这些监控器。此外，Hexagate还开源了欺诈证明不变性监控器，以促进社区的合作和增强二层网络的安全。
欺诈证明  监控  Base链  安全性  Hexagate  OP Stack 

ERC-5564 和 ERC-6358：通过隐秘地址在以太坊上解锁隐私

本文详细介绍了以太坊的两个提案ERC-5564和ERC-6538，它们旨在引入隐匿地址以增强用户在公链上的隐私性。文章深入探讨了隐匿地址的历史、现有隐匿地址协议的演变，以及ERC-5564和ERC-6538的具体实现及其带来的隐私保护优势。尽管这些协议在隐私方面显著提高了以太坊的能力，但文章也提及了可能存在的一些缺陷和挑战。
隐匿地址  ERC-5564  ERC-6538  区块链隐私  以太坊交易  协议设计 

Metaplex 的底层原理：插件如何实现轻量级、细粒度的状态管理

Metaplex 的底层原理：插件如何实现轻量级、细粒度的状态管理
Metaplex 
  • LE◎
  • 发布于 2025-02-05
  • 阅读 ( 1607 )
  • ( 16 )

以太坊上的Solidity和智能合约漏洞

这篇文章深入探讨了Ethereum智能合约的安全性，具体阐述了Solidity语言中的常见漏洞，例如重入攻击、算术溢出和访问控制问题。文章提供了理论背景和具体的代码示例，并给出了缓解这些安全问题的方法，通过这样的方式帮助开发者理解并实现安全的智能合约编写。
智能合约  Solidity  安全漏洞  重入攻击  访问控制  算术溢出 
  • QuickNode
  • 发布于 2025-02-05
  • 阅读 ( 1206 )
  • ( 31 )

交互式定理证明器简介 - ZKSECURITY

本文介绍了交互式定理证明器（又称证明助手），这种工具可以创建严格的、机器可检查的数学定理和计算证明。文章以 Lean 为例，展示了如何使用证明助手来验证数学证明的正确性，并探讨了证明助手在零知识虚拟机（zkVM）开发中的应用。
交互式定理证明器  证明助手  Lean  zkVM  形式验证  零知识虚拟机 

解读下一代以太坊 Layer2 解决方案（I）：Based Rollups

系列文章探讨一 些新的 Rollup 类： Based rollups
Based Rollup  Rollup  Layer2 

数据可用性比你想象的更重要

数据可用性比你想的更重要。
DA  EigenDA  Rollup  Blob 

Solana笔记 07.实操：账户模型（Accounts）

跟我一起从0开始学习Solana合约开发，一起实操，一起做项目。这是一个系列文章，系统地记录了我的学习笔记。
Solana 入门  Solana 合约 

颠覆传统！Rig+LanceDB，解锁 Rust 向量搜索应用的超高速轻量密码

in  用 Rig 打造你的专属 AI Agent
速览：语义搜索系统轻松搭建在Rust的世界里，想打造强大的语义搜索系统吗？别愁啦！借助Rig和LanceDB，这一切变得超简单。我们会手把手带你实操，从创建向量嵌入，到存储和搜索，每一步都清晰明了。不管是构建RAG系统，还是打造语义搜索引擎，这套方法都能让你事半功倍。完整源代码已放
Rust  LanceDB  LLM  AI Agent  Rig 
  • King
  • 发布于 2025-02-05
  • 阅读 ( 1278 )
  • ( 7 )

实用工具 - OpenZeppelin 文档

本文介绍了OpenZeppelin Contracts库中常用的实用工具，包括密码学（ECDSA签名验证、Merkle证明验证），合约自检（ERC165接口检测），数学运算（SafeMath安全计算），支付（PaymentSplitter、PullPayment、Escrow），集合（EnumerableSet、EnumerableMap）以及其他实用工具（Address, Counters）。
ECDSA  Merkle树  ERC165  SafeMath  PaymentSplitter  EnumerableMap 

Uniswap v4 启动：去中心化金融和AI集成的新纪元

Uniswap v4的发布标志着去中心化金融（DeFi）的一个重要里程碑，引入了新的功能，特别是hooks，允许开发者定制AMM池，实现动态定价和智能自动化策略。这一变革不仅使流动性提供者和交易者受益，也为AI在DeFi中的应用打开了新天地，同时Unichain作为一个专门的L2扩展解决方案，旨在解决更深层次的区块链问题。
Uniswap  DeFi  AMM  Hooks  AI  Unichain 
  • Gogol
  • 发布于 2025-02-04
  • 阅读 ( 858 )
  • ( 17 )

评估报告 - Wormhole 协议是否满足 Uniswap DAO 跨链治理的使用场景

该文章评估了 Wormhole 协议是否满足 Uniswap DAO 跨链治理的使用场景，结论是满足。
Wormhole  跨链协议  区块链安全  Uniswap  DAO  验证者 

Uniswap v4 数据指南

本文是关于如何解析 Uniswap v4 链上数据的指南。
uniswap v4  链上数据  钩子（Hooks）  单例架构  TVL  交易量  手续费 

什么是数字资产？

本文介绍了数字资产的概念，它是一种以数字形式存在的价值项目，并利用区块链技术。文章探讨了数字资产的类型，如加密货币、代币化的现实世界资产（RWA）和非同质化代币（NFT），以及Chainlink在数字资产创新中的作用，它通过提供安全可靠的基础设施，连接传统金融系统与链上经济，从而推动了数字资产的发展。
数字资产  区块链  Chainlink  代币化  RWA  NFT 

去中心化金融（DeFi）清算风险与漏洞解析

本文深入探讨了去中心化金融（DeFi）清算过程中的关键漏洞及其可能的攻击方式，并提出了相应的缓解策略，确保协议的偿付能力和用户信任。文章涵盖清算激励不足、坏账管理、部分清算及清算机制失败等问题，也强调了清算奖励的计算和优先级等细节，提供了从开发和审计的角度进行防范的最佳实践。
去中心化金融  清算漏洞  坏账管理  激励机制  清算策略  智能合约 
  • Cyfrin
  • 发布于 2025-02-04
  • 阅读 ( 1274 )

审计 Pump.fun 克隆的经验教训

本文作者分享了对一个 pump.fun 风格的代码库及其后端的审计经验。重点关注了后端代码的三个主要功能：从 bonding curve 中提取代币、创建 Raydium 池并迁移流动性、以及销毁剩余代币和灰尘代币。文中详细描述了在代币 decimal 处理、后端宕机处理和 JITO 捆绑交易处理中发现的几个关键问题，强调了对后端系统进行安全审计的重要性。
安全审计  Solana  pump.fun  Raydium  Jito  bonding curve 

如何实时流式传输Solana程序数据

本文介绍了如何使用QuickNode的Streams工具来获取和过滤Solana区块链中的实时数据，具体步骤包括创建流、过滤数据、建立Webhook服务器，以及如何利用ngrok使本地服务器公开可访问。文章提供了详细的代码示例和相关配置，适合希望获取Solana特定区块数据的开发者。
Solana  QuickNode  Streams  Webhook  实时数据  区块链 
  • QuickNode
  • 发布于 2025-02-04
  • 阅读 ( 841 )
  • ( 16 )

在网页中创建你自己的对称密钥密码

本文介绍如何在网页中使用 JavaScript 创建一个简单的对称密钥密码，使用 AES GCM 加密算法。文章提供了一个HTML代码示例，展示了密钥生成、消息加密和解密的过程，并给出了在线演示链接。
AES GCM  对称加密  JavaScript  Web Cryptography  密钥生成  加密  解密 

什么是代币化房地产？

本文介绍了tokenized real estate（代币化房地产）的概念，即将房地产或其现金流表示为区块链上的token，以提高流动性、简化流程并实现数字所有权。文章探讨了代币化房地产的多种形式，包括使用NFT表示单个房产、使用动态NFT更新房产信息、将房产分割成多个token以实现部分所有权，以及token化现金流以解锁流动性。此外，还讨论了代币化房地产的优势以及面临的技术挑战。
代币化房地产  NFT  区块链  房地产  通证化  Chainlink 

以太坊 - Proto-Danksharding (Deneb & Electra) - Manunalepa

本文深入探讨了以太坊的Proto-Danksharding (EIP-4844)，重点介绍了blobs的概念及其在以太坊rollup中的应用，分析了blobs的特性，包括成本效益、大小限制和生命周期，讨论了blob费用机制，以及增加blob数量以提高layer2扩展性的挑战，最后引入了分片和数据可用性抽样(DAS)的概念，以应对这些挑战。
EIP-4844  Proto-Danksharding  blobs  Rollup  KZG承诺  分片