PADO 协议分析
分享:
活动时间：
2023-08-23 20:00:00 - 2023-08-23 21:00:00
大纲
- 什么是安全多方计算（MPC）和 交互式零知识证明(IZK)
- 基于MPC和IZK的数据分享
- 与NIZK的结合
- 基于PADO的信用协议建设
主讲人
Fubiao, co-founder of PADO Labs
提前知道
PADO拥有一个连接Web2和Web3的纯密码学框架。如下图：
PADO框架以合规、去信任的方式为链上应用带来具有可靠价值的用户数据。
PADO 使用两种加密技术：
-
MPC-TLS。TLS 代表传输层安全，它是一种为互联网通信提供隐私和数据完整性的安全协议。任何客户端都可以通过TLS协议与互联网服务器进行通信，实现会话安全。一个典型的例子是，当你浏览网站时，通常会发现网站 URL 中有一个“锁”图标和“https”头，这意味着你的访问受到 TLS 的安全保护。简单来说，MPC-TLS 类似一个原始的 TLS 客户端，PADO 证明者将与 TLS 客户端一起工作：
- 建立 TLS 通道（握手）。这涉及预主密钥、会话密钥和测试消息等的计算。
- 在TLS 通道中执行查询。这涉及请求生成加密和服务器解密响应。
-
IZK. 交互式零知识证明(零知识证明的一种)，证明者和验证者彼此交互通信。IZK协议输出验证者的结果，表达对证明者的陈述接受或拒绝。IZK 协议具有简洁的 NIZK（zk-STARKs/zk-SNARKs）所没有的优点，例如，可压缩大语句、计算很便宜、避免可信设置以及内存占用最小化。
Web3 极客公开课(Web3 Geek Forge)是由Rebase、登链社区、BuidlerDAO联合打造的硬核技术/研究分享活动。我们会每期邀请优质的嘉宾做深度、硬核的讲解和分享，提供一个行业建设者的交流空间。
