International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Proximity Testing with Logarithmic Randomness

Authors:
Benjamin E. Diamond , Ulvetanna
Jim Posen , Ulvetanna
Download:
DOI: 10.62056/aksdkp10
URL: https://cic.iacr.org//p/1/1/2
Search ePrint
Search Google
Abstract:

A fundamental result dating to Ligero (Des. Codes Cryptogr. '23) establishes that each fixed linear block code exhibits proximity gaps with respect to the collection of affine subspaces, in the sense that each given subspace either resides entirely close to the code, or else contains only a small portion which resides close to the code. In particular, any given subspace's failure to reside entirely close to the code is necessarily witnessed, with high probability, by a uniformly randomly sampled element of that subspace. We investigate a variant of this phenomenon in which the witness is not sampled uniformly from the subspace, but rather from a much smaller subset of it. We show that a logarithmic number of random field elements (in the dimension of the subspace) suffice to effect an analogous proximity test, with moreover only a logarithmic (multiplicative) loss in the possible prevalence of false witnesses. We discuss applications to recent noninteractive proofs based on linear codes, including Brakedown (CRYPTO '23).

BibTeX
@article{cic-2024-34113,
  title={Proximity Testing with Logarithmic Randomness},
  journal={cic},
  publisher={International Association for Cryptologic Research},
  volume={1, Issue 1},
  url={https://cic.iacr.org//p/1/1/2},
  doi={10.62056/aksdkp10},
  author={Benjamin E. Diamond and Jim Posen},
  year=2024
}