Apple、超高速証明方式「dsIPP」を発表

記事の3ポイント

1. 1

   二重部分線形対話的証明の定義

   入力のごく一部のみを読み込むことで生成され、検証もさらに高速に行える「二重部分線形対話的証明（dsIPPs）」という概念を研究対象とした。

2. 2

   超高速な証明生成と検証

   証明の生成は入力の小部分のみで可能であり、近似検証に至ってはさらに小さな部分のみを読み込むことで完了する仕組みである。

3. 3

   プロパティテストとの類似性

   このアプローチはプロパティテストの文献と類似しており、正直な証明者は入力ごとに検証者を受け入れさせるが、悪意のある証明者は検証者を欺くことはできない。