...不可区分性混淆——等等,什么? 我已经**写**了关于零知识技术及其用途的文章很长时间了。这是一项超级有趣的技术,但现在出现了一个新的、更大胆的技术:不可区分性混淆 (iO)。 让我简要介绍一下它是什么以及如何使...
#### Polygon Miden 将通过使用先进的零知识密码学技术STARK来压缩交易,然后在以太坊上验证它们,从而增强 Polygon 的可扩展性和安全性。  ...
...个交易历史,并且要一笔笔的进行执行验证。zkEVM利用零知识证明技术(zk-SNARK)证明: * 针对智能合约的交易执行,生成交易证明。在L2实现zkRollup支持可编程性。 * 针对以太坊的每一个区块,生成区块证明。 这些证明都...
zk, zkVM, zkEVM 及其未来 msfew ## TL; DR - 零知识证明可以保证计算的完整性、正确性和隐私性,在区块链的扩展和隐私方面有很多用例。 - zk-SNARK 和 zk-STARK 各有优势,两者的结合更有潜力。 - zkVM 赋予应用程序零知识证明的能力...
...样的密码货币已经通过 “环签名” 和 “简洁的非交互式知识陈述(SNARKs)” 实现了加强的安全性,但它们都不支持 _为多种资产类型实现完全匿名性_。在完全匿名性可以实现之前,关键一步是改进 Bulletproots++(BP++)。这种优...
...章。最近好多朋友都在关心我,有没有参加Coda举办的零知识证明的挑战?必须的。不光为了奖金,整个挑战的内容本身也是好的学习材料。不光是我,整个团队都在梳理理论,GPU实现优化,小伙伴们都太给力了:) 说个题外话...
...ct 统一了证明供应链,为 rollups、coprocessors 和其他使用零知识证明的应用程序提供具有一流定价的高可用性证明生成基础设施。 ## 一个真理而非信任的时代。 加密技术在其使命上**失败了**。我们被承诺拥有全球规模协调的透...
 零知识证明正变得越来越流...
...支持数百万游戏玩家,TPS 高达 1M。 - **Boundless** 通过零知识证明(ZK proving),提升资本效率,实现快速提款和经济高效的扩展。 - **Conduit** 提供定制化的高可用性排序服务,在 OP Stack 中拥有最高的正常运行时间和性能。Conduit ...
...了一些关键改进: - 首先,Scroll 采用了一种新的分层零知识证明系统。与现有解决方案相比,这种新的证明方案能够轻松地在 Layer 2 上部署大多数(如果不是全部)流行的 DApp,并通过简洁的证明进行高效验证。 - 其次,受到...
... 比特币上的ZK RollUp和OP挑战 ZK-Rollup只是通过Taproot将零知识证明和Rollup的聚合数据写入比特币。这保证了ZK-Rollup的数据锚定在比特币中并且无法被篡改。但它并不能保证 ZK-Rollup 内交易的有效性和正确性,也不能利用比特币强...
...,我们将更深入一层——探讨 MIPS 的微架构特性如何与零知识电路设计契合,以及 RISC-V 在哪些方面引入了必须主动化解的复杂性。 # ZK 中的指令解码:为何重要 在传统计算中,指令解码由硬件逻辑完成,几乎没有性能损耗...
...最后一种是使用 [Semaphore](https://semaphore.appliedzkp.org/) 的零知识证明技术栈的全新技术。  > [图源](https://www.paldesk.com/wp-content/uploads/2019/06/what-is-whitelist.png) 白名单是一种...
...## Sindri 集成 [Sindri](https://sindri.app/) 是一个远程计算零知识证明的服务。要使用它,请加载一个 Circom 模板,然后在文件浏览器顶部的弹出菜单中选择“**添加 Sindri ZK 脚本**”。 ![](https://cdn-images-1.medium.com/max/1600/0\*F4Gvi6wUc9ab...