... https://blog.zksecurity.xyz/posts/mpcith-intro/ **Harry**: 构建零知识证明最有趣的方法之一：MPC-in-the-Head 变换。这种方法在 2007 年的论文《安全多方计算中的零知识》中首次提出，它通常被称为 IKOS 变换，源自论文作者的首字母缩写...
通俗理解零知识证明，有个很经典的阿里巴巴的例子。阿里巴巴能在不泄露咒语的情况下，向强盗证明他知道咒语的内容。最近在听斯坦福大学教授 Dan Boneh的讲座视频时，发现有另外一个形象的描述零知识证明的例子： https:/...
...ckchain.cn/2019/05/27/groth16)，Puzzle的内容非常有趣，对理解零知识证明，多项式，线性相关等等知识非常有帮助。 https://github.com/geometryresearch/zkhack-groth-puzzle ## **Puzzle基本信息** Puzzle对应的电路采用circom搭建，实现在zkhack-grot...
不知不觉，写了不少零知识证明相关的文章，单独总结成列表。方便对零知识证明感兴趣的小伙伴，学习开发。零知识证明，乃至区块链技术，需要学习，深入研究的东西太多太多了。零知识证明学习入门不易，需要坚持。希望...
...个系列的视频将从零到一实现 Tornado Cash 的功能，包括零知识证明电路，智能合约以及证明验证。希望你能从中学习到 Tornado Cash 的所用到的技术，并知道如何构建一个零知识证明应用。 [Tornado Cash](https://tornadoeth.cash/) 是一个...
理解为什么以及如何基于多项式构造零知识证明，这篇文章讲的比较清楚。虽然文章只讲到了皮诺曹协议，但是足够理解基于多项式构造零知识证明的本质。想深入零知识证明的小伙伴都建议看看。 http://petkus.info/papers/WhyAndHow...
在网络上看到一篇非常棒的介绍KZG多项式承诺的文章： https://dankradfeist.de/ethereum/cryptography/2020/06/16/kate-polynomial-commitments.html 翻译了一下，方便感兴趣的小伙伴查看。Dankrad多次帮忙校对翻译内容，甚至在他的blog创建了中文翻...
...享zk-SNARK的理解。最近趁着有点时间，和团队小伙伴把零知识证明的理解整理了一下。计划比较系统地直播zk-SNARK的算法以及工程应用。 ## 直播时间：2020-01-06 开始，每晚6:30 ## 直播大纲： ### 0、zk-SNARK历史 ### 1、密码学...
...工作，所以后来创建了这个库帮助开发和调试。 ### 零知识证明 - 说说Binius 零知识证明 - 说说Binius **Shooter**: Binius是个新颖的零知识证明系统，目的是降低证明者的计算开销。Binius能降低证明开销的原因是使用了F_2以及扩...
...plash](https://unsplash.com/?utm_source=medium&utm_medium=referral) [零知识证明](https://learnblockchain.cn/article/7402) 技术，特别是 [zk-SNARK](https://en.wikipedia.org/wiki/Non-interactive_zero-knowledge_proof)，是加密领域中最令人兴奋的技术之一，原因如下： ...
## 概述 零知识证明（ZKPs）是密码学中的一个突破性概念，允许一方向另一方证明某个陈述是真实的，而不透露关于该陈述的任何具体信息。这项技术在保护隐私和安全方面非常有用，应用于多种场景，如身份验证、安全投票系...
...2180)作者Ariel Gabizon发了一个Twitter，提到原始PLONK算法的零知识性存在问题：  简单的说，原始论文把商多项式t，直接分成三部分t_lo，t_mid，t_hi，并没有在这...
ZK-friendly 哈希函数是相比传统密码学哈希函数，需要更少的约束来证明和验证的哈希函数。 像 SHA256 或 keccak256 这样的哈希函数大量使用按位运算符，例如 XOR 或位旋转。证明 XOR 或位旋转的正确执行需要将数字表示为 32 位，...