...约逻辑。不仅所需语言的语法复杂，而且这样做还需要零知识证明方面的极强专业知识。 - 其次，当前的 zk-Rollup 不支持可组合性[1]。这意味着不同的 zk-Rollup 应用程序无法在 Layer 2 中相互交互。这种性质会严重损害 DeFi 应用程...
zkVMs（零知识虚拟机）承诺通过允许任何人，甚至那些没有专业SNARK知识的人，证明他们已在给定输入（或见证）上正确运行了任何程序，从而“使SNARK变得民主化”。它们的核心优势在于开发者体验，但目前在安全性和性能方面...
...出。 ## MPC 钱包简介 现在我们已经了解了 MPC 的基础知识，我们可以开始理解它是如何纳入 MPC 钱包中的。加密钱包有很多不同类型。大多数加密钱包可以分为以下两类： 1. 冷钱包：冷存储钱包是将用户的私钥存储在离线...
...链可扩展性的有前景的解决方案应运而生 — 它们通过零知识证明（ZKPs）改善了隐私，提升了交易速度，并大幅降低了费用。然而，**由于 ZK rollups 与以太坊虚拟机（EVM）不兼容，它们缺乏广泛的采用**。 EVM 是以太坊的核心，...
...拙的协议。 如今，**PLONK 被认为是最雄心勃勃的通用零知识证明结构之一。** 许多项目，如 Zcash、Polygon Zero（以前称为 Mir Protocol）、Aztec 网络、Dusk、MatterLabs（zksync）、Astar 和 anoma，都有自己的证明系统实现。 ## 但首先，...
...协商等，还可以实现乘法的同态隐藏和校验。这一点在零知识证明项目中应用很多。 另外需要说明的是，并非基于任何椭圆曲线都可以构造配对函数，对于能有效实现双线性对的椭圆曲线，称为pairing-friendly curves，例如BLS12_381...
...在 Merkle Tree 上面，在中继里边做的，以太坊上只要把零知识证明验证一下就行了，可能就花费10万gas 还是多少gas，大概是这样。* *比如说做1000笔交易，改动可能是大约4000个叶子节点，可能要算几万次哈希算出一个根，但这些...
...励严重不足，但实际情况下几乎不发生。 考虑使用零知识证明降低BitVM的挑战次数，从而提高BitVM的效率。根据零知识证明理论，如果数据$Data$满足算法$F$，则证明proof满足验证算法$Verify$，即验证算法输出True；如果数据$Data$...
...跨链交互的基础设施协议，为比特币生态系统提供跨链零知识证明（ZKP）。传统的 BTC 跨链桥通常依赖于多重签名托管人或中心化中介机构，引入了额外的信任假设，并将用户资产置于单个实体或一小群体的控制之下。这种中心...
...了 BitSNARK v.0.1，第一次使得使用户能够验证比特币上的零知识证明。允许任何人在不分叉代码的情况下升级网络。BitSNARK 协议是在比特币网络上验证零知识证明执行情况的一种方法，它允许将比特币的转移与可证明的外部事件（...
...er 是一种基于账户的、无信任的扩展协议，通过简洁的零知识证明确保安全。类似于 zk 家族中的其他扩展技术（如 zkRollup 和 Validium），zkPorter 的计算在扩展性上呈指数级增长：**可以在大约 **恒定成本** 下验证任意数量的交易**...
...种新的机密 token 扩展，被称为机密转账——一个利用零知识证明加密 SPL token 的余额和转账金额的隐私功能。 这一扩展的总体目标是通过关注机密性，而非匿名性，提高用户隐私。由于余额可以被加或减，Token Extensions 标准要...