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

剖析 提议者承诺 - 一种可信的以太坊链外提议者承诺方案

本文探讨了以太坊中的提议承诺机制，定义了提议承诺的概念，并详细分析了现有的承诺方案如MEV-Boost及其应用，强调了提议代理在提升去中心化和抗审查性中的关键作用。文章还探讨了提议委派的必要性及其所面临的挑战，并提出了设计有效承诺协议所需的关键组成部分。
提议承诺  mev-boost  以太坊  去中心化  可信承诺机制  提议代理 
  • lu-ban
  • 发布于 2025-03-23
  • 阅读 ( 435 )
  • ( 7 )

以太坊 - EIP-7702 介绍

EIP-7702是2025年Pectra硬分叉中提出的一项提案，旨在使外部拥有账户（EOA）能够像智能合约一样执行代码，从而解决EOA的单一故障点、功能有限以及Gas费用支付等问题。通过新类型的交易和权限委托设计，这一提案为EOA引入了多重签名、批量交易和自定义身份验证等功能，大大增强了用户体验。
EIP-7702  EOA  智能合约  权限委托  批量交易  账户抽象 
  • EthTaipei
  • 发布于 2025-03-23
  • 阅读 ( 504 )
  • ( 21 )

手把手教你从0到1构建UniswapV2：part3

in  手把手带你实现Uniswap

我们的UniswapV2已经实现了最关键的部分——配对合约。不过我们还没有算上一些协议交易的费用（Uniswap从每笔流动性存款中收取的费用），这篇文章，我们会实现这部分内容，
Uniswap V2 
  • Louis
  • 发布于 2025-03-22
  • 阅读 ( 955 )
  • ( 9 )

Web3 极客日报 #1703

  • rebase
  • 发布于 2025-03-22
  • 阅读 ( 552 )
  • ( 7 )

DEFI - 标题 - Umaprotocol

该UMIP定义了Across V3的更新协议规范，是对Across V2规范的主要改进。Across V3增加了对新功能的支持，同时简化了现有协议。该协议更新旨在更好地支持跨链桥的意图驱动未来，包括支持用户和中继者之间具有强制执行力的限时协议，使Across可以作为第三方高效、模块化的跨链结算系统使用，并允许存款人在指定时间内未完成中继的情况下直接在原始链上获得退款。
跨链桥  ACROSS V3  协议规范  中继者  意图执行  结算系统 

智能合约安全审计入门：将不同合约部署到同一地址

本文分析了一种利用CREATE和CREATE2操作码在不同时间将不同合约部署到同一地址的攻击技术，并提供了相应的防御策略。
智能合约安全  CREATE  CREATE2  selfdestruct  delegatecall  代码哈希 
  • slowmist
  • 发布于 2025-03-22
  • 阅读 ( 386 )
  • ( 9 )

当密文等于消息时：RSA中的消息隐藏

本文探讨了RSA加密中的消息隐藏现象，即某些明文消息在加密后仍然等于其密文。文章解释了RSA加密的原理，并通过Python代码演示了如何找到这些未隐藏的消息，以及如何计算未隐藏消息的数量和百分比，最后，文章还提供了一个在线工具，供读者尝试。
RSA  加密  消息隐藏  模数  公钥  私钥 

宇宙中的电子数量比512位质数多吗？

文章探讨了宇宙中电子数量与不同位数的质数数量的对比，指出质数的数量远大于电子的数量，特别是在密码学中使用的2048位质数。文章介绍了评估质数数量的方法，包括使用Sieve of Eratosthenes算法和Riemann R函数，并提供了Python和PowerShell代码示例来生成和测试质数，强调了质数在公钥加密中的重要性以及生成大质数的必要性。
质数  RSA  密码学  Miller-Rabin测试  Riemann R函数  Sieve of Eratosthenes 

探索数据库系统：从概念到应用的全景概览

in  Web3

探索数据库系统：从概念到应用的全景概览在信息时代，数据库系统是数据管理的核心支柱，支撑着从日常手机应用到企业复杂数据处理的各种场景。无论是社交媒体上的个人动态，还是企业中的海量交易记录，数据库系统都默默发挥着关键作用。本文将带您走进数据库系统的世界，探索其基本概念、技术演进、体系结构以及数据模型，
数据库 

