Lumino仪式技术解析——零知识证明与椭圆曲线

原创 PlatON

Lumino仪式技术解析——零知识证明与椭圆曲线

Lumino仪式已经接近尾声,用于零知识证明的参数也即将由所有正在参与、曾经参与过的用户们计算出来了。在《 Lumino仪式技术解析(一)——椭圆曲线 》我们知道,该仪式用到了两条椭圆曲线BN254和BLS12-381,那么接近60天多方参与的计算,其目的是要算出什么结果呢?多方参与的意义何在呢?本次将分为三篇内容通过尽量通俗的说明,给大家一个比较直观的理解。本文将讲述零知识证明与椭圆曲线。

来源 | PlatON社区

| 零知识证明与椭圆曲线

零知识证明可以在不泄露信息本身的前提下,使别人相信自己确实掌握了信息,同态隐藏恰好能够完成这一点,但在实际应用中,同态隐藏的基本形式太简单了,难以代表形式更加复杂的实际问题,因此在零知识证明中,引入了适用性更强的机制。通俗地讲,如果能够将一个实际问题,能够经过一系列变换,转换成一个多项式问题[4],那么就能用于构造零知识证据,对于这个方面内容的详细讲解,稍稍超出了本系列的目的范畴,后续有机会将开新的专题来详细说明。在这里只需知道,通过多项式可以代表更加复杂的实际情况即可。

零知识证明与多项式

现在我们假设已经将一个实际问题包含的信息,转换到了一个形如下的多项式:

Lumino仪式技术解析——零知识证明与椭圆曲线
Lumino仪式技术解析——零知识证明与椭圆曲线
Lumino仪式技术解析——零知识证明与椭圆曲线
Lumino仪式技术解析——零知识证明与椭圆曲线

目前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

发表评论

登录后才能评论