... L2 的交易计算的正确性。通常包括多签、欺诈证明和零知识证明。 不考虑有争议的 Side Chain，目前的 L2 方案在这两个特性上所处的位置如下图。  比...
...很大程度上是中心化的。通常，中心化的实体拥有应用的知识产权，控制其后端算法，决定其未来开发方向，并从应用产生的数据和收入中获利。这种中心化的模式导致用户和应用之间产生了一种不对等的关系。应用可以轻而易...
...同的实体。而在rollup里，实体变成了为正确执行生成的零知识证明 (zkrollup目前还无法在通用执行中应用) 或欺诈证明 (optimistic rollups)。 执行环境的任何功能都可以通过Rollup实现。zkrollup提供链上执行一样的安全性，但是它...
...witness {s→i:1≤i≤r}⊆Rqn 对于一组相等和 const-zero 约束的知识（这些可以被视为协议的“电路”）。如果 (s→i)i=1r 的总witness大小为 N=nr 个多项式，那么基础协议会创建一个大小为 O(N2/3) 的证明，单凭这一点并不是特别小。这就...
...的 MEV 风险的常见后果。本指南涵盖了 Solana 上 MEV 的基础知识，包括交易流程机制、常见的 MEV 类型以及为网络上构建的开发者带来的日益增加的风险。你将学习到缓解 MEV 负面影响的关键策略，并保护你的交易免受干扰。 ### ...
...决的另一个问题：一种限制条款，尤其是一种可以验证零知识证据（ZK-proof）限制条款，可以强制 ASP 在下一轮中重新创建所有未花费的限制条款，消除在一轮结束时监护权被交给 ASP 的问题。虽然可能这也不足以让它成为 _免信...
...**欺诈证明** (fraud proofs) 和 **ZK-SNARKs**(简洁的非交互式零知识证明)。  *欺诈证明是一种具有**可扩展**性**的**计算**验证方法* 这两种技术可以简单地描述如下： * **欺诈证...
...rfKA.png) 原生验证——轻客户端和 Relay + ZK 桥 建立在 [零知识 (ZK) 证明](https://ethereum.org/en/developers/docs/scaling/zk-rollups/) 上的桥也使用轻客户端和 relay 来验证跨链转移，并被认为是另一种无需信任的选择。但是，目前还没有任何...
...集型任务$C$。 - **密码验证：** 使用密码学证明（如零知识证明或TFHE）在提交到链上时验证$C$结果的完整性。 **所需数据：** - 针对被卸载的计算任务的特定数据，包括AI模型训练和操作所需的参数。 **评估标准：** - **成...
...AMM）。它们加在一起，给 MEV 带来了肥沃的土壤。基于零知识证据的方案，例如 [STARKex](https://starkware.co/starkex/?ref=blog.blockstream.com)，理论上可以避免部分问题，但需要付出额外的复杂性。 ## 丑陋的（3）：智能合约表达能力 在...
在零知识证明的背景下，算术电路是一个方程系统，它模拟了NP中的一个问题。 我们在文章[P vs NP](https://learnblockchain.cn/article/9569)中提到的一个关键点是，P或NP中的任何问题的解决方案都可以通过将该问题建模为布尔电路来验...
...件验证等各种应用中。了解创建、铸造和销售 NFT 的基础知识对于 Web3 开发者来说非常重要。 ### **如何创建你的第一个 NFT 智能合约** NFT 智能合约促进了买方和卖方之间 NFT 的销售。[开发 NFT 智能合约](https://docs.opensea.io/docs/crea...