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

3. Coin Filp

这是一个掷硬币的游戏，你需要连续的猜对结果。完成这一关，你需要通过你的超能力来连续猜对十次。
  • YaCo
  • 发布于 2025-07-16
  • 阅读 ( 559 )
  • ( 18 )

Rust 生产级后端实战：用 Axum + sqlx 打造高性能短链接服务

in  Rust
Rust生产级后端实战：用Axum+sqlx打造高性能短链接服务当我们在谈论后端开发时，“高性能”和“高可靠”是永恒的追求。正因如此，以安全和并发著称的Rust成为了越来越多开发者构建下一代服务的首选。但是，如何将Rust的语言优势，真正转化为一个健壮、高效、可维护的生产级应用呢
Rust 

RISC-V 是什么？

本文介绍了RISC-V架构，它是一种精简指令集计算机（RISC）指令集架构，具有开源、模块化和可扩展的特点。文章回顾了CISC和RISC的历史，解释了RISC-V的优势，如无需授权费、可定制的模块化设计以及对现有编译器的良好支持。最后，探讨了RISC-V在中国的应用、Android实验以及区块链和Web3领域的潜力。
RISC-V  指令集架构  CISC  RISC  编译器  开源 

无边界的比特币：无线电波传输

本文探讨了使用无线电波传输比特币交易的创新方法 Kryptoradio，旨在解决互联网连接的局限性，提高比特币交易的可访问性和韧性。文章介绍了Kryptoradio的技术原理、历史背景、实际应用案例以及技术和监管方面的考虑，强调了其在偏远地区、自然灾害等场景下的重要性，并展望了其对比特币生态系统的潜在影响，同时突出了相关技术和监管挑战。
比特币  无线电波  Kryptoradio  交易传输  去中心化  DVB-T 
  • BTCStudy
  • 发布于 2025-07-16
  • 阅读 ( 799 )
  • ( 45 )

Polocolo介绍：一种利用查找表的PLONK零知识友好型哈希函数（第一部分）

作者设计了一种新的零知识友好型哈希函数Polocolo，它利用PlonKup和lookup tables，在PLONK门数量上优于当前state-of-the-art的ZK-friendly哈希函数，例如Anemoi和Reinforced Concrete。
零知识证明  哈希函数  密码学  PLONK  PlonKup  lookup tables 
  • zellic
  • 发布于 2025-07-16
  • 阅读 ( 932 )
  • ( 50 )

经典重入攻击案例分享及解析

什么是重入攻击重入攻击（ReentrancyAttack）？要如何解决并避免类似的问题？
Solidity 

ETH2.0的组织结构浅析

组织结构ETH2.0的项目组织结构主要由信标链、执行链和分片链组成：信标链信标链是ETH2.0的核心，担任着网络的“指挥中心”角色。
ETH 2.0 

GenLayer：用于主观数据的 AI 共识

GenLayer 是一种新的协议，通过将 AI 集成到其共识层中，从而开启了新的功能，使开发人员可以构建一种新的“智能合约”。它采用了一种新的共识模型“乐观民主”，该模型在主观数据上建立可靠的共识，而没有单一的正确答案。智能合约可以直接访问任何实时网站，而无需依赖外部预言机，并集成了以太坊 Rollup，以实现高交易吞吐量和低费用。
智能合约  AI  共识机制  乐观民主  GenLayer  LLM 
  • DAIC
  • 发布于 2025-07-15
  • 阅读 ( 180 )

Web3 极客日报 #1777

  • rebase
  • 发布于 2025-07-15
  • 阅读 ( 469 )
  • ( 15 )

Valida Plus 发布（分段证明、区块证明、客户端证明）

Valida 0.10.0 版本发布，带来了多个重要更新，包括支持分段证明（Continuations），可以在浏览器端生成和验证 zk 证明的 WASM API，以及编译器工具链的升级。此外，还引入了实验性的 Secp256k1 和 Memcpy 操作码，并提供了 x86 和 ARM 的 Docker 支持，Reva 项目实现了在 Valida 内部执行以太坊区块。
zkVM  零知识证明  WASM  分段证明  secp256k1  以太坊 
  • 0xlita
  • 发布于 2025-07-15
  • 阅读 ( 104 )

如果 Sui 上排名第一的借贷协议推出 DEX 会怎样？

