MoneroResearch.info

WIKINDX Resources

Bassa, A. (2025). Soundness Proof for an Interactive Protocol for the Discrete Logarithm Relation. Unpublished manuscript. 
Added by: Rucknium (02/04/2025, 18:11)   
Resource type: Manuscript
BibTeX citation key: Bassa2025
View all bibliographic details
 Categories: Monero-focused
Subcategories: Full-Chain Membership Proofs
Creators: Bassa
Collection: Veridise		 Views: 58/58
Attachments   _VAR_Monero_Soundness_final.pdf [11/11]
Abstract
In this note we provide a soundness proof for the interactive proof of knowledge of discrete logarithm introduced in [8, 9], based on Eagen’s proof for EC inner products [5]. We show that the discrete logarithm proof gadget as described in [8, Section 4.2.2] and [9] provides an accurate realization of the protocol.


For details about elliptic curves and algebraic function fields we refer to [12] and [13]. For definitions and results on special-soundness see [1, 2].


  
WIKINDX 6.10.2 | Total resources: 252 | Username: -- | Bibliography: WIKINDX Master Bibliography | Style: APA Enhanced