零知识证明

暗池作为替代交易系统，通过隐藏交易细节减少市场影响，但面临信息泄露和监管审查问题。 链上暗池利用区块链技术提供匿名性，消除中心化中介依赖，解决传统暗池信任问题。 采用零知识证明（ZKP）和多方计算（M...

摘要 Space and Time (SXT) 是一个去中心化数据处理平台，通过创新的Proof of SQL零知识证明技术，实现智能合约跨链数据查询与验证。其双层架构（验证层+数据仓库）支持HTAP...

Anagram团队推出开源可验证计算系统Bonsol，专为Solana生态设计。该系统通过零知识证明技术实现链上隐私数据验证，支持开发者构建无需信任的Dapp。Bonsol采用RISC0工具链，提供两...

背景介绍 4月10日，A16z Crypto发布零知识解决方案Jolt，集成SNARK技术加速区块链扩展，性能较现有zkVMs提升2倍。ZK-Rollup作为以太坊扩容核心方案，面临EVM兼容性挑战...

零知识证明是一种在不透露陈述内容的情况下验证其真实性的密码学方法，由证明者和验证者两方参与。其核心特性包括完整性、健全性和零知识性，分为交互式和非交互式两种类型。ZK-SNARK和ZK-STARK是两...

摘要 Karat是一个创新的区块链平台，致力于融合Web2和Web3身份，使用户能够管理和变现数字足迹。通过采用零知识证明（ZK）和多方计算（MPC）等先进技术，Karat提供安全的数据交换和激励机制...

以太坊的链上计算限制促使DeFi协议将订单簿、风险系统等组件迁移至链下，但带来了信任问题。ZK协处理器（如Axiom和Risc Zero Bonsai）通过零知识证明实现可验证的链下计算，在保持去中心...

摘要 Miden是由Polygon Labs孵化的"边缘区块链"项目，通过STARK零知识证明技术实现客户端本地执行与链上验证的创新架构。其核心优势包括：高吞吐并行处理（Actor模型）、默认隐私账本...

什么是Dmail网络? Dmail网络是一个由人工智能驱动的分散式通信基础设施，旨在为用户、开发者和营销人员提供加密电子邮件、统一通知和针对性营销服务，涵盖多个链和dApp。Dmail网络允许用户像电...

Radius通过密码学驱动的安全排序解决方案，解决Rollup面临的审查风险、MEV攻击和互操作性难题。其核心技术包括：1）采用加密内存池和零知识证明防止交易审查；2）基于排序机制实现快速交易确认；3...