分类 "零知识证明" 下的文章

• Dec 10, 2023 + 1541 字

  Pasta Curve

  写毕设代码过程中的一些学习笔记

• Oct 16, 2023 + 2857 字

  Nova开发库

  Microsoft实现的Nova开发库，有助于理解论文

• Jul 25, 2023 + 2336 字

  Testudo

  Testudo是一种无需FFT的SNARK，且采用了一种新的快速多元多项式承诺方案

• Jul 16, 2023 + 2381 字

  XHash8 and XHash12:Efficient STARK-friendly Hash Functions

  介绍一下两个新的AO哈希函数

• Jun 20, 2023 + 4548 字

  Halo:Recursive Proof Composition without a Trusted Setup

  基于ECC的DLOG假设实现了Halo协议，可在无需可信设置的条件下实现递归证明

• Jun 14, 2023 + 1914 字

  Sangria: A Folding Scheme for PLONK

  为Plonkish构造的Folding Scheme，沿用了Nova的思想

• Jun 09, 2023 + 7414 字

  HyperNova:Recursive arguments for customizable constraint systems

  Nova的进阶版本，可以折叠两个不同的NP实例

• Jun 02, 2023 + 5135 字

  Brakedown:Linear-time and post-quantum SNARKs for R1CS

  NP语言的第一个线性Prover Time的SNARK

• 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电路的方法