...加法椭圆曲线点有了良好的理论和实践理解，因为现代零知识算法在这方面的依赖非常重。 ### 关于模加法与椭圆曲线加法之间同态性的实现细节 我们在这里需要进行术语的仔细区分： **域模数**是我们在曲线上进行的模...
在这段视频中，Brendan与Gurshta和Anna Rose进行了一次关于零知识证明（ZK）技术的访谈，探讨了Gurshta如何从Web2行业转向ZK领域的经历，以及她在这一过程中所面临的挑战和收获。 **核心内容概括：** Gurshta分享了她的职业背景和转...
...两种主要的证明类型： * 有效性证明 - 这是一种利用零知识 (ZK, zero-knowledge) 密码学以确保交易有效性的数学证明 * 欺诈证明 - 这种证明引入了一种所谓的争议时间延迟 (Dispute Time Delay, DTD)，一旦证明提交至 L2，验证者留有一...
...可的使用，但牺牲了隐私和安全性。多方计算 (MPC) 和零知识证明 (ZK) 等加密技术部分解决了这些问题。 全同态加密 (FHE) 提出了一种重要的加密方法，可以进一步解决区块链的挑战。作为一种允许对加密数据进行计算的技术，FH...
...上下文中称为 BN254。它们支持 zk-SNARKs，这对于 ZKsync 的零知识证明至关重要，安全高效地增强以太坊交易扩展。 `pairing` crate 位于 `crates/pairing/src/bn256` 中，通过 `ec.rs` 和 `mod.rs` 等文件处理 BN256 曲线的算术运算。它在主机系统...
...保护技术，如全同态加密 (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 个简短的课程中，我们将通过一...
...t语言者优先； 2. 有分布式系统相关经验者优先 专业知识要求（非硬性要求，感兴趣愿意参与研究即可）： 1. 有一定分布式系统设计、开发及测试经验； 2. 熟悉区块链技术（BFT, PoW等共识机制及算法、安全隐私算法、...
...算技术，如全同态加密（FHE）、安全多方计算（MPC）和零知识证明（ZKP）在成本、灵活性和可用性方面存在缺陷。 同态加密的主要限制是高计算开销和处理成本。 MPC 是一种强大的隐私保护计算技术。但是，它可能在计算上非...
...述证明的时间至多为程序执行时间的多项式对数。 * 零知识：除了问题的正确执行之外，证明没有泄漏任何其他内容。 * 小开销：证明程序每一步的成本与表示该指令的电路的大小成正比。 * 增量证明生成：证明者可以为程序...