原创 PlatON
Lumino仪式已经接近尾声，用于零知识证明的参数也即将由所有正在参与、曾经参与过的用户们计算出来了。在《 Lumino仪式技术解析（一）——椭圆曲线 》我们知道，该仪式用到了两条椭圆曲线BN254和BLS12-381，那么接近60天多方参与的计算，其目的是要算出什么结果呢？多方参与的意义何在呢？本次将分为三篇内容通过尽量通俗的说明，给大家一个比较直观的理解。本文将讲述零知识证明与椭圆曲线。
来源 | PlatON社区
| 零知识证明与椭圆曲线
零知识证明可以在不泄露信息本身的前提下，使别人相信自己确实掌握了信息，同态隐藏恰好能够完成这一点，但在实际应用中，同态隐藏的基本形式太简单了，难以代表形式更加复杂的实际问题，因此在零知识证明中，引入了适用性更强的机制。通俗地讲，如果能够将一个实际问题，能够经过一系列变换，转换成一个多项式问题[4]，那么就能用于构造零知识证据，对于这个方面内容的详细讲解，稍稍超出了本系列的目的范畴，后续有机会将开新的专题来详细说明。在这里只需知道，通过多项式可以代表更加复杂的实际情况即可。
零知识证明与多项式
现在我们假设已经将一个实际问题包含的信息，转换到了一个形如下的多项式：
目前Lumino仪式仍在进行中，参与方式如下：
发电子邮件至LatticeX基金会：
lumino@latticex.foundation
邮件内请填写如下信息：
- 姓名（姓名或昵称）
- Alaya网络地址（为了降低风险，请选用ATP为零的地址）
- 通讯地址（礼品邮寄地址）
- 想加入哪个计算组（BN254曲线组或BLS12-381曲线组，亦可同时加入）
选择参与Lumino，成为Lumino仪式中的一位见证者。
参考文献：
[4] Quadratic Span Programs and Succinct NIZKs without PCPs . https://eprint.iacr.org/2012/215 .
[5] http://petkus.info/papers/WhyAndHowZkSnarkWorks.pdf
本文转载自https://mp.weixin.qq.com/s/edETnprigWcIIj15NHpz9g