本文深入分析了 Sui 生态中的 Suilend 和 STEAMM 两个协议，它们通过创新的 superfluid AMM 机制和模块化的 Quoter 架构，实现了高效的流动性利用和组合。
Suilend  STEAMM  Sui  流动性  DeFi  AMM 
  • 4pillars
  • 发布于 2025-07-15
  • 阅读 ( 515 )
  • ( 22 )

gill 中文文档上线 | 解锁 Solana 开发新体验

面向 Solana 开发者的全新 JavaScript 客户端。
gill 
  • 乌索普
  • 发布于 2025-07-15
  • 阅读 ( 626 )
  • ( 18 )

CoW Flash Loan Router审计总结

本文是针对CoW Flash Loan Router的安全性审计报告。Ackee Blockchain Security对CoW协议进行了安全审查，发现了一些信息级别和警告级别的问题，主要集中在代码和gas优化方面。审计认为代码质量很高，文档全面，并确认了之前发现的三个问题的修复。
CoW协议  Flash Loan Router  安全审计  智能合约  gas优化  区块链安全 
  • Ackee
  • 发布于 2025-07-15
  • 阅读 ( 296 )

Jagged多项式承诺

in  zkMIPS解读
Jagged 多项式承诺用于在列高不规则的矩阵中高效进行承诺和验证。通过定义稀疏与稠密多项式的映射，并使用多变量 Sumcheck 协议验证它们在随机点的一致性，从而实现高效、灵活的零知识证明支持。
Ziren  zkMIPS 
  • ZKM
  • 发布于 2025-07-15
  • 阅读 ( 761 )
  • ( 20 )

深入 Rust 核心：彻底搞懂指针、引用与智能指针

in  Rust
深入Rust核心：彻底搞懂指针、引用与智能指针指针，是通往底层世界的大门，也是许多程序员既爱又恨的概念。在C/C++中，它赋予了我们直接操控内存的无上权力，但也带来了悬垂指针、内存泄漏等无尽的烦恼。那么，以“安全”著称的Rust是如何处理指针的呢？它又是如何做到既能媲美C的性能，又
Rust 

Halmos v0.3.0 版本发布亮点

Halmos v0.3.0 发布，这是一个用于 EVM 智能合约的符号测试工具，通过符号执行来帮助发现错误和验证合约行为。此版本主要增加了对状态不变性测试的支持，并添加了覆盖率报告、性能改进、更好的求解器支持等功能。Halmos 现在可以查找以 `invariant_` 前缀开头的测试，并自动探索目标合约的状态，断言所有不变性条件，并报告任何失败。
EVM  智能合约  符号执行  测试  Solidity  Yices 

NFT 元数据管理全解：on-chain / off-chain × 拼接策略

in  ERC 系列标准全景图解
本篇系统梳理 NFT 中 metadata 的存储与拼接策略。我们以「数据存储位置」与「拼接方式」为两大维度，区分 On-chain / Off-chain / Fully Custom 模型，并详解 static 拼接、dynamic 拼接与 metadata 冻结机制的开发实践。
on-chain  off-chain  metadata  nft metadata  eth  Web3 
  • Henry
  • 发布于 2025-07-15
  • 阅读 ( 1482 )
  • ( 72 )

智胜Mempool掠夺者：对抗以太坊智能合约中的抢跑交易和恶意干扰攻击

本文深入探讨了以太坊智能合约中抢跑交易和恶意干扰攻击的原理、风险及应对措施。文章通过分析实际案例和提供代码示例，展示了如何利用承诺-揭示方案、时间锁、访问控制和熔断机制等技术手段，来保护智能合约免受攻击，确保交易的公平性和合约的稳定性。
前置交易  恶意干扰  智能合约  以太坊  承诺-揭示方案  安全 

Trustodial：一个本体论两难

本文分析了基于 statechain 的 Spark 系统的信任模式，探讨了它是否应被归类为“非托管”钱包。作者认为，尽管用户拥有单方面取款交易，但必须信任运营者会删除旧的私钥碎片，而这一点是无法验证的，因此将其简单归类为“非托管”或“托管”都有问题。文章提出了在现有分类法之外，创建新类别的想法。
Statechain  Spark  托管  非托管  信任模式  Layer 2 
  • BTCStudy
  • 发布于 2025-07-15
  • 阅读 ( 772 )
  • ( 2 )

Web3前端攻击：黑客的新乐园

文章主要讨论了Web3安全中容易被忽视的Frontend安全问题，指出尽管智能合约安全性受到广泛关注，但Frontend作为用户与区块链交互的第一层，其安全风险日益突出。
web3安全  Frontend安全  智能合约  DNS劫持  恶意脚本  交易安全