...基本介绍 & 运行展示 2. DF开发初探 3. DF开发进阶 之 零知识证明的应用 & EIP2535 的应用 4. 游戏机制设计的探讨 ## 直播地址 直播地址：https://meeting.tencent.com/dm/pZZFntSYkIdZ #腾讯会议：166-779-117 $\,$ **入群申请**：https://tally...
...破坏安全性。 - **zk-Rollups** 依赖于必须复制整个 EVM 的零知识电路。如果电路滞后于 L1 升级（例如新的操作码），L2 可能会出现问题。通常，还有一个“治理多签”来处理紧急情况。 结果：每个 Rollup 投入成千上万的工程时...
...信任跨链桥（ZTB）采用了零信任安全技术框架，结合了零知识证明和完全同态加密等先进技术，确保跨链资产转移和数据交换的安全性。它可以实现银行链到公共链、CBDC 链到公共链以及公共链到公共链的连通性和互操作性，提...
...限 (可能通过二次方投票)，以及获得研究中产生的发现和知识产权的经济利益的议价权。我们将在第 5 章（Plural Sensemaking）中进一步探讨这个问题。 * 用当地货币做实验，规定在某个特定地区或属于某个特定社区的灵魂账户如...
...至关重要”。具体而言，他提倡主动运用形式化验证、零知识证明、多方计算等前沿技术，全面增强区块链协议和智能合约的防护能力。这也正是其创立CertiK的初心和愿景，即通过严谨的形式化验证技术，让Web3.0世界更加安全，...
... Rollups 的类型：Optimistic 与 ZK Rollups 主要有两种类型：零知识 (ZK) rollups 和乐观 rollups。两者旨在提高可扩展性，但在确保交易有效性的方法上有所不同。 #### 乐观 Rollups 乐观 rollups 默认假设所有交易都是有效的，从而允许更快...
...](#账本一致视图) - [区块传播](#区块传播) - [交易/零知识证明传播](#交易零知识证明传播) - [5. 区块链进展和公平性](#5-区块链进展和公平性) - [链进展](#链进展) - [交易处理的公平性](#交易处理的公平性) - [6. 可扩展性...
...，链上智能合约将会回滚不正确的区块。ZK 则是采用了零知识证明的方法，只有链上的智能合约检查提交的数据和零知识证明，检查通过后，状态提交则认为是有效的。 # 参考文章 [以太坊Layer2扩容方案之State Channel](https:...
...*可证明性**。验证者可以检查模型执行的正确性。 - **零知识**。验证者无法提取任何信息，除非该语句是正确的。例如，用户可以扫描他们的脸并创建相似性证明，但不会与验证者共享任何生物识别数据。 - **客户端**。我们...
...型（BTC）与接收者的资产类型一致。Anoma 区块链能够在零知识隐私中结算该交易。在 Anoma 上，观察者将无法推断出 Alice 和 Bob 之间交易的任何信息。此外，该交易看起来与涉及 BTC、ETH 或任何其他加密货币的交易无异。 ### 使用...
...场景，否则对抽象数学没兴趣的人。他们只想掌握必要的知识，然后快速进入正题。这篇文章就是为这类读者量身定做的。 具体来说，抽象代数里有很多确实“有用”的概念，但抽象代数高度依赖于集合论。我们的目标是通...
... Gabizon、Zac Williamson 和 Oana Ciobotaru 宣布了一种新的通用零知识证明方案，称为 [PLONK](https://eprint.iacr.org/2019/953)，其名称是"Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge"（关于拉格朗日基的普遍非交互知识论...
...cn/2025/04/26/1EWFTsK17r_PazCjf1pXw4A.jpeg) 我们建议使用新兴的零知识证明 (ZKP) 技术来解决这个问题。在 ZKP 方案中，证明者希望说服验证者他们知道一个证人 𝑊，该证人服从某个函数关系 𝐹(𝑋,𝑊) = 0，而不泄露 𝑊。关系 𝐹 通常...