零知识证明

运行大型语言模型如Llama2-70B需要超过140GB内存，家用计算机难以胜任。分散推理成为解决方案，避免依赖单一云提供商。但去中心化网络面临信任问题，需验证模型是否正确运行。目前有三种主要方法：1...

什么是零知识证明（ZK Proof）？ 零知识（ZK）证明是一种在保密的同时验证信息的方法，它允许一方向另一方证明陈述的真实性，而证明者无需透露隐藏的信息。 ZK 证明通过验证隐藏数据的存在，来为公共...

发展背景 2019年Blockstream提出比特币储备证明概念，Gate交易所2020年率先实践。2022年FTX暴雷后，Binance等主流交易所全面推行储备金证明（PoR）以提升透明度。 核心机...

以太坊原生汇总（Native Rollups）通过引入执行预编译（EXECUTE precompile），使Rollup能直接利用以太坊原生验证机制，简化治理并增强安全性。该方案允许Rollup继承L...

1、RAILGUN是什么？ RAILGUN是基于以太坊等EVM链的隐私系统，通过零知识证明技术实现智能合约和DeFi交易的隐私保护，无需额外验证节点或跨链桥。它由智能合约构成，支持钱包集成，兼具安全性...

概述 Reddio是以太坊兼容的高性能Layer 2解决方案，采用并行EVM架构和GPU加速技术，结合零知识证明与AI推理能力，显著提升交易吞吐量并降低Gas费用。其模块化排序器支持多虚拟机集成，开发...

背景知识 零知识证明（ZKP）是一种密码学技术，最早由S.Goldwasser等人在20世纪80年代提出，能在不透露证据的情况下验证数学陈述。随着区块链技术的发展，ZKP被广泛应用于隐私保护和扩容方案...

摘要 Mina协议是轻量级区块链解决方案，通过zk-SNARKs技术将网络大小恒定维持在22KB，实现低能耗节点运行和去中心化验证。其原生代币$MINA用于支付交易费用和参与网络治理，采用通胀模型激励...

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

SNARK和STARK是两大主流零知识证明技术，能在不泄露信息的前提下验证陈述真实性。zk-SNARKs具备高效验证特性但需可信设置，存在潜在安全风险；zk-STARKs无需可信设置且抗量子，但验证效...