包含标签 "零知识证明" 的文章

• May 31, 2023 + 2600 字

  Hardware Acceleration of ZKP

  ZKP MOOC的16课，简单介绍一下ZKP的硬件加速

• May 30, 2023 + 6250 字

  Secure ZK Circuits with Formal Methods

  ZKP MOOC的15课，介绍一下形式化分析ZKP电路的方法

• May 29, 2023 + 2468 字

  ZKP Applications Overview & zkBridge

  ZKP MOOC的第14课，介绍一些ZKP的应用场景和zkBridge跨链

• May 22, 2023 + 7571 字

  NIZK from Non-Interactive Batch Arguments

  如何利用简洁性来获取NP类的零知识性

• Mar 08, 2023 + 6228 字

  TinyRAM程序的ZK Proof System：Part 2

  本部分介绍一下TinyRAM程序零知识证明系统中的各个子关系

• Mar 05, 2023 + 4901 字

  TinyRAM程序的ZK Proof System：Part 1

  以零知识的方式验证TinyRAM程序的正确执行，文章也提出了查表的概念，本篇先介绍一些概念和证明总体框架

• Feb 17, 2023 + 11868 字

  AntMan：亚线性通信量的交互式零知识证明方案

  师兄的paper，旨在解决基于VOLE的ZK方案通信量太大的问题

• Dec 08, 2022 + 5563 字

  Caulk: Lookup Arguments in Sublinear Time

  介绍了一种新的查表方式，简单来说就是证明两个向量的位置链接关系

• Nov 12, 2022 + 5818 字

  ZKP Part 3：Protocol

  本部分从协议出发，简要分析一下现有的ZKP方案

• Nov 11, 2022 + 18937 字

  ZKP Part 2：Paradigms

  本部分主要介绍ZKP底层的一些概念，包括信息论证明系统和密码学编译器之类的