Qtum量子链与伯克利大学技术合作：零知识证明技术研发系二

始终关注世界前沿创新的伯克利大学，于2018年年初联手区块链领域优秀企业成立了区块链实验室，表现出对区块链技术的极大热情，近期Qtum量子链基金会结束了伯克利大学阶段性的技术探索实验

在此次技术战略合作主要方向为 ：support my research group's work in zero knowledge proofs and blockchain applications.（零知识证明及其在区块链中的应用）

Qtum量子链基金会自成立至今不断发展壮大扩大影响力的同时也将技术探索和技术合作放在重要的发展战略中，其中现已加入Qtum量子链基金会团队中的成员为塔林大学、哥伦比亚大学、西安交大与西安电子科技大学等。

回顾：Qtum量子链与伯克利大学战略合作：零知识证明技术研发系列一

Qtum量子链与哥伦比亚大学合作开展区块链技术研究

Qtum量子链携手哥本哈根商学院举办黑客马拉松

Qtum量子链与Node区块链加速器在西安交大等高校开设区块链主题课程

此次与伯克利大学共同合作的技术性探索为两部分：

Zexe: Enabling Decentralized Private Computation

Aurora: Transparent Succinct Arguments for R1CS

《Zexe: Enabling Decentralized Private Computation》论文主要由Sean Bowe, Alessandro Chiesa, Matthew D. Green, Ian Miers, Pratyush Mishra, Howard Wu等研究人员撰写完成并发表于Cryptology ePrint Archive，其中论文撰写均来自于zcash、伯克利大学、约翰霍普金斯大学等联合发表；而《Aurora: Transparent Succinct Arguments for R1CS》是由来自Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza, Nicholas P. Ward等来自伯克利大学、以色列理工学院、麻省理工学院多媒体实验室联合发表于Cryptology ePrint Archive 上的论文。

研究教授

Department of Electrical Engineering and Computer Science

Alessandro Chiesa

Alessandro Chiesa于2015年夏天加入加州大学伯克利分校(UC Berkeley)。在此之前，他曾在苏黎世联邦理工学院(ETH Zurich)担任博士后研究员，师从托马斯•霍伦斯坦(Thomas Holenstein)教授。他的研究涵盖了复杂性理论、密码学和安全等领域，重点研究了“零知识证明”的理论基础和实际应用。他同时也是Zerocash协议的共同发起人，Zcash公司的联合创始人，也是libsnark的作者，libsnark是领先的开源库，致力于简洁的零知识证明。

Aurora: Transparent Succinct Arguments for R1CS

摘要

We design, implement, and evaluate a zero knowledge succinct non-interactive argument (SNARG) for Rank-1 Constraint Satisfaction (R1CS), a widely-deployed NP language undergoing standardization. Our SNARG has a transparent setup, is plausibly post-quantum secure, and uses lightweight cryptography. A proof attesting to the satisfiability of n constraints has size O(log2 n); it can be produced with O(n log n) field operations and verified with O(n). At 128 bits of security, proofs are less than 250 kB even for several million constraints, more than 10× shorter than prior SNARGs with similar features. A key ingredient of our construction is a new Interactive Oracle Proof (IOP) for solving a univariate analogue of the classical sumcheck problem [LFKN92], originally studied for multivariate polynomials. Our protocol verifies the sum of entries of a Reed–Solomon codeword over any subgroup of a field. We also provide libiop, a library for writing IOP-based arguments, in which a toolchain of transformations enables programmers to write new arguments by writing simple IOP sub-components. We have used this library to specify our construction and prior ones, and plan to open-source it.

加州大学伯克利分校（University of California, Berkeley），简称伯克利，位于美国旧金山湾区伯克利市，在学术界享有盛誉，位列2016年ARWU世界大学学术排名世界第3。作为美国最自由、最包容的大学之一，伯克利与旧金山南湾的斯坦福大学共同构成了美国西部的学术中心。