...*可证明性**。验证者可以检查模型执行的正确性。 - **零知识**。验证者无法提取任何信息，除非该语句是正确的。例如，用户可以扫描他们的脸并创建相似性证明，但不会与验证者共享任何生物识别数据。 - **客户端**。我们...
...信任跨链桥（ZTB）采用了零信任安全技术框架，结合了零知识证明和完全同态加密等先进技术，确保跨链资产转移和数据交换的安全性。它可以实现银行链到公共链、CBDC 链到公共链以及公共链到公共链的连通性和互操作性，提...
...破坏安全性。 - **zk-Rollups** 依赖于必须复制整个 EVM 的零知识电路。如果电路滞后于 L1 升级（例如新的操作码），L2 可能会出现问题。通常，还有一个“治理多签”来处理紧急情况。 结果：每个 Rollup 投入成千上万的工程时...
... 要防止 Rogue-key 攻击，一种常用的思路是参与者提供零知识证明，以证明他确实拥有公钥背后的私钥（Knowledge Of Secret Key, KOSK）。比如，上面例子中第 1 个参与者发送 x1G−∑i=2nXi 给其它参与者时，他还必须证明他拥有这个公...
...基本介绍 & 运行展示 2. DF开发初探 3. DF开发进阶 之 零知识证明的应用 & EIP2535 的应用 4. 游戏机制设计的探讨 ## 直播地址 直播地址：https://meeting.tencent.com/dm/pZZFntSYkIdZ #腾讯会议：166-779-117 $\,$ **入群申请**：https://tally...
... 今天，我们自豪地宣布，Zeth现在支持从以太坊主网以零知识构建和推导OP主网区块，并在链上验证这些证明。与第一次发布一样，第二次发布基于现有的revm、alloy、ethers crates及其对OP Stack的支持。 此发布标志着Zeth新特性的...
...场景，否则对抽象数学没兴趣的人。他们只想掌握必要的知识，然后快速进入正题。这篇文章就是为这类读者量身定做的。 具体来说，抽象代数里有很多确实“有用”的概念，但抽象代数高度依赖于集合论。我们的目标是通...
...频的核心内容是探讨如何结合全同态加密（FHE）和简洁零知识证明（SNARKs）来实现既能保护隐私又能验证计算结果的外包计算，即“可验证的FHE”（Verifiable FHE）。 视频中提出的关键论据和信息包括： 1. **FHE和SNARKs的互补性：...
...的探索：电路与 zkVM，以及 zkVM 架构的未来，无论是为零知识定制设计还是基于通用 RISC 设计。 在此过程中，将会对系统的工作方式进行一些高层次的概述，但不会深入研究数学或密码学。重点是情景和权衡，着眼于时间和资...
...工具比1990年代的密码朋克想象的要强大得多：高效的零知识证明 (ZK-SNARKs) 可以在透露足够信息以证明我们值得信赖的同时保护我们的身份，全同态加密 (FHE) 可以让我们在不查看数据的情况下对数据进行计算，而模糊化可能很快...
...型（BTC）与接收者的资产类型一致。Anoma 区块链能够在零知识隐私中结算该交易。在 Anoma 上，观察者将无法推断出 Alice 和 Bob 之间交易的任何信息。此外，该交易看起来与涉及 BTC、ETH 或任何其他加密货币的交易无异。 ### 使用...
...中立的生态系统范围内的机制，通过该机制，任何使用零知识证明系统的应用程序（L2、隐私协议和类似 zkemail 的钱包恢复是最自然的初始用例）中的证明者都可以提交他们的证明，并由一个聚合器将这些证明组合成一个单一的...
... Gabizon、Zac Williamson 和 Oana Ciobotaru 宣布了一种新的通用零知识证明方案，称为 [PLONK](https://eprint.iacr.org/2019/953)，其名称是"Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge"（关于拉格朗日基的普遍非交互知识论...
...1. 资金发送方生成一个适配器签名（只需要用到有关 T 的知识） 2. 接收方验证这个适配器签名 3. 接收方使用秘密值 t 来补完这个适配器签名，并使用这个完整的签名 4. 发送方取完整的签名与适配器签名的差值，获得秘密值 t ...