活动：零知识证明技术详解

构建增强隐私和安全的技术需要深入了解了解当前的加密构建块。

现有的大量研究之一密码工具是零知识证明。

零知识证明目前处于过度发展，无论是在理论机制方面还是在实践方面实施，并有可能安全地扩展基于区块链的解决方案。此外，目前正在进行零知识证明的标准化工作。零知识证明是指一方可以证明拥有的加密协议某些信息而不透露信息本身。

大多数学习材料都难以解释它们为什么重要以及它们是如何工作的在内部，所以零知识证明仍然有些“神奇”和难以捉摸，阻止开发人员无法在大量项目中有效探索或利用它们。在这个互动研讨会中，我们将专注于数学和密码学zk-SNARKs 的基础，一种常用的零知识证明。

zk SNARK 代表“零知识简洁非交互式知识论证”，以及该研讨会将重点关注 Groth36 zk-SNARK 的每个开发步骤。参与者应注意，从这些数学和密码学基础知识中学习不仅可以用于理解零知识证明，还可以用于更广泛地讨论现代密码学。

我们还将审查实施设置zk-SNARKs。

参考：MoonMath 手册：https://leastauthority.com/community-matters/moonmath-manual/

目标

A. 知识和理解（理论部分）

在本课程结束时，参与者应该能够：

− 解释零知识证明的能力、限制和应用

− 分析加密构建块的算术和代数

− 评估椭圆曲线并审查椭圆曲线配对

− 剖析 Groth36 zk-SNARK 设置、证明者和验证者阶段

B. 关键技能（实践部分）

在本课程结束时，参与者应该能够：

− 要在 Groth36 zk-SNARK 中证明的设计语句，并在不同的环境中构建它们表示法（代数电路、R1CS、QAP）

− 构建 Groth 16 zk-SNARK 设置、证明者和验证者

− 使用 SageMath 进行数学计算，使用 Circom 进行 zk-SNARK 计算

要求

● 与会者应该对数学、密码学和他们的知识抱有兴奋的态度应用程序。

● 与会者必须携带自己的笔记本电脑和书写材料，并准备好参加几次实践练习和案例研究

● 我们建议与会者在会议开始前在他们的机器上安装 SageMath 和 Circom课程。 （安装指南将在课程开始前提供。） 软件时间安装帮助包含在第一天。

时长：1.5天

地点：SUSS（具体地点待定）

培训师简介

Anna Kaplan

Least Authority

安娜在慕尼黑工业大学学习数学和政治与技术专长于代数、密码学和隐私。

她曾在 IBM 苏黎世研究院工作和 Zcash 基金会了解密码学的理论和实践在加入 Least Authority 作为密码学之前包含零知识证明的协议研究员、工程师和培训师。

本文 原创，转载保留链接！网址：https://licai.bangqike.com/bixun/455247.html