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

漏洞披露：Cairo VM中潜在的排序器-证明器不一致性问题

Starkware发现Cairo VM中存在一个关键问题，该问题可能导致程序在VM上成功执行但违反AIR约束，已通过PR修复并发布更新。
Cairo VM  AIR约束  StarkWare  指令解码  安全验证 

2025 年 Base 扩容：亚美分交易费用助力全球链上化

Base 团队致力于扩展其区块链平台，目标是在 2025 年达到 250 Mgas/s 的吞吐量。
L1数据可用性  吞吐量  客户端执行速度  故障证明系统  状态增长  PeerDAS 

【Rust 基础入门】(02) | 数值类型、布尔、字符类型

in  Rust 基础入门指南：为 Solana 合约学习铺路
本文介绍了 Rust 语言中的数值类型（整数与浮点数）、布尔类型和字符类型，涵盖了基础概念、示例代码以及相关运算规则。
Rust 入门  Rust 基础 
  • 0xE
  • 发布于 2025-02-08
  • 阅读 ( 1425 )
  • ( 23 )

终极 Web3 安全路线图：如何成为 Web3 审计师

这篇文章详细阐述了Web3安全审计员的职业路径与必要技能，为没有编码背景的读者提供了入门的 roadmap。文章强调了Web3安全的重要性、可观的收入潜力以及如何通过逐步学习与实践来实现这一职业目标。通过各种学习资源和实践机会，读者可逐步掌握必要的技能，迈向成功的Web3审计师之路。
web3安全  智能合约  审计  Solidity  路线图  安全审计 

编写安全的Uniswap v4 Hooks的最佳实践

本文探讨了在Uniswap v4中开发安全hooks的重要实践，强调了避免意外回退、提升Gas效率以及加强输入验证和访问控制等关键安全考虑。文章提供了一系列最佳实践，帮助开发者在利用hooks增强流动性管理和交易操作时，有效降低安全风险并保护用户资金。
uniswap v4  Hooks  安全实践  DeFi  输入验证  燃气效率 
  • Certora
  • 发布于 2025-02-08
  • 阅读 ( 628 )
  • ( 2 )

如何使用 Anchor 创建和使用 Solana 代币扩展

如何使用 Anchor 创建和使用 Solana 代币扩展
Token-2022  Anchor  SPL Token  Solana 
  • QuickNode
  • 发布于 2025-02-08
  • 阅读 ( 2742 )
  • ( 61 )

区块链架构：其工作原理及安全性分析

本文深入探讨了区块链架构，阐述了其工作原理以及安全性的来源。文章详细介绍了区块链的关键组成部分，包括区块、链、共识机制（如PoW和PoS）、去中心化、密码学和不可篡改性。通过结合密码学和去中心化，区块链能够确保数据的安全性、透明性和不可变性，从而为金融、治理等领域的数字化转型奠定基础。
区块链  共识机制  PoW  PoS  密码学  去中心化 

Shardines：Aptos的分片执行引擎突破100万TPS

本文介绍了Shardines，一个旨在实现区块链执行引擎水平可扩展性的项目，能够处理超过100万的每秒交易（TPS）。它通过动态分区和微批处理、流水线等创新策略，减少跨分区的网络通信和等待时间。此架构的目标是支持全球规模的Web3应用，并提升系统的灵活性和资源优化。
Shardines  区块链  水平可扩展性  微批处理  Aptos  Block-STM 
  • aptoslabs
  • 发布于 2025-02-07
  • 阅读 ( 1174 )
  • ( 6 )

【zkMIPS系列】ZKM Prover—Poseidon STARK

in  zkMIPS解读
Poseidon的执行过程包括以下6个步骤：初始化、完整轮次计算、部分轮次计算、电路约束生成、生成多项式承诺、证明生成与验证。整个过程用于生成最终的零知识证明。
zkVM  zkMIPS 
  • ZKM
  • 发布于 2025-02-07
  • 阅读 ( 1380 )
  • ( 16 )

“仅仅信任我们”的结束

本文深入探讨了Arcium平台如何通过多方计算（MPC）技术实现隐私保护计算，以满足现代企业和去中心化应用对敏感数据的高速安全处理需求。此外，文章分析了目前主流隐私保护技术如零知识证明（ZKP）、全同态加密（FHE）、可信执行环境（TEE）存在的局限，并介绍了Arcium的创新架构及其在去中心化金融（DeFi）和人工智能领域的应用前景。
MPC  隐私计算  Arcium  零知识证明  完全同态加密  去中心化金融 

十大Solidity面试问题：让你成功通过编码面试

