找到约 14 条结果

文章 区块链中的数学 - 不经意传输

...实现,以后有机会在详述。 从本文开始,我们要进入知识证明的范畴,知识证明是密码学重要分支,尤其区块链快速发展的这几年,知识证明技术在隐私,layer2扩容等方面发挥着关键的作用。 但是知识证明涉及到众...

文章 ZK Mesh: 2025年3月回顾

...通讯覆盖最新的隐私增强加密技术、分布式协议开发和知识系统研究。 ZK Mesh 由 [ZK Hack](https://www.zkhack.dev/) 制作。 我们为你带来最新研究、实用文章、视频、播客、推文、工具、项目更新和事件。请期待每月更新一期。务必...

文章 密码学基础:算术电路

...ttps://learnblockchain.cn/article/10821),我们深入探讨了一个 _知识证明_ 协议的特定示例。尽管优化和性能问题不谈,它涵盖了所需的用例:证明一个数字在 _某个范围_ 内。然而,该协议是 _极其具体_ 的,为了另一个声明而制作另...

文章 知识证明 - zkEVM解读

...个交易历史,并且要一笔笔的进行执行验证。zkEVM利用知识证明技术(zk-SNARK)证明: * 针对智能合约的交易执行,生成交易证明。在L2实现zkRollup支持可编程性。 * 针对以太坊的每一个区块,生成区块证明。 这些证明都...

文章 优化ECDSA签名验证:在Sei Giga区块链中探索知识证明

...之前,先来简要了解 ZK 。 我们究竟是什么意思 ZK?知识证明(ZK 证明)允许一方(证明者)向另一方(验证者)表明某个陈述是真实的,而不透露其如何真实或披露该陈述底层的敏感细节。正式来说,设 RXW 为一个二元关...

文章 Validium 与 Layer 2 的设计空间

...,来保证计算的正确;而 zkRollup 则是靠着在主链完成知识证明,保证无效的状态绝不会发生。因为所有计算都被 “汇总” 到证明里,所以无需信任或是检查执行者。 另外,zkRollups 对数据存储方面也带来了一定程度上的扩...

讲堂 zk-SNARK从理论到实践

...史、密码学技术、椭圆曲线计算逻辑、基于多项式构建知识证明、各种椭圆曲线总结、 Groth16算法介绍、深入理解 Groth16的计算、libsnark电路搭建实战、zk- SNARK应用介绍及其他相关zk-SNARK知识。 ## 课程内容 0.zk-SNARK历史 1....

文章 zkSNARKS,Circom(第一部分)

...试工作之前很难理解。本文系列的目的就是填补这一普通知识和专业知识之间的空白,使你能够从“你好,世界”开始,逐步走向你的第一个电路,准备你自己的代码库,并处理zkSNARKs开发中常见的问题。 如果你还没有阅读过...

文章 Mina Protocol - 轻量而强大

...讨了困扰传统区块链的状态膨胀问题以及 Mina 如何使用知识证明来解决该问题,且如何在此过程中提供更具隐私性、去中心化和高效的区块链。我们将探讨 Mina 的设计选择,以及关键参与者如何使其在原生代币 MINA 的支持下作...

文章 [译]几种通用的zk-SNARKs 实现的比较

...-SNARK 实现,并在以后不定期更新。 像 zk-SNARK 这样的知识证明有很多应用:Zcash 利用知识证明 来保护隐私,Coda 和 Mir 利用知识证明将整个区块链压缩到只有 几 K 字节,0x 和 Matter 则利用知识证明将许多交易封装为以...

文章 ICICLE V3 - 旨在加速知识证明(ZKP)的密码学库

... [ICICLE](https://github.com/ingonyama-zk/icicle) 是一个旨在加速知识证明(ZKP)的密码学库。 我们很高兴地宣布发布 [ICICLE v3](https://dev.ingonyama.com/icicle/overview),这是一个引入了强大的多平台支持的重大更新。我们的最新版本包括一...

文章 TFHE-rs v0.11:字符串、更快的知识证明、GPU 上的加密数组

...来了一些重大改进和新功能。此版本引入了显著增强的知识证明性能,以及一个新的加密字符串模块,该模块可以通过 `FheAsciiString` 类型在高级 API 中使用。此外,默认的密码学参数现在遵循调整后的均匀 (TUniform) 噪声分布,...

文章 密码学基础:知识证明(第三部分)

...这样一个电路可以让我们使用 _Plonk_ 证明所述数字 _v_ 的知识!那么让我们再次试着把这放入方程中。 > 事实上,这就是我们之前描述的同一个系统 [我们之前说过](https://medium.com/@francomangone18/cryptography-101-zero-knowledge-proofs-part-1...