... AI 的崛起，以及不仅仅是区块链扩展解决方案，还有**零知识证明（ZKPs）**、**全同态加密（FHE）**、（两方和多方）**安全多方计算（MPC）**形式的更强大加密技术的崛起，我开始看到这种变化。确实有一些有前景的应用将 AI 应...
# 1. 跨表lookup ## 1.1 多个表格的聚合 在零知识证明中的lookup中，我们可能有多个表格，每个表格可以包含不同的数据。这些表格之间可能存在一定的关联，需要聚合起来进行联合验证。这个过程的目的是将多个表格中的相关信...
...励。 PoPs 将向前兼容未来的争议协议，包括可能基于零知识证明的协议。`DisputeGameFactory` 可以与多种类型的游戏一起使用，仅需要游戏公开一个简单的接口（`[IDisputeGame](https://github.com/ethereum-optimism/optimism/blob/154f976db27ab9c384ff1e3c6...
...[G]_2 + [C]_1\bullet [\delta]_2$$ ### 第 3 部分：强制真正的零知识：r 和 s 我们的方案尚未真正实现零知识。如果攻击者能够猜测我们的见证向量（如果有效输入只有一个小范围，例如特权地址的秘密投票），他们可以通过将其构...
...可以认为对于确保最终用户的无缝体验至关重要。使用零知识证明将此功能引入区块链账户，符合 Matter Labs 创建统一 web3 体验的目标。 经过审计的代码库由 Moonsong Labs 与 Matter Labs 合作开发，包含用于验证与单点登录 (SSO) 提...
...以评估 **Picus** 的使用——我们的工具用于形式化验证零知识 (ZK) 电路的确定性——在 SP1 上，Succinct 的 RISC-V zkVM。目标是评估 Picus 验证 SP1 电路的能力，并为更广泛地验证所有 SP1 电路的确定性奠定基础。 在合作过程中，我们...
...多个参与者可以共享同一个 UTXO。 ### Layer 2 协议中的零知识证明 基于零知识证明的协议需要区块链充当验证器。验证器是根据作为输入的零知识证明的正确与否返回是/否的函数。 我们可以考虑将 `OP_STARK` 编译为上述协议中的...
...26/1Q5S2RnZgjE0wFVx866kEXA.jpeg) ## 背景：证明者市场的出现 零知识 (ZK) Rollups，例如 Starknet 和 ZkSync，目前被用作以太坊上的扩展解决方案。它们的成功导致对 ZK 证明的需求稳步增长。证明者市场是 ZK Rollups 向去中心化过渡的自然演...
## 介绍 任何零知识证明（ZKP）系统的核心在于**算术化**的概念，即将计算问题转化为可以在特定代数结构（如多项式或算术电路）中表达和验证的数学问题的过程。在 Binius 框架中，此算术化通过 **多重多重集匹配 (M3)** 系统...
...可编程密码学规模的必要条件。 我们可以通过 ZKP（零知识证明）、同态加密（FHE）、多方计算（MPC）和不可区分混淆（IO）等多种技术来实现上述某些内容。这些技术虽然纯粹且美观，但在规模部署方面存在不可忽视的障碍...
... 3. **隐私**：例如，应用于公开 L2 上保护隐私交易的零知识证明。 4. **更便宜/更简单的 L2-L3 互操作性**：目前在 L1 和 L2 之间使用的上下波动流动费往往非常昂贵。相比之下，由于 L2 的性价比，这些流动应用于 L3 时，不仅...
...om/) (CTF)， 超过 60 支队伍和 160 人参与。CTF 涉及多个与零知识证明（使用 [Lambdaworks](https://github.com/lambdaclass/lambdaworks)）和全同态加密相关的挑战。我们对整个经历感到非常兴奋，尤其是我们与 Ingonyama 的第二次合作以及巴黎 Lambd...
...402微支付协议。隐私峰会和ZK Day会议展示了平均区块的零知识证明实现亚10秒的速度。自始至终，演讲者都强调为实际用户解决具体问题：跨链碎片化、DeFi隐私需求、机构结算需求和自主代理支付基础设施。 我们见证了以太...