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

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

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

深入研究：Solana DePIN - 2025年6月

该文章是Syndica对2025年6月Solana DePIN的深入研究报告，报告显示Solana DePIN项目收入创新高，达到71.6万美元，累计收入达到300万美元。同时，Solana在吸引deployers方面表现出色，连接设备数量 tripled，开发活动自2022年以来也变得更加多样化，Solana已经成为新的DePIN协议中心。
DePIN  Solana  Helium  Render  Hivemapper  NATIX 
  • syndica
  • 发布于 2025-07-16
  • 阅读 ( 1441 )
  • ( 23 )

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

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

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

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

ETH2.0的组织结构浅析

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

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

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

一个密文，多个消息：FHE中的SIMD操作

本文深入探讨了全同态加密（FHE）中的单指令多数据（SIMD）操作，详细阐述了如何利用代数和数论的概念，特别是理想、商环、单位根、分圆多项式以及中国剩余定理，将多个明文值打包进一个密文中，并同时进行并行计算，从而显著提高FHE的效率，使其从理论走向实际应用。文章还探讨了如何通过Galois自同构和掩码技术实现数据的移动和旋转。
全同态加密  Simd  同态运算  密码学  单位根  分圆多项式 
  • hexens
  • 发布于 2025-07-15
  • 阅读 ( 284 )

Web3 极客日报 #1777

  • rebase
  • 发布于 2025-07-15
  • 阅读 ( 635 )
  • ( 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
  • 阅读 ( 499 )

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

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

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

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

CoW Flash Loan Router审计总结

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

稳定币三张牌照给了谁？

香港金管局于2025年7月至8月间公布首批稳定币牌照名单，京东科技、渣打银行联合体以及蚂蚁集团（通过蚂蚁国际）成为幸运的首批获牌企业。这一具有里程碑意义的事件，标志着香港在亚洲稳定币监管以及现实世界资产（RWA）代币化领域迈出了关键的一步。接下来，我们将深入剖析首批牌照背后的背景、三家获牌企业的核心
稳定币 

Uniswap V2-无偿损失计算

​什么是无偿损失？如何计算无偿损失

怎么购买稳定币？详细指南来了！

在加密货币市场中，稳定币因其价格相对稳定的特性，成为了众多投资者的选择。那么，该怎么购买稳定币呢？下面为你详细介绍。选择可靠的交易平台购买稳定币的第一步是选择一个可靠的加密货币交易平台。目前市场上有许多交易平台，如币安、火币等。在选择平台时，要考虑平台的信誉、安全性、交易手续费以及支持的稳定币种

Solana 智能合约中的资源限制

本文深入探讨了Solana智能合约开发中可能遇到的各种资源限制，包括计算单元（CU）限制、交易大小限制和堆栈大小限制。文章详细解释了这些限制的原因、影响以及如何通过优化代码来规避这些限制，以确保智能合约在Solana区块链上高效、安全地运行。
Solana  智能合约  计算单元  交易大小限制  堆栈大小限制  QUIC 

华盛顿“加密货币周”：三大法案如何改写加密命运？

本周，华盛顿迎来了被誉为“加密货币周”的关键时刻，美国国会正加速推进多项支持加密货币的立法，预示着加密货币行业将迎来重大变革。这不仅为行业注入了新的增长动力，也将显著降低其未来风险。“加密货币周”的立法亮点7月3日，美国众议院通过一份低调但影响深远的新闻稿，正式宣布6月14日起为“加密货币周

Jagged多项式承诺

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

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

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

Halmos v0.3.0 版本发布亮点

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