Icke-interaktiv noll-kunskap bevis spelar en viktig roll i många kryptografiska protokoll. Vi föreslår flera NIZK-säkra system baserade på prime order grupper med en bilinear karta. Vi får linjära storleksbevis för relationer mellan gruppelement utan att gå igenom en dyr minskning till ett NP-komplett språk som Circuit Tillfredsställande. Säkerhet för alla våra konstruktioner bygger på det beslutsmässiga linjära antagandet. NIZK-proof-systemet är ganska allmänt och har många tillämpningar såsom digitala signaturer, kontrollerbar kryptering och gruppsignaturer. Vi fokuserar på det senare och får den första gruppsignaturer som uppfyller den starka säkerhetsdefinitionen av Bellare, Shi och Zhang [BSZ05] i standardmodellen utan slumpmässiga orakel där varje gruppsignaturer endast består av ett konstant antal gruppelement. Vi föreslår också ett simuleringsljud NIZK-bevis på kunskap, vilket är mycket effektivare än tidigare konstruktioner i litteraturen. Caveat: Konstanterna är stora, och därför är våra planer inte praktiska. Icke desto mindre tycker vi att det är mycket intressant för första gången att ha NIZK-bevis och gruppsignaturer som förutom en konstant faktor är optimala utan att använda den slumpmässiga orakelmodellen för att argumentera säkerhet.
Groth Ref föreslog den första strukturbevarande signaturen, men konstruktionen omfattar hundratals gruppelement och är inte praktisk.
Simulation-sound nizk proofs for a practical language and constant size group signatures
{'venue': 'In proceedings of ASIACRYPT ’06, LNCS series', 'journal': None, 'mag_field_of_study': ['Computer Science']}