Practical Security Analysis of Zero-Knowledge Proof Circuits.
Hongbo WenJon StephensYanju ChenKostas FerlesShankara PailoorKyle CharbonnetIsil DilligYu FengPublished in: IACR Cryptol. ePrint Arch. (2023)
Keyphrases
- security analysis
- smart card
- security requirements
- public key
- high security
- security model
- security properties
- image encryption
- encryption scheme
- authentication protocol
- fine grained
- private key
- proxy signature scheme
- real time
- mutual authentication
- authentication scheme
- data integration
- image compression
- video sequences