Abstrakt. Groth-Sahai bevis är effektiva icke-interaktiva noll-kunskap bevis som har funnit utbredd användning i parningbaserad kryptografi. Vi föreslår effektivitetsförbättringar av Groth-Sahai-bevis i SXDH-inställningen, som är den som ger de mest effektiva icke-interaktiva noll-kunskapsbevisen. -Vi ersätter några av åtagandena med ElGamal-krypteringar, vilket minskar testarens beräkning och för vissa typer av ekvationer minskar bevisstorleken. -Groth-Sahai-bevis är noll-kunskap när inga offentliga element paras ihop med varandra. Vi observerar att de också är noll-kunskap när baselement för grupperna paras till offentliga konstanter. -Utprovarens beräkning kan minskas genom att låta henne välja sin egen gemensamma referenssträng. Genom att ge ett bevis på att hon har valt en giltig gemensam referenssträng äventyrar detta inte sundheten. -Vi definierar ett typbaserat åtagande-och-prove-system som gör det möjligt att återanvända åtaganden i många olika bevis.
När det gäller Groth-Sahai noll-kunskap bevis, det närmaste arbetet är den av Escala och Groth i REF.
Fine-Tuning Groth-Sahai Proofs
{'venue': 'Public Key Cryptography', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}