RISC Zero通往首个形式化验证RISC-V zkVM之路

RISC Zero正与Veridise合作，使用Picus工具对zkVM的组件进行形式化验证，以提升ZK安全性。通过数学方法证明电路的确定性，从而消除约束不足的错误，已成功验证Keccak加速器电路的确定性，并正在验证RISC-V电路。此举旨在创建一个既快速又安全zkVM，使开发者无需在性能和安全性之间妥协。
zk  zkVM  RISC-V  形式化验证  确定性  Picus 

Solidity 开发者必知的 Rust 语法基础

in  Solana 学习开发之旅

本文针对熟悉 Solidity 的开发者，介绍其常用语法并展示在 Rust 中的对应实现。
Solana  Anchor 
  • 0xE
  • 发布于 2025-03-22
  • 阅读 ( 952 )
  • ( 11 )

Solana 程序：支持升级与无构造函数实现

in  Solana 学习开发之旅

Solana 程序通过 Anchor 部署无需构造函数，默认可升级且可转为不可变，简化了状态管理与升级流程。
Solana  Anchor 
  • 0xE
  • 发布于 2025-03-22
  • 阅读 ( 891 )
  • ( 15 )

Solana Anchor 框架下的 Require 与自定义错误

in  Solana 学习开发之旅

本文将通过示例解释如何在参数不符合预期时中止交易，并探讨 Solana 与以太坊在错误处理上的差异。
Solana  Anchor 
  • 0xE
  • 发布于 2025-03-22
  • 阅读 ( 830 )
  • ( 15 )

Sepolia Pectra 事件事后分析

Sepolia 测试网在 Pectra 升级期间发生意外，原因是 Sepolia 的许可存款合约与 EIP-6110 交互存在问题，攻击者通过发送恶意交易触发该问题。开发团队迅速响应，在数小时内修复并重新部署，网络恢复正常，未丢失最终性。此次事件仅限于 Sepolia 测试网，不会影响以太坊主网。
Sepolia测试网  Pectra升级  EIP-6110  许可存款合约  攻击缓解  客户端发布 

DappLink 一键发钱包技术解决方案

随着 Web3 生态的快速发展，数字资产管理成为区块链应用的重要组成部分。无论是交易所、中心化钱包，还是去中心化的 MPC 托管系统，都需要高效、安全且可扩展的钱包基础设施。
钱包 

这次一定好好学 Solana (3) : 交易和费用

这篇应该是正式写代码前最后的理论知识了,我这篇绝对比看官网文档效率高,官网像一个冰冷的机器,而我的是一个有温度的肉体Solana交易入门：从拼装参数到SVM执行我之前学过BTC、Sui和CKB的开发，感觉区块链交易这东西其实挺简单的。说白了，跟Web2调用接口没啥本质
  • dgu
  • 发布于 2025-03-21
  • 阅读 ( 1010 )
  • ( 34 )

深度解析：Solana DePIN - 2025年2月

该文章分析了2025年2月Solana生态上的去中心化物理基础设施网络 (DePIN) 的发展情况。
DePIN  Solana  Helium  Hivemapper  Render  NATIX 
  • syndica
  • 发布于 2025-03-21
  • 阅读 ( 57 )

Web3 极客日报 #1702

  • rebase
  • 发布于 2025-03-21
  • 阅读 ( 863 )
  • ( 8 )

破解近乎单向函数

本文介绍了Rabin函数，一种基于大素数分解难度的单向置换函数，并展示了如何利用其后门函数（已知素数因子）来逆转伪随机序列。文章提供Python代码示例，演示了在已知素数p和q的情况下，如何从当前值计算出序列中的前一个x值，揭示了其背后的数学原理。
Rabin函数  单向置换  伪随机数生成器  后门函数  Blum整数  模运算 

ERC-4337：两年后回顾

本文回顾了ERC-4337的实现及两年来在以太坊上的应用，探讨了不同项目在账户抽象领域的成就以及与此相关的生产统计数据。文中详细介绍了ERC-4337的新概念与组件，如账户合约、用户操作、EntryPoint等，并分析了用户使用情况和项目间的竞争。最后，提出了现行标准的问题及新标准的解决方案，展望了账户抽象的未来。
ERC-4337  账户抽象  以太坊  用户操作  EntryPoint  Paymaster