本年欧密会上有很多区块链相干研究成果,包含安然多方计算,证明体系 SPARKs,零知识证明 Marlin、SuperSonic、Fractal 等。

原文标题:《【现场直击】2020 欧密会区块链与暗码学最新成果精选》
撰文:PlatON

第 39 届欧洲暗码学大年夜会(以下简称「欧密会」)于 5 月 15 日落下帷幕。

由于遭到全球新型冠状病毒肺炎疫情影响,本届欧密会为线上视频会议,并在注册费用上实施了减免政策,特别是面向广大年夜先生群体,更是履行零元注册费。

直击 2020 欧密会最新研究:安然多方计算与证明体系

本届欧密会,PlatON 照旧为全程赞助并参与个中。自 2016 年起,PlatON 持续赞助和举办各类暗码学会议。包含对美国暗码会议(Crypto)、亚洲暗码会议(Asiacrypt)、欧洲暗码会议(Eurocrypt)及中国暗码会议的持续赞助;对 Inscrypt、SCRIPTS、IDASH、CCS、BIU 等会议和比赛的赞助等。PlatON 在暗码学范畴持续的实际研究与投入也取得了暗码学界高度承认与好评。

直击 2020 欧密会最新研究:安然多方计算与证明体系

欧密会( Eurocrypt )是国际暗码学研究协会( International Association for Cryptologic Research,IACR )每年主办的三大年夜暗码学国际会议之一。

会议涵盖了暗码学研究及应用的各个方面如基本实际研究、暗码设计与分析、安然计算与协定、暗码应用等。会议重要由论文申报、1 至 2 个特邀申报和自在说话( rump session )构成,会期为 4 天且不设分会场,欧密会是暗码学研究范畴的标忘性会议,影响力深远且程度顶尖。

本届欧密会涵盖了暗码学范畴的多个分支:数论、混淆、函数加密体系、基于属性的加密体系、对称暗码筹划设计和分析、量子暗码和量子暗码分析、安然多方计算、通用的零知识证明体系、针对详细阐述的简洁和高效的证明体系、侧信道进击、可验证延时函数和随机抽取、机密分享和信息隐蔽、格暗码和基于编码的暗码学、公钥暗码学和通用模型。

值得留意的是,本届欧密会固然没有伶仃设立与区块链相干的主题评论辩论,但在暗码学范畴,却有很多有关区块链的研究成果。

以下为 2020 欧密会区块链与暗码学部分最新成果:

安然多方计算主题

标题:

《Resource-Restricted Cryptography: Revisiting MPC Bounds in the Proof-of-Work Era》

作者:

Juan Garay、Aggelos Kiayia、Rafail M. Ostrovsky、Giorgos Panagiotakos、Vassilis Zikas

重要内容:

论文发明中本聪共鸣(任务量证明)冲破了传统协定(例如缺乏相干随机初始化的安然多方计算和传统的拜占庭共鸣)中进击者数量平日不克不及逾越总人数的 1/3 的界线,而是在计算算力层面停止了束缚,即只需折半以上的算力控制在诚实的矿工手里等于安然的。

经过过程对中本聪共鸣这一「资本束缚行型」设计范式的分析和思虑,将这一新范式转移到暗码学的定义和模型上,经过过程引入一个所谓的「外层搜集」(针对传统暗码学场景的点到点搜集停止了扩大和对进击者行动的束缚),给出了许可进击者数量逾越 1/3,且不多于 1/2 的拜占庭共鸣协定和安然多方计算协定。

证明体系主题

标题:

《SPARKs: Succinct Parallelizable Arguments of Knowledge》

作者:

Naomi Ephraim、Cody Freitag、Ilan Komargodski、Rafael Pass

重要内容:

论文提出了一种面向并行计算的全新的证明体系 SPARKs。假定一个非肯定性的计算义务须要的时间是 T,则 SPARKs 可以满足三个根本的性能请求:

  1. 不论计算义务跑若干次,证明者的证明生成时间根本上是 T。
  2. 证明者最多只须要 poly*log (T) 个处理器。
  3. 通信复杂度和验证者的计算复杂度均是 poly*log(T)。

作者根据抗碰撞哈希函数的存在性假定,构造了一个详细的 SPARKs 体系,和另外一个基于 SNARKs 体系的存在性假定和抗碰撞哈希函数的存在性假定的非交互式的 SPARKs 体系。

另外,区块链范畴炽热的零知识证明体系如 Marlin,SuperSonic,Fractal 均涌如今了欧密会上。

来源链接:mp.weixin.qq.com