PADO 协议分析

分享:
 
活动时间: 2023-08-23 20:00:00 - 2023-08-23 21:00:00
看回放

大纲

  1. 什么是安全多方计算(MPC)和 交互式零知识证明(IZK)
  2. 基于MPC和IZK的数据分享
  3. 与NIZK的结合
  4. 基于PADO的信用协议建设

主讲人

Fubiao, co-founder of PADO Labs

提前知道

PADO拥有一个连接Web2和Web3的纯密码学框架。如下图:

image.png

PADO框架以合规、去信任的方式为链上应用带来具有可靠价值的用户数据。

PADO 使用两种加密技术:

  • MPC-TLS。TLS 代表传输层安全,它是一种为互联网通信提供隐私和数据完整性的安全协议。任何客户端都可以通过TLS协议与互联网服务器进行通信,实现会话安全。一个典型的例子是,当你浏览网站时,通常会发现网站 URL 中有一个“锁”图标和“https”头,这意味着你的访问受到 TLS 的安全保护。简单来说,MPC-TLS 类似一个原始的 TLS 客户端,PADO 证明者将与 TLS 客户端一起工作:

    • 建立 TLS 通道(握手)。这涉及预主密钥、会话密钥和测试消息等的计算。
    • 在TLS 通道中执行查询。这涉及请求生成加密和服务器解密响应。
  • IZK. 交互式零知识证明(零知识证明的一种),证明者和验证者彼此交互通信。IZK协议输出验证者的结果,表达对证明者的陈述接受或拒绝。IZK 协议具有简洁的 NIZK(zk-STARKs/zk-SNARKs)所没有的优点,例如,可压缩大语句、计算很便宜、避免可信设置以及内存占用最小化。

WechatIMG13.png

Web3 极客公开课(Web3 Geek Forge)是由Rebase、登链社区、BuidlerDAO联合打造的硬核技术/研究分享活动。我们会每期邀请优质的嘉宾做深度、硬核的讲解和分享,提供一个行业建设者的交流空间。