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

vault · jl2012/bips 中的 bips/bip-0114.mediawiki

该BIP（比特币改进提案）提出了“Merklized Script”的概念，旨在通过使用 Merkle 树编码脚本中的互斥分支，实现更复杂的赎回条件，提高隐私性，并允许包含非共识强制数据。它通过 Merkle 根编码互斥的条件脚本分支，从而减少赎回栈的大小，并实现 O(log n) 的可扩展性。
Merklized Script  Merkle 树  隔离见证  脚本  比特币  P2WSH 
  • jl2012
  • 发布于 2025-05-04
  • 阅读 ( 836 )

以太坊智能合约开发框架：Hardhat v2 核心功能从入门到基础教程

in  以太坊与以太坊DApp
Hardhat 是以太坊软件开发的集成环境，由支持智能合约与去中心化应用（dApp）编辑、编译、调试及部署的多个组件构成，这些组件协同工作形成完整的开发环境。
  • Revel.eth
  • 发布于 2025-05-04
  • 阅读 ( 3662 )
  • ( 26 )

哥布林 Plonk 递归手册

Goblin Plonk 是一种lazy recursive proof composition 技术，它通过使用Instruction Machine和 Curve Transposition Circuit 来提高SNARKs的效率。
Goblin Plonk  递归证明组合  SNARK  Instruction Machine  Curve Transposition Circuit  椭圆曲线虚拟机 

Math - OpenZeppelin 文档

本文档介绍了OpenZeppelin Contracts库中的Math模块，该模块提供了一系列与数学相关的实用工具，包括SafeMath、SignedSafeMath和Math库，用于执行安全算术运算，避免溢出和除零等错误。SafeMath库实现了无溢出的加减乘除模运算，SignedSafeMath库实现了有符号整数的安全算术运算，Math库则提供了一些标准数学实用函数，如最大值、最小值和平均值。
SafeMath  SignedSafeMath  溢出  算术运算  Solidity  数学 

基于RLNC的替代DAS概念

本文提出了一种基于RLNC（随机线性网络编码）的数据可用性采样（DAS）替代方案，该方案结合了RLNC擦除编码和Pedersen承诺。该方案旨在优化以太坊的数据传播，通过减少数据冗余和优化网络结构，降低了带宽需求，并提高了数据可用性的效率。方案中详细探讨了各种设计思路及其优缺点，并提出了未来的研究方向。
数据可用性采样  RLNC  Pedersen承诺  erasure coding  以太坊  P2P网络 

Sunnyside Devnet 更新 - 07/14

本文是Sunnyside Devnet 07/14的更新报告，主要关注在高blob吞吐量下网络带宽的基准测试。报告涵盖了blob吞吐量、网络使用情况、CPU/RAM使用情况和创世同步等多个方面的测试结果，通过限制网络带宽，分析了不同客户端在应对高负载和网络约束时的表现，并识别了影响吞吐量的瓶颈。
以太坊  Devnet  blob吞吐量  网络带宽  客户端  性能测试 

常见的address(this)，tx.origin 和 msg.sender 语句解释

在 Solidity 中，address(this)、tx.origin 和 msg.sender 是三个与合约地址和调用者相关的重要概念，理解它们的作用对于编写安全、高效的智能合约至关重要。
tx.origin  msg.sender 
  • Dapplink
  • 发布于 2025-05-04
  • 阅读 ( 1293 )
  • ( 2 )

Rust 编程：零基础入门高性能开发

in  Rust
Rust编程：零基础入门高性能开发想掌握一门兼具C++性能与现代安全性的编程语言？Rust正是你的理想选择！作为席卷系统编程和高性能开发领域的“新星”，Rust不仅被Firefox和GoogleFuschia等大厂采用，还因其零基础友好的学习路径受到开发者追捧。本文将带你从安装
Rust 

BTC DeFi 是无意义的

BTC DeFi 是无意义的
btc  DeFi 

Fluxus 新版本支持 gharchive 数据源，开启 GitHub 数据分析新体验​

