Concrete Security for Succinct Arguments from Vector Commitments

ePrint Report: Concrete Security for Succinct Arguments from Vector Commitments

Alessandro Chiesa, Marcel Dall'Agnol, Ziyi Guan, Nicholas Spooner

We study the concrete security of a fundamental family of succinct interactive arguments, stemming from the works of Kilian (1992) and Ben-Sasson, Chiesa, and Spooner ("BCS", 2016). These constructions achieve succinctness by combining probabilistic proofs and vector commitments.


Our first result concerns the succinct interactive argument of Kilian, realized with any probabilistically-checkable proof (PCP) and any vector commitment. We establish the tightest …

ben concrete eprint report family report security study the works