...保护技术，如全同态加密 (FHE)、安全多方计算 (MPC) 和零知识证明 (ZKP)，在成本、灵活性和实用性方面存在某些缺陷。 同态加密的主要障碍是高计算开销和处理成本。 MPC 是一种强大的隐私保护技术。然而，它可能在计算上昂贵...
...s/) 和 [zkEVM](https://polygon.technology/polygon-zkevm)，这是一种零知识 (ZK) rollup，通过加密证明增强了安全性和效率。 | | | | --- | --- | | **Optimism** | **Polygon** | | \- 成立于 2019 年，主网于 2021 年启动。\- 通过 optimistic rollups + 单轮错...
...还是链下数据存储（Plasma、Validium），以及它们是通过零知识有效性证明（ZRU、Validium）还是通过抵押来防止欺诈证明（ORU、Plasma）来处理计算。 ## 以太坊上领先的二层项目 ### Connext **技术路线**: 状态通道 **TPS**: ∞ Con...
...以“允许”任何执行结果）。 此类别还包括使用共识零知识证明的桥。 (1) 让我们注意到，以太坊轻客户端协议（在 Altair 硬分叉中引入）不属于此定义，因为它依赖于一个证明委员会，该委员会的安全假设远弱于以太坊共识。...
...核心。 RISC Zero STARK 的构建是高度技术性的，依赖于零知识密码学领域的几项最近进展。 具体来说，构建 RISC Zero 的 zk-STARK 使用 DEEP-ALI 协议和批量 FRI 协议（经过随机预处理步骤）。 在这 12 个简短的课程中，我们将通过一...
... Avail 区块链管理。 | | 安全性 | 由于链上数据可用性和零知识证明 (ZKP) 的使用，提供高安全性。 | 提供强大的安全性，执行正确性由零知识证明 (ZKP) 保护，并且不能被破坏。Avail 区块链由多达 1,000 个验证器保护。 | | Gas 费用 | ...
...算技术，如全同态加密（FHE）、安全多方计算（MPC）和零知识证明（ZKP）在成本、灵活性和可用性方面存在缺陷。 同态加密的主要限制是高计算开销和处理成本。 MPC 是一种强大的隐私保护计算技术。但是，它可能在计算上非...
...t语言者优先； 2. 有分布式系统相关经验者优先 专业知识要求（非硬性要求，感兴趣愿意参与研究即可）： 1. 有一定分布式系统设计、开发及测试经验； 2. 熟悉区块链技术（BFT, PoW等共识机制及算法、安全隐私算法、...
...述证明的时间至多为程序执行时间的多项式对数。 * 零知识：除了问题的正确执行之外，证明没有泄漏任何其他内容。 * 小开销：证明程序每一步的成本与表示该指令的电路的大小成正比。 * 增量证明生成：证明者可以为程序...
...k-snarks/) > * 作者：Not a Monad Tutorial > * 译者：Kurt Pan 零知识证明（ZKP）正在因其在代理计算给不受信任的服务器，解决去中心化账本的可扩展性问题等方面的诸多应用而逐渐变得流行起来。ZKP 让我们可以在不泄露敏感数据的...
...样的 zkVM。 借助 Succinct 的证明者网络，vApps 得益于零知识证明，该证明可以证明 vApp 交易执行的完整性，并使 **每个 vApp 都可验证，从 web2 到 web3。** Succinct 使直接从普通代码生成零知识证明成为可能，而不是仅限于狭窄的、...
...程序可以快速轻松地开发，而无需任何密码学方面的先验知识。 **隐私保护** - 通过将程序拆分为多个部分，由持有敏感数据的各方私下证明，从而保护隐私和数据所有权。 - 例如，生成一个证明，证明密文是对某个值到有效...
...o DAO](https://zerodao.io/)，这是一个基于美国的DAO，投资于零知识证明。在接纳之前，我经历了KYC过程。DAO是web3的，但这个KYC部分仍然是web2。尽管KYC体验很顺利，但我确实提交了很多文件，我开始在想，如果我继续在投资行业工作...
...需透露向量本身。 ### 动机 当我们讨论 Bulletproof 零知识证明时，它们通常是“我有两个向量的内积是 $v$”的形式。这看起来很简单，但实际上我们可以利用这一机制证明非常非平凡的声明。稍后我们将讨论这个问题。 但...