2023 年，零知识技术吸引了逾 4 亿美元的投资，主要关注以太坊 L1/L2 协议层的可扩展性，以及新兴的基础设施和开发者工具。零知识证明（Zero-Knowledge Proof，ZKP）及相关技术被普遍视为密码学的突破领域，尤其在区块链设计概念上被看作是终极目标。如今，零知识证明正日益成为一种 Web3 领域里未解问题的有效解决方案，包...
SatoshiVM是一个去中心化的比特币ZK Rollup Layer 2解决方案，与以太坊虚拟机（EVM）生态系统兼容，使用BTC作为gas。SatoshiVM将EVM生态系统与比特币连接起来，使比特币生态系统能够发行资产和开发应用程序。SatoshiVM具有以下技术特征：ZK EVM：SatoshiVM是一个通用的ZK Rollup，它使用EVM进行链下计算。这意味着用户可以以...
2021年，伴随着海外以太坊等公链上的应用和交易剧增，Web3的概念受到广泛关注。随着NFT市场的火热，区块链应用层被进一步打开，性能问题和隐私问题成为了区块链领域极受关注的两个方向。零知识证明技术因在区块链隐私保护和扩容方面的优势逐渐进入大众视野。什么是零知识证明零知识证明，指的是证明者能够在不向验证者提供任...
Partisia Blockchain是一条半许可隐私公链，专为信任、透明、隐私和高速而构建，用于公共和私人信息的通用协调。Partisia在区块链上提供额外的数据保护层，用户可以通过零知识计算（ZK Computations ）控制对其数据的访问。零知识计算即融合零知识证明、安全多方计算、全同态加密等技术，为区块链增加隐私和保密性。Partisi...
Holdstation是一个在zkSync Era上构建具有前瞻性的智能合约钱包，专为期货交易设计。其在原生账户抽象上的早期采用，为用户提供了一个易于使用的平台，以与dApps互动，在Layer 2和EVM链上交换代币，并在数秒内交易高达500倍的杠杆期货。Holdstation的独特之处在于其对zkSync上原生账户抽象的开创性实现。通过Paymaster实施，...
NuLink 网络是一种为开发隐私保护 APP 的技术人员们提供最佳操作方案的去中心化解决方案，且是同类型中最优质的安全和隐私保护方案。NuLink 平台提供端点加密和密码访问控制，任何敏感数据都可以从其他用户平台非常安全地共享到云端或者去中心化的储存设备，并根据代理重加密和属性加密协议，自动授权对云端或设备中敏感数据...
Myria的使命则是成为将游戏内资产所有权转移给玩家的背后推手，除了让它们增加经济价值之外，通过积极参与游戏玩家还能获得新资产的奖励。Myria的专有技术彻底改变区块链游戏行业，这将使游戏之间的互操作性达到前所未有的水平。借助Myria的可互操作NFT新标准，玩家的区块链资产可以在整个生态系统中使用。这意味着玩家可以...
ZKBase平台由三个主要部分组成：ZKBwap，这是利用ZK-Rollups技术的创新型Layer 2 AMM DEX；支付服务ZKBquare；以及名为ZKBea的NFT铸造中心和市场。凭借全新的用户界面、NFT支持、无限的代币上市、更顺畅的提现、优化的效率以及多链支持。ZKBase旨在实现与EVM兼容的ZK-Rollups，并在不久的将来为社区带来更多基于第二层的产品...
LayerAI是一个基于ZK Layer-2区块链技术的平台，它正在推动人工智能革命。LayerAI的$LAI区块链拥有超过200万活跃用户的应用程序，这使其成为发布时最大的区块链之一。ZK Layer-2区块链技术让您能够掌控自己AI数据的货币化。它将您日常生活中的每一项任务都变成收入来源。数据是新的圣杯：它是推动人工智能革命的资产。没有数...
DeGate是基于ZK-Rollup技术的去中心化订单簿交易所，特点是资金自托管、速度快、矿工费成本低。本协议设计时始终坚持了以下原则：无需信任存在DeGate协议的资金都是非托管式的，最高权限由用户掌握，其他角色无法触及用户的资产，主要体现在：交易未被确认超过规定时长后，用户可自主取回充值。用户可发起强制提现，进入逃离...
Manta Pacific 是 Manta Network 推出的、为 ZK 应用设计的以太坊模块化 Layer2，目前已获得 Polychain、Binance labs、CoinFund、SevenX Ventures 等机构超 6000万美元融资。Manta 将 ZK 电路内置到 Manta Pacific Layer2，设计极其模块化，相当于为 DApp 提供了多个 ZK 功能模块。开发者仅需几行代码，通过 SDK、API 便可...
作者：Yiping, IOSG VenturesTL,DR;ZK技术主要应用于提高各种项目（如Starkware、zkSync、Scroll、Mina、Risc0、Giza和EZKL）的可扩展性，隐私性和信誉度。ZK技术需要大量的计算能力，导致10^4到10^6的计算开销，对基础设施团队构成挑战。生成ZK证明的主要方法是Proof Markets和Proof Networks。Proof Markets作为交易ZK证明...
前言学完 Halo2 的基本用法和简单电路设计之后，你是否也想找一个相对简单但也有一定复杂性和趣味性的小应用来练练手？如果是的话，那不妨来看看这个 ZK Wordle 小游戏。ZK Wordle 介绍ZK Wordle 是使用零知识证明的办法构建 Wordle 的程序。Wordle 是一个小游戏，游戏规则是用户有 6 次机会输出 5 个字母排列组成的单...
Mantle 作为一条 L2 公链，所处的赛道竞争异常激烈，老牌“四大天王”有采用欺诈证明的 Optimism 和 Arbitrum，以及采用 Zk 证明的 Zksync 和 Starknet。新晋玩家也都背景实力不俗，譬如 Coinbase 基于 OP Stack 构建的 Base，Consensys 推出的 EVM 兼容链 Linea，Polygon 推出的 Zk-EVM 等。 Mantle 怎样才能从众多的 L2 公...
当前区块链行业里零知识证明项目（ZKP）增速惊人，特别是 ZKP 在扩容和隐私保护两个层面应用的崛起，令我们接触到了各种花样繁多的零知识证明项目。由于 ZKP 极富数学性的特质，对于加密爱好者来说，想要深度了解 ZK 的难度大幅提升。因此我们也希望从头梳理 ZKP 理论和应用层面的一些变化，与读者一起探索对于 crypto 行业...
XZC（ZCoin）已更名为FIRO（Firo）。小零币(XZC)是一种通过使用零币协议(zerocoin protocol)来保障账务隐私的一种加密货币。它是第一种实现了零币协议的加密货币，通过使用零知识证明确保了交易双方的相关地址信息免遭泄露。零币(Zcoin)是由Poramin和Aizensou为首的研发团队开发，通过零币协议(zerocoin protocol)来保障账务...
随着近几个月协处理器概念的火热，这一新的ZK用例开始得到越来越多人的关注。然而我们发现，大多数人对于协处理器概念还是相对陌生，尤其是对于协处理器的精准定位 — 协处理器是什么，又不是什么，还比较模糊。而对于市面上几家协处理器赛道的技术方案对比，尚未有人系统的整理过，这篇文希望能够给市场和用户一个关于协处...
本文由社区供稿，作者为Manta Network的联合创始人Kenny Li；Manta Network是一个由零知识证明技术提供支撑的可编程隐私Layer 1协议。摘要零知识证明(ZKP)是一种密码学技术，它允许在不泄露信息本身的情况下验证一条信息的真实性。该技术对于提升区块链、加密货币和去中心化金融(DeFi)隐私和安全性的重要性日益提升。许多De...
这篇文章将用数学解码这项技术，揭示它如何在不透露任何信息的情况下证明知识的真实性。介绍zk-SNARK，即“零知识简洁非交互式知识论证”，使得一名验证者 能够确认一名证明者 拥有某些特定知识，这些知识被称为 witness，满足特定的关系，而无需透露关于见证本身的任何信息。为特定问题生成 zk-SNARK 包括以下四个阶段：将...
