WIKINDX Resources

Scala, E., & Mostarda, L. 2024, Efficient inner-product argument from compressed $sigma$-protocols and applications. Paper presented at International Conference on Advanced Information Networking and Applications. 
Added by: Jack (2024-06-12 12:50)   Last edited by: Jack (2024-06-12 12:50)
Resource type: Proceedings Article
BibTeX citation key: Scala2024
View all bibliographic details
Categories: Monero-focused
Creators: Mostarda, Scala
Publisher: Springer
Collection: International Conference on Advanced Information Networking and Applications
Views: 270/658
Attachments   efficient_IPA.pdf [28/98] URLs   https://link.sprin ... 8-3-031-57916-5_28
The Inner-Product Argument (IPA) is a subroutine of well-known zero-knowledge proof systems, such as Bulletproofs and Halo. These proof systems are then applied in large cryptographc protocols for anonymous and private transactions in the public blockchain. Despite its trustless nature and logarithmic communication efficiency, IPA suffers from low computational efficiency. While not specifically aimed at optimizing the IPA, Attema et al. propose the compressed -protocol theory. Their intuition is simple: the prover provides an argument for a single committed vector to the verifier, whose commitment satisfies an arbitrary linear relation. We follow this intuition, but instead we provide an argument for two vectors committed under a single compact commitment, satisfying a linear form that is the inner-product relation. Hence, we propose the compressed -protocol version of the original IPA, namely the compressed -Inner-Product Argument (-IPA). To this end, we prove security and provide a -IPA that is complete and has soundness in standard DLOG setting. Finally, we conduct an efficiency analysis showing that our IPA reduces the computational complexity of prover and verifier algorithms by a factor of 2 compared to the original IPA.
WIKINDX 6.5.0 | Total resources: 215 | Username: -- | Bibliography: WIKINDX Master Bibliography | Style: American Psychological Association (APA)