零知识证明

以太坊社区正探索去中心化人格证明方案，以解决"独特人类问题"，确保账户由真实个体控制且不暴露身份。Worldcoin项目采用生物识别技术，通过专用硬件Orb扫描虹膜生成World ID，结合ZK-SN...

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

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

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

Aligned Layer：以太坊零知识证明验证层解决方案 Aligned Layer是基于EigenLayer构建的高效验证层，旨在将以太坊转变为低成本、高性能的SNARK验证平台。该项目通过聚合多...

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

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

转发原文标题《零知识范式： 第 1 部分 - 什么是 zk-VM？》 摘要 本文深入探讨零知识证明（ZKP）及其在zk-VM中的应用。ZKP允许证明者在不泄露信息的情况下验证计算正确性，分为zkSNA...

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

存储证明是一种信任最小化技术，通过零知识证明验证区块链历史数据，无需依赖第三方存档节点。它能证明特定区块的有效性及数据存在性，支持跨链查询用户余额、交易记录等信息，解锁治理投票、空投奖励、贷款评估等应...