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

登链 Weekly 2025/3/23

欢迎阅读登链社区最新一期周报！
周报 
  • 乌索普
  • 发布于 2025-03-23
  • 阅读 ( 1373 )
  • ( 14 )

网络安全生日悖论！

本文介绍了生日悖论以及它在密码学中的应用，特别是在哈希碰撞方面的应用。通过生日悖论，可以理解攻击者如何利用较少的计算量找到哈希碰撞，并探讨了MD5、SHA-1等哈希算法的安全性问题，以及量子计算对密码学的影响。最后，建议使用更长的密钥和哈希值，如256位的AES和SHA-256，以提高安全性。
生日攻击  哈希碰撞  MD5  SHA-1  量子计算  密码学 

Web3 开发实战：用 Anchor 打造 Solana 猜数游戏

in  Solana
Web3开发实战：用Anchor打造Solana猜数游戏在Web3浪潮席卷全球的今天，Solana以其超高的交易速度和低廉的成本，成为区块链开发者的热门选择。而Anchor框架作为Solana生态的利器，让智能合约开发变得简单又高效。本文将带你走进Web3开发的世界，通

Solidity on Polkadot: Web3 实战开发指南

in  Web3
SolidityonPolkadot:Web3实战开发指南Polkadot2.0为Web3开发者打开了一扇新大门：用熟悉的Solidity在跨链生态中挥洒创意。本文通过实战带你一步步掌握从项目搭建到合约部署的全流程，打造一个功能完备的PaxonToken代币合约。无论你是初

给EVM开发者的 Solana开发指南

本文介绍了EVM开发者如何转向Solana平台，包括Solana的架构、技术优势、开发工具及账户模型的不同，强调程序的无状态特性以及数据存储的外部化。同时，文章比较了Ethereum和Solana的交易处理模型、费用机制及开发工具，帮助开发者顺利过渡。
Solana  EVM  开发工具  账户模型  交易处理  费用机制 
  • QuickNode
  • 发布于 2025-03-23
  • 阅读 ( 3830 )
  • ( 154 )

比特币 - BIP-0013：bip-anyprevout - Ajtowns

该BIP (Bitcoin Improvement Proposal) 提议了一种新的比特币地址类型，以支持任意复杂的交易，这种地址类型代表了一个脚本的编码哈希值，而不是ECDSA公钥的编码哈希值。是为了实现端到端的安全钱包和支付，以及为资金托管交易或其他复杂交易提供资金，并支持第三方钱包安全服务。
比特币地址  脚本哈希  P2SH  Base58Check编码  交易 
  • ajtowns
  • 发布于 2025-03-23
  • 阅读 ( 614 )

为 Solana上的支付应用集成 MPC钱包

这篇文章深入探讨了稳定币在区块链行业的发展及其在支付市场中的应用，特别是在新兴市场和Solana区块链上的增长。文章强调了嵌入式钱包的重要性，并介绍了使用Portal基础设施的稳定币支付解决方案，展示了如Braidpay和Bleap等公司的实用案例。
稳定币  支付市场  Solana  嵌入式钱包  Portal  TSS MPC 
  • Helius
  • 发布于 2025-03-23
  • 阅读 ( 2768 )
  • ( 76 )

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

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

以太坊 - EIP-7702 介绍

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

实用工具 - OpenZeppelin 文档

本文介绍了OpenZeppelin Contracts社区版中用于密码学的多个实用工具，包括验证类型化数据签名（EIP712）、嵌套EIP712签名验证（ERC-7739）以及ERC-7913签名验证器，这些工具旨在简化智能合约中复杂签名的处理并提高账户安全性。
EIP712  ERC-7739  ERC-7913  签名验证  智能合约  密码学 

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

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

Web3 极客日报 #1703

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

DEFI - 标题 - Umaprotocol

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

使用IDA逆向Solana程序

本文介绍了作者开发的用于IDA Pro的Solana eBPF处理器插件，该插件旨在简化Solana程序的逆向工程。文章详细描述了Solana VM的架构、与rBPF的区别、syscalls的工作原理、字符串检测技术以及如何利用FLIRT技术进行函数识别，并分享了Solana IDA签名的生成方法。
Solana  逆向工程  IDA Pro  eBPF  rBPF  FLIRT 

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

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

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

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

ERC777 - OpenZeppelin 文档

该文档介绍了 OpenZeppelin Contracts 库中与 ERC777 代币标准相关的接口和合约。它涵盖了核心合约（IERC777、ERC777）以及用于开发对代币转账做出反应的合约的接口（IERC777Sender、IERC777Recipient），并提供了对每个接口和合约中函数的详细描述，包括功能、参数、事件和使用要求。
ERC777  代币标准  智能合约  IERC777  ERC777Sender  ERC777Recipient 

宇宙中的电子数量比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