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

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

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

Aave Umbrella 审计摘要

本文是针对 Aave Umbrella (新版 Aave 安全模块) 的一次安全审计报告摘要。
Aave  Umbrella  安全模块  安全审计  shares inflation  股份膨胀  智能合约 
  • Ackee
  • 发布于 2025-03-22
  • 阅读 ( 72 )

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

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

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

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

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

in  Solana 学习开发之旅
本文将通过示例解释如何在参数不符合预期时中止交易，并探讨 Solana 与以太坊在错误处理上的差异。
Solana  Anchor 
  • 0xE
  • 发布于 2025-03-22
  • 阅读 ( 1354 )
  • ( 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
  • 阅读 ( 1437 )
  • ( 34 )

贡献者公约行为准则

这是一份贡献者盟约行为准则，旨在为社区成员、贡献者和领导者创建一个免受骚扰的环境。它定义了社区参与者的行为规范，包括积极行为（如友善、尊重）和不可接受行为（如性暗示、人身攻击）。该准则还规定了社区领导者的执行责任、适用范围、违规行为的报告途径以及相应的处罚措施。
行为准则  社区  贡献者  骚扰  行为规范  社区管理 

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

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

Web3 极客日报 #1702

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

破解近乎单向函数

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

使 Starknet 更加去中心化：Staking 中有哪些变化？

Starknet 计划在 2025 年第二季度推出 Staking v2，旨在测试验证者的可靠性，为全面去中心化做准备。Staking v2 引入了验证者区块确认机制和佣金调整机制，以确保验证者的活跃性和网络的稳定性，同时对验证者奖励和委托者奖励的计算方式进行了调整，以激励验证者完成区块确认任务。
Starknet  Staking v2  验证者  委托者  区块确认  去中心化 

ERC-4337：两年后回顾

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

OP_CHECKSIGFROMSTACK 操作码简介

OP_CHECKSIGFROMSTACK (OP_CSFS) 是一种操作码，可以检查对任意消息的签名。文章介绍了 OP_CSFS 的概念、原理，以及它在为签名支付、委托授权、断言机、防重复花费保证金和交易内省等方面的应用，并探讨了它的优点和缺点。OP_CSFS 提供了对运行脚本的交易的完全内省，但可能会增加交易的体积。
OP_CHECKSIGFROMSTACK  OP_CSFS  签名  比特币  智能合约  交易内省