...工具比1990年代的密码朋克想象的要强大得多：高效的零知识证明 (ZK-SNARKs) 可以在透露足够信息以证明我们值得信赖的同时保护我们的身份，全同态加密 (FHE) 可以让我们在不查看数据的情况下对数据进行计算，而模糊化可能很快...
...L1扩容问题，但是通过聚合签名可以让L1相信其它链L2的零知识证明，也可以实现跨链效果。 LayerZero就是一种基于MT算法的跨链解决方案，具体而言是由一方（Oracle）提供区块头，由独立的另一方（Relayer）提供交易证明，当区...
...和信誉进行声明。具体来说，这些声明可以归结为有关零知识领域的密码运算（如签名验证、密钥生成、哈希和加密）执行的数学命题。我们可以将这些“组件”组合在一起，为更复杂的声明构建 ZKP ：一个简单示例可以参阅我...
...的去中心化目标及实现手段，并介绍了Worldcoin希望通过零知识证明提供隐私安全解决方案，允许用户在不泄露任何底层数据的情况下证明所有权。但V神也指出他在实际操作性上存有疑虑，认为现有解决方案依旧不能防范Orb硬件...
...事先声明，这是一个如此大的话题，我正在尽力掌握这些知识。但我可能会走一些捷径，或在解释时会犯一些错误，请随时在评论中纠正我的错误，让这篇推文更加精确。 目前已经有大量详细的资源解释了什么是 zk-rollup 以及...
...户自动化、通过资源锁定实现零桥接的跨链意图、使用零知识证明进行签名验证的隐私、新的信用和保证金账户系统等等。 为了使智能账户成为一个开放平台，必须解决三个基本问题。Rhinestone Protocol 1.0 直接解决了这些问题： ...
...是安全的，即使关于该系统的一切，除了密钥，都是公开知识。”\ > — Auguste Kerckhoffs 该库提供了密码学原语的[恒定时间](https://en.wikipedia.org/wiki/Timing_attack)实现，特别关注区块链和零知识证明系统中使用的密码学。 - ...
...（EIP-4844）。 在密码学中，多项式是表示关于各种实体知识的强大工具。例如，一组数字可以通过插值作为一个多项式表示。同样，计算也可以通过算术电路转化为多项式。因此，能够以一种方式承诺一个多项式，使得承诺者...
...但一些新兴的隐私项目也借这个机会分到了市场。例如零知识智能合约平台Railgun，8月8日TVL为471.02k，而到了8月22日TVL则达到6.23M，增长近10倍。 ### **（1）制裁前后，Defi隐私赛道市场情况变化** 放眼整个DeFi隐私赛道，我们通过...
...们将通过探索 Circle 的跨链传输协议 (CCTP) 来丰富我们的知识库。 在本文中，我们将深入研究 CCTP 的设计、安全性和信任假设，通过对其架构的全面分析，突出其独特的功能和权衡。 我们将涵盖以下主题： - CCTP 概述 - 交易生...
...然而，在公共账本上实现隐私需要先进的密码学工具。零知识（ZK）证明提供了一种途径，使用户能够在不揭示底层数据的情况下证明某些事情。另一种有前景的方法是 [**全同态加密（FHE）**](https://www.zama.ai/introduction-to-homomorphic...
...送 $\mathcal{O}(\log n)$ 数据。 我们强调，这个算法不是零知识，因为在 $n=1$ 的情况下，验证者了解到整个向量。验证者也可以发送非随机值 $u$ 来尝试了解关于 $\mathbf{a}$ 的信息。 然而，回想一下，我们设计这个算法的动机是...
...坊黄皮书中定义的 EVM 规范的算法，并且利用了现有的零知识证明方案提供了一种技术上可实现的综合方法。 zk-EVM 规范的[下载链接](https://ethresear.ch/t/a-zk-evm-specification/11549) **L2 解决方案路印协议发布 iOS 和安卓版本的 Layer2 ...
...？ BYOR 项目是一个简化版本的主权 rollup。与乐观和零知识证明的 rollup 相比，主权 rollup 不会在以太坊上验证状态根，只依赖于以太坊上的数据可用性和共识。这样可以防止 L1 和 BYOR 之间的信任最小化桥，但极大地简化了代码...