在零知识证明的背景下，算术电路是一个方程系统，它模拟了NP中的一个问题。 我们在文章[P vs NP](https://learnblockchain.cn/article/9569)中提到的一个关键点是，P或NP中的任何问题的解决方案都可以通过将该问题建模为布尔电路来验...
...一个新的信号。 ### 加密货币作为区块链之外的原语 零知识证明系统的进步正在使可验证计算在区块链之外变得实用。随着开销的减少和性能的提高，为普通计算生成正确的加密证明变得可行。 这解锁了可验证的云计算、可...
...大进展。 对于 zkID，我们发布了 zkID 论文的初稿，将零知识支持集成到 Spartan2 中，并实现了重新随机化的承诺以及设备绑定密钥提取器电路。我们还探索了内存优化策略以提高性能。 在 zkPDF 方面，我们发布了我们的第一个...
... Innocence）（当前最先进的解决方案）进行比较。 ## 预备知识 屏蔽资产的想法已经存在近十年了，最早由 ZCash 推广并投入生产。此后，许多类似的协议已经被构建并部署为以太坊和其他 EVM 链上的智能合约。这些协议包括 Tornad...
...。 我们过去的一年都在开发SNARKs,我们已经加速研发零知识证明，及其针对可扩展DEX的特定应用程序。 **在路印协议3.0中，我们构建了第一个zkRollup DEX协议，并具有链上数据可用性**。很显然，可扩展性，高吞吐量，低成本...
...他 rollups 可能计划在 2025 年达到第二阶段的去中心化。零知识证明技术的进步使得能够在低于分岐成本的情况下 [验证等同于以太坊的交易](https://x.com/SuccinctLabs/status/1833899505118580777?ref=ghost-2077.arvensis.systems)，为高效验证当代以太...
...bs 的联合创始人，也是 zkSync 的合伙人之一。ZkSync 是由零知识证明驱动的协议，以一种去信任的方式为以太坊带来了可扩展性。 Tom （00:01:18）： 棒极了。Mark，你呢？ Mark （00:01:21）： 嘿，我叫 Mark （Optimism），我是 Opt...
...n.cn/article/1558)，这一节继续讲RSA算法。RSA算法依赖的数论知识点较多，除了上篇说的费马小定理，还包括欧拉定理（欧拉函数）等。关于RSA知识点打算分三个章节讲解。采取知其然再深究所以然的方法来说明。 ## 预备知识 R...
...全领域，分析审计报告，并剖析链上事件。我们相信这些知识对更广泛的安全社区来说是非常宝贵的，它为研究人员提供了一个磨练技能的资源，并帮助新手们在 Web3 安全世界中游刃有余。加入我们，一起探索这批 bug！ ## Balanc...
...设了读者具有区块链 (例如比特币和以太坊) 的基本背景知识、最好对现在使用的共识算法 (工作量证明和权益证明) 也有所了解。为了简单起见，解释内容将建基于权益证明链——由所有具有相同权重的全节点运行共识协议，具...
...于异步的跨shard通信和状态分片来说都很有用，但运行零知识证明方法如zk-SNARKS的成本仍然非常高。在以太坊的Ropsten测试网中，一次ZCash的zk-SNARKS验证大约需要10美元。它的速度极慢，并且此时依赖于高度实验性加密原语。 ## 设...
...rnblockchain.cn/article/10774)中，我们将探讨如何应用椭圆曲线知识，研究_非对称加密_方案和_数字签名_方案。敬请期待！ >- 原文链接： [medium.com/@francomangon...](https://medium.com/@francomangone18/cryptography-101-elliptic-curves-somewhat-demystified-e83...