I detta dokument inleder vi en studie av noll kunskapssäkra system i närvaro av sidokanalsattacker. I synnerhet överväger vi en miljö där en fuskkontrollant tillåts få godtyckligt begränsat läckage på hela staten (inklusive vittnet och de slumpmässiga mynten) av bevisaren under hela protokollets genomförande. Vi formaliserar en meningsfull definition av läckagetålig noll kunskap (LR-ZK) bevissystem, som intuitivt garanterar att protokollet inte ger något utöver giltigheten av uttalande och läckage som erhållits av kontrollören. Vi ger en konstruktion av LR-ZK interaktivt bevissystem baserat på standard allmänna antaganden. Såvitt vi vet är detta den första instansen av ett kryptografiskt interaktivt protokoll där motståndaren tillåts utföra läckageattacker under protokollets utförande på hela tillstånd av ärlig part (i motsats, tidigare arbete endast anses läckage före protokollet utförande, eller mycket begränsat läckage under protokollet utförande). Därefter ger vi ett LR-NIZK-säkert system baserat på standardiserade tal-teoretiska antaganden. Slutligen visar vi nyttan av våra föreställningar genom att ge två konkreta tillämpningar: • Vi initierar en ny forskningslinje för att lätta på antagandet om "tamper-proofness" av hårdvara polletter som används i utformningen av olika kryptografiska protokoll. I synnerhet genom att använda vårt LR-ZK bevissystem (och ramen för Lin et al. [STOC'09]), vi ger en konstruktion av ett universellt kompatibel flerpartiberäkning protokoll i läckande token modell (där en motståndare i besittning av en token tillåts få godtyckligt avgränsat läckage på hela tillståndet av token) baserat på standard allmänna antaganden. • Därefter utvidgar vi vår uppfattning om LR-NIZK till att även omfatta egenskapen simuleringsextrakterbarhet. Sedan, genom att anpassa tillvägagångssätt Katz och Vaikuntanathan [Asiacrypt'09] och Dodis et al. [Asiacrypt'10, FOCS'10] (för att bygga "standard" läckagetåliga signatursystem) till inställningen av "full-läckage" (där motståndaren kan läcka på hela staten i motsats till endast den hemliga nyckeln), vi få enkla, generiska konstruktioner av helt läckage-resilient (FLR) signaturer i den avgränsade läckagemodellen samt den kontinuerliga läckagemodellen. I motsats till de senaste konstruktionerna av FLR-signaturer är vårt system också säkert i "bullerläckage"-modellen. Vi kompletterar vårt resultat genom att visa att ett simuleringsextraherbart LR-NIZK bevissystem är underförstått av UC-NIZK av Groth et al.
Detta beslut träder i kraft dagen efter det att det har offentliggjorts i Europeiska unionens officiella tidning. Ref överväga fallet med system med noll-kunskap bevis där en skadlig kontrollör kan adaptivt läcka godtycklig information om tillståndet för den ärliga bevisaren under genomförandet av protokollet.
Leakage-Resilient Zero Knowledge ∗
{'venue': 'CRYPTO', 'journal': None, 'mag_field_of_study': ['Computer Science']}