暗池与区块链隐私：透明网络中的匿名交易研究
本文系统解析了区块链暗池的隐私架构与运作机制，重点介绍了UTXO模型、零知识证明等隐私增强技术在Portal Gate、Renegade等协议中的应用。通过对比传统暗池的运营风险，揭示了区块链暗池如何...
排序
zk-SNARKs vs zk-STARKS：全面解析两种零知识证明技术的核心区别
SNARK和STARK是两大主流零知识证明技术，能在不泄露信息的前提下验证陈述真实性。zk-SNARKs具备高效验证特性但需可信设置，存在潜在安全风险；zk-STARKs无需可信设置且抗量子，但验证效...
zkPyTorch：利用零知识证明增强PyTorch推理 构建可信AI新范式
随着AI在关键领域深度应用，传统机器学习"黑箱"模式面临模型盗用、结果篡改等风险。Polyhedra Network推出革命性编译器zkPyTorch，通过零知识证明技术实现AI推理过程的可验证性。该...
Space and Time (SXT) 是什么？区块链数据平台全面解析
摘要 Space and Time (SXT) 是一个去中心化数据处理平台，通过创新的Proof of SQL零知识证明技术，实现智能合约跨链数据查询与验证。其双层架构（验证层+数据仓库）支持HTAP...
Vitalik Buterin深度解析生物人格证明在区块链中的应用与前景
以太坊社区正探索去中心化人格证明方案，以解决"独特人类问题"，确保账户由真实个体控制且不暴露身份。Worldcoin项目采用生物识别技术，通过专用硬件Orb扫描虹膜生成World ID，结合ZK-SN...
Hinkal Protocol 全面解析：功能、优势与应用场景
Hinkal Protocol隐私解决方案 Hinkal Protocol是基于以太坊的隐私交易平台，采用ZK-SNARKS技术和隐匿地址系统，实现用户与dApp的私密互动。该协议通过三重隐私保护层...
Bonsol为Solana区块链提供高效可验证计算服务
Anagram团队推出开源可验证计算系统Bonsol，专为Solana生态设计。该系统通过零知识证明技术实现链上隐私数据验证，支持开发者构建无需信任的Dapp。Bonsol采用RISC0工具链，提供两...
Aligned Layer：优化以太坊验证效率的创新区块链解决方案
Aligned Layer：以太坊零知识证明验证层解决方案 Aligned Layer是基于EigenLayer构建的高效验证层，旨在将以太坊转变为低成本、高性能的SNARK验证平台。该项目通过聚合多...
真正的ZK应用解析：深入探讨Tornado Cash的工作原理与业务逻辑
Tornado Cash是一款基于零知识证明（ZK-SNARK）的混币器协议，通过将大量存取款行为混杂，切断资金转移痕迹。存款者存入Token后，利用ZK Proof证明存款记录，再通过新地址提款，确...
深入解析两个ZK漏洞的技术细节与影响
本文探讨了零知识证明(ZKP)系统中的两类关键漏洞：代码漏洞和设计漏洞。通过zkWasm案例研究，详细分析了"Load8数据注入攻击"和"伪造返回攻击"两种典型漏洞的形成机制及修复方案。文章指出，代码...