Jianning Zhang

Springproofs: Efficient Inner Product Arguments for Vectors of Arbitrary Length

2024

Inner product arguments (IPA) are arguments of knowledge that two committed vectors satisfy an inner product relation. With the recursive proof technique by Bootle et al. 2016, the size of IPA proofs only grows logarithmically …