本文收集了10个常见的Solidity面试问题，旨在帮助求职者准备Solidity技术面试。这些问题不仅适合潜在的Solidity开发者自我测试，也可供招聘经理用以评估应聘者的技能水平。每个问题都提供了示例答案和简要解释，以帮助读者理解其重要性。
Solidity  智能合约  面试问题  区块链  EIP  安全性 
  • Cyfrin
  • 发布于 2025-02-07
  • 阅读 ( 930 )

为我们所有人解读 Verkle 树：第一部分

本文详细介绍了以太坊即将进行的“Verge”升级及其核心概念——Verkle树。Verkle树是基于向量承诺和Merkle树的结合，旨在减少证明大小，提高以太坊状态的存储效率。通过对Merkle树的局限性进行分析，文章展示了Verkle树如何解决核心问题，并为以太坊生态系统提供更高效的存储方案。
Verkle树  Merkle树  向量承诺  以太坊升级  状态存储  加密技术 

ICICLE-Stwo 简介：一种 GPU 加速的 Stwo 证明器

Ingonyama 与 Starkware 合作，通过 CUDA 后端加速 Starkware 的 Stwo 证明器，在不改变 Stwo 前端设计的前提下，ICICLE-Stwo 在多个 CPU/GPU 配置中实现了比 Starkware 优化后的 SIMD 后端 3.25x-7x 的性能提升. ICICLE-Stwo 仓库完全开源，可直接替换标准 Stwo 证明器。
Stwo  Circle STARK  GPU加速  CUDA  证明器  ICICLE 

Web3 极客日报 #1669

  • rebase
  • 发布于 2025-02-07
  • 阅读 ( 947 )
  • ( 12 )

验证者证明：一种用于以太坊 DHT 的简单匿名凭证方案 - 密码学

本文提出了一种针对以太坊数据可用性抽样（DAS）中分布式哈希表（DHT）的Sybil攻击的防御方案，称为“验证者证明”（Proof of Validator）。该方案利用零知识证明，使DHT参与者能够在不泄露身份的情况下证明其为以太坊验证者，从而提高攻击者的成本并增强DHT的安全性，文中讨论了使用Merkle树和lookups两种方法实现validator proof，并分析了各自的优缺点。
验证者证明  零知识证明  分布式哈希表  数据可用性抽样  Sybil攻击  以太坊 

zkFOCIL：使用可链接环签名的包含列表隐私 - 权益证明/区块提议者

本文提出了改进 FOCIL 隐私性的一种新方法，该方法基于可链接环签名（LRS），允许验证者私下发布包含列表，从而隐藏包含者的身份。该方案包括一个私有抽奖协议，从验证者集中选择包含者委员会，以及一个匿名化包含者消息的 LRS 方案，并提出了一个基于通用 SNARK 的 LRS 实例化方案。目标是激发对更高效、更优雅的LRS方案的专业构建的研究。
FOCIL  可链接环签名  LRS  隐私  SNARK  包含列表 

构建一个DApp - OpenZeppelin 文档

本文介绍了如何使用 OpenZeppelin 的库（如 Network JS 和 hot-loader）构建 DApp，包括连接到以太坊网络、热加载合约，以及使用 Starter Kits 快速启动 DApp 的方法。文章还提供了一些快速开始的示例代码，并引导开发者进行下一步的测试和网络连接。
DApp  以太坊  OpenZeppelin  Network JS  hot-loader  智能合约 

dYdX v4技术架构概览

本文介绍了 dYdX v4 的架构及其核心组件，强调其完全去中心化的特性。dYdX v4 将成为一个独立的 L1 区块链，使用 Cosmos SDK 和 CometBFT PoS 共识协议，支持多种节点类型以及开放源码的前端应用，旨在提升用户体验和交易效率。
dydx  区块链  Cosmos SDK  CometBFT  去中心化  开放源码 
  • dYdX
  • 发布于 2025-02-07
  • 阅读 ( 1282 )
  • ( 7 )

如何使用QuickNode设置方法速率限制

本文介绍了如何在 QuickNode 上设置和测试方法特定的速率限制，以防止 API 滥用并优化资源使用。涵盖了速率限制的概念、配置方式以及测试示例，适合需要管理 API 使用的开发者和团队。
速率限制  QuickNode  API  区块链  Node.js  以太坊 
  • QuickNode
  • 发布于 2025-02-07
  • 阅读 ( 1141 )
  • ( 10 )

拨款更新 - 2024年第四季度

该文章总结了以太坊基金会在2024年第四季度资助的多个项目，这些项目涵盖社区教育、共识层、密码学与零知识证明、开发者工具、执行层、通用研究、L2等方面，旨在推动以太坊生态系统的发展。总计资助金额超过一千一百万美元。
以太坊  零知识证明  密码学  开发者工具  L2  共识层