各位专注GitHub数据分析的小伙伴们，好消息来啦！Fluxus全新版本正式上线，这次更新带来了一个超实用的功能——支持gharchive数据源！这一重大升级，将为你的数据分析工作注入全新活力，打开更多可能性！gharchive数据源一直以来都备受数据分析师们的青睐，它就像一个庞
Rust  Fluxus  流处理引擎 
  • King
  • 发布于 2025-05-04
  • 阅读 ( 1269 )
  • ( 21 )

图灵转向副驾驶：减少认知负荷

文章讨论了通用人工智能（GenAI）日益普及对人类认知能力的影响。研究表明，GenAI在学术研究等认知挑战性任务中的应用增加，可能导致人类认知能力的下降甚至依赖。强调了GenAI虽然可以作为辅助工具，但过度依赖可能导致对复杂任务的理解不足和判断偏差的问题。
通用人工智能  认知能力  强化学习  自然语言处理  transformer模型  学术研究 

Vitalik: 简化以太坊 L1

文章探讨了以太坊协议的简化，旨在提高其可扩展性和弹性。核心观点包括简化共识层（如采用3-slot finality）、用更简单高效的虚拟机（如RISC-V）替代EVM，以及在协议的不同部分之间共享标准，如统一的擦除码、序列化格式和树结构。通过这些简化措施，以太坊有望降低开发和维护成本，减少漏洞风险，并实现更广泛的社区参与。
以太坊  协议简化  RISC-V  EVM  共识层  Execution Layer  SSZ 

以太坊的大胆演进、比特币的用途辩论，以及Tether的Q1认证

本周新闻包括以太坊重新规划 Layer 1 的发展方向（包括提高gas限制，改变基金会领导，升级EVM），比特币社区关于如何使用网络的争论（关于OP_RETURN的提案），以及Tether发布的2025年第一季度USDT的储备证明报告，报告显示利润下降，但USDT依然占据稳定币市场主导地位。
以太坊  比特币  Tether  USDT  Layer 1  OP_RETURN  稳定币 
  • Galaxy
  • 发布于 2025-05-03
  • 阅读 ( 622 )

Web3 极客日报 #1732

  • rebase
  • 发布于 2025-05-03
  • 阅读 ( 759 )
  • ( 7 )

Web3审计：不仅仅是寻找漏洞 – ImmuneBytes

文章讨论了Web3安全审计的重要性，强调了智能合约审计在防止黑客攻击和漏洞利用方面的关键作用。文章还探讨了审计师的角色，有效的审计流程，以及未来审计在安全设计咨询、实时监控、形式化验证和安全教育等领域的发展方向。
Web3  安全审计  智能合约  漏洞  代码安全  形式化验证 

研发NamePump期间的那些事（4）：主网上线了

内容资产化平台NamePump主网上线

zkVerify：模块化时代缺失的一层

本文分析了在以太坊上验证 ZK 证明的成本高昂且效率低下的问题，并介绍了 zkVerify，一个专为 ZK 证明验证而构建的 L1 区块链，旨在降低验证成本、简化集成流程并提高 ZK 应用的可扩展性。zkVerify 通过提供通用的 ZK 验证层，使开发者能够一次证明，随处验证，从而显著改善开发体验，并为 ZK Rollups 和 zkApps 带来诸多益处。
ZK 证明  zkVerify  验证成本  以太坊  L1  STARK  SNARK 

Optimism桥：2025年最快桥接到Optimism的方式

本文介绍了Optimism作为以太坊Layer 2扩展方案的重要性，并对比了不同的桥接方案。重点推荐了Across桥，因为它能提供快速、低成本且安全的资产转移，尤其适合需要在Optimism生态系统中进行DeFi和NFT操作的用户。
Optimism  Layer 2  桥  跨链互操作性  以太坊  扩展方案 
  • across
  • 发布于 2025-05-03
  • 阅读 ( 615 )

富兰克林邓普顿力挺 BTCFi：为投资者创造"新效用"

专注比特币 DeFi 不会动摇其核心定位。
BitLayer  btc 

Rust 编程入门：Struct 让代码更优雅

in  Rust
Rust编程入门：Struct让代码更优雅想写出简洁又高效的代码？Rust的Struct带你轻松入门！在Rust编程世界中，Struct（结构体）是组织数据、提升代码质量的利器。无论是定义用户资料、计算几何面积，还是构建复杂逻辑，Struct都能让你的代码更优雅、更清晰。本文将从
Rust