零知识证明

zkSync是基于零知识rollup技术的以太坊第二层扩容方案，通过链下计算和加密证明实现低成本、高吞吐量交易，同时保持以太坊主网安全性。其EVM兼容性和账户抽象功能简化了开发流程，吸引Uniswap...

Hinkal Protocol隐私解决方案 Hinkal Protocol是基于以太坊的隐私交易平台，采用ZK-SNARKS技术和隐匿地址系统，实现用户与dApp的私密互动。该协议通过三重隐私保护层...

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

介绍Steel：一种强化的合金，连接RISC Zero与以太坊 RISC Zero推出的基于Alloy的视图调用证明库Steel，通过零知识证明和RISC Zero zkVM的强大功能，使开发人员能够...

zkLink 是什么，试图解决什么问题？ zkLink 是一个基于零知识证明（ZKP）技术的多链聚合协议，旨在解决区块链生态中流动性割裂和跨链成本高的问题。通过统一 L1 和 L2 链上的资产状态，z...

zk-SNARK技术通过四个关键步骤实现零知识证明：1)将问题转换为算术门电路；2)将电路转化为矩阵公式；3)将矩阵转换为多项式；4)利用椭圆曲线加密进行验证。该技术允许验证者确认证明者拥有特定知识...

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

zkTLS创新性地融合零知识证明与TLS协议，为DeFi生态提供安全隐私的数据传输方案。其通过代理服务器和多方计算技术，在保证数据完整性的同时实现选择性披露，兼容现有TLS系统并支持Web2/Web3...

零知识证明(ZKP)技术近年来在区块链扩容和隐私保护领域快速发展。本文作为系列研究首篇，系统梳理了ZKP的发展历程：从1985年GMR85论文提出交互式证明系统，到2010年Groth开创zk-SNA...

Brevis 概述 简介 Brevis 是一个零知识 (ZK) 全链数据证明平台，旨在让智能合约能够无信任地访问和处理多条区块链的完整历史链上数据。通过提供定制化计算功能，Brevis 支持去中心化金...