安全多方计算仪式Lumino技术详细导读

Lumino, 照亮云图前行道路上的引领之光。

Lumino是什么?

Lumino的中文含义为发光、照明。在PlatON/Alaya的世界里,Lumino是一个多方协作的计算仪式,为PlatON/Alaya的密码学基础设施之一——零知识证明协议,创建必要的安全参数。

作为区块链领域重要的隐私计算技术之一,零知识证明,允许证明者向验证者证实前者知道一个秘密信息,同时又不直接泄露信息本身。作为一种兼具隐私保护和认证能力的密码学原语,零知识证明被广泛用于区块链中的交易隐私保护、数据最小化认证以及各类扩容等场景。区块链领域应用的零知识证明系统,主要是一类被称为「zk-SNARKs」的密码算法,它具有以下几个特点:

简洁性:证明生成时间要足够短;

报告:机密计算通过为热钱包中处理的数据提供额外的安全层来为热钱包提供解决方案:金色财经报道,在最近的FTX崩溃之后,The Decentralized Think Tank 发布了有关加密货币交易所网络安全主题的行业更新。该报告探讨了机密计算在保护加密货币交易所未来安全方面的重要性。报告显示,加密货币交易所面临的一大挑战是热钱包的脆弱性。这些是连接到互联网并用于交易的在线钱包。由于热钱包的可访问性,黑客经常将其作为目标,过去曾导致交易所遭受重大损失。机密计算通过为热钱包中处理的数据提供额外的安全层来提供解决方案。它涉及使用硬件和软件技术来创建一个安全的执行环境或“飞地”,敏感数据可以在其中处理而不会暴露给系统的其余部分。[2023/1/3 22:21:48]

非交互式:证明者仅需要一次性将证明信息发送给验证者,由后者进行本地验算,而无需反复交互;

高鸿股份:公司计划为区块链产业提供安全加固技术支持:高鸿股份(000851)在回复投资者提问时表示,公司正在深入研究可信计算在区块链的应用,可信计算可以有效提高区块链节点设备的安全,并保护底层软件不被渗透和篡改。公司计划为区块链产业提供以可信计算为核心的安全加固技术支持。[2020/5/18]

知识论证:证明者必须在掌握了实质性的秘密知识的前提下,才能通过证明验证。

零知识性:证明过程除了会让验证者相信陈述(statement)是成立的之外,不会泄露任何的信息。

为什么要启动Lumino

目前现有的zk-SNARKs类算法,主要包括经典的GGPR13、PGHR13、Groth16、GM17,以及支持公共参数可更新的Sonic、Marlin、Plonk等新一代算法。知名的隐私密码货币ZCash的当前版本就是采用了Groth16算法。

声音 | Coinbase首席合规官:正在与其他交易所合作寻求安全共享客户数据的解决方案:为响应6月份金融行动特别工作组(FATF)公布的反新规,加密货币行业迫切需要采取措施来遵守。新规指出,与1996年以后美国金融机构适用的情况一样,加密货币企业在汇款超1000美元时,必须向其他金融机构发送客户数据。但是,要遵守这一标准还存在很多难题。目前,加密货币相关企业没有用于相互发送和接收客户数据的基础设施。另外,企业之间也有必要就由谁承担共享数据的系统费用、如何管理系统等问题达成协议。 Coinbase首席合规官Jeff Horowitz就此表示,尽管对于遵守新标准的解决方案是存在的,但目前还没有共享客户数据的方法。Horowitz表示,目前Coinbase正在与其他交易所组建工作小组,该小组致力于开发安全、标准化地发送和接收客户数据的方法。(Coinpost)[2019/9/17]

而如果希望借助这些zk-SNARKs算法来正确运行电路——经过计算机系统编译后的证明逻辑,其前提是系统中的一系列随机的初始化参数已经存在。

动态 | Monero披露九个安全漏洞:据thenextweb报道,Monero披露了九个安全漏洞,其中一个漏洞可能使黑客从加密货币交易所中窃取XMR。这些漏洞在大约四个月前被大量报告,此后已经修补了8个漏洞,而其中一个漏洞几乎完全未公开。此外,大多数缺陷都被描述为“概念证明”。目前没有关于这些漏洞被利用的报告。[2019/7/5]

例如我们可以通过一个可信的第三方来创建这些参数,创建完成之后,这些参数会被计算「证明密钥」和「验证密钥」,分别作为电路执行者——证明者和验证者的各自输入。需要注意的是,任何人如果掌握了这些随机化参数创建过程中的一些秘密信息,就可以利用这些秘密信息来作弊,使得自己可以生成虚假证明,顺利地任何人。

事实上,这些随机化的参数不会凭空出来,而区块链的世界里,也不存在纯粹的可信第三方,因此通过安全多方计算(Secure Multi-party Computation)的方式,让多个参与者共同完成这些随机化参数的创建,无疑是一个绝妙的想法。事实上,ZCash已经通过其安全多方计算仪式(Power of Tau),于2017年11月,成功地为Groth16算法创建了系统参数。

在Lumino中,多个参与者将会通过接力的形式进行多轮计算,即当前参与者将采用前一位参与者的计算结果共作为本轮的输入,而他的计算输出也将成为下一位参与者的计算输入。经过一定轮数的计算后,最后的一位参与者的输出,将作为整个仪式的最终成果,也就是PlatON/Alaya的零知识证明系统将选用的系统初始化参数。

为了保证这一接力式安全多方计算的可靠性,每位参与者在进行计算之时,都需要检查他的输入——即前一位参与者的计算结果,是格式良好,并且满足「接力」逻辑。每位参与者在完成该轮计算后,都应该将计算过程中创建的秘密信息即时删除,从而保证整个Lumino仪式的安全性。

关于Lumino的更多细节

Lumino将为Plonk算法提供必要的初始化参数,并且这些参数是安全可靠的,意味着没有人可以掌握参数背后的秘密信息,用于欺诈整个系统内的玩家。

整个仪式将分为两个组,分别为不同的椭圆曲线(BN254 curve和BLS12-381 curve)创建不同的初始化参数,从而允许零知识证明系统的构建者选择其合适的曲线类型。

Lumino已经于2021-06-01T10:00:00,UTC+08:00启动,预期运行约60天,即截止时间前的最后一轮有效输出作为最终的结果,将被用于构建基于Plonk算法的各类零知识证明系统。

如何参与Lunimo

发电子邮件至LatticeX基金会:

lumino@latticex.foundation

邮件内请填写如下信息:

姓名(姓名或昵称)

Alaya网络地址(为了降低风险,请选用ATP为零的地址)

通讯地址(礼品邮寄地址)

想加入哪个计算组(BN254曲线组或BLS12-381曲线组,亦可同时加入)

选择参与Lumino,成为Lumino仪式中的一位「接力者」。

通过Lumino的开源仓库,下载和安装Lumino的客户端软件。我们提供了基于Docker的的简易化操作流程:

https://github.com/PlatONnetwork/Lumino/tree/main/setup-mpc-client/

为了给参与者更大的灵活性,仪式支持参与者可以在全周期内任意时间上线和启动客户端软件,我们的后台服务器会采用优化的调度策略保证整个计算仪式的连贯性。

在仪式期间,您可以通过随时查看我们的活动进展页面,在合适的时间参与到仪式的接力计算中,活动网站如下:

https://lumino.latticex.foundation/home

计算完成后,您的计算结果将会被保存在后台服务器上,用于下一位接力者的计算。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

区块链SubQuery 让去中心化数据近在眼前

SubQuery自诞生之初就受到大众的注目,一如当初的The Gragh,成为众多顶级机构押注的Web3.0基础设施,那么SubQuery是如何让去中心索引和查询变的触手可及?下面这篇文章带大家深度了解SubQuery.

[0:15ms0-1:566ms