SNNzkSNARK An Efficient Design and Implementation of a Secure Neural Network Verification System Using zkSNARKs [Slides]
- Los Alamos National Lab. (LANL), Los Alamos, NM (United States)
zkSNARKS can be described as zero-knowledge: No secret information is revealed by the proof; Succinct: The size of the proof that is generated is small; Non-interactive: no challenge-response protocol; and ARgument of Knowledge: It is computationally intractable for the prover to produce a fake proof.
- Research Organization:
- Los Alamos National Laboratory (LANL), Los Alamos, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- 89233218CNA000001
- OSTI ID:
- 1583147
- Report Number(s):
- LA-UR--20-20260
- Country of Publication:
- United States
- Language:
- English
Similar Records
Secure System Composition and Type Checking using Cryptographic Proofs [Slides]
A physical zero-knowledge object-comparison system for nuclear warhead verification
Computationally Efficient Neural Network Intrusion Security Awareness
Technical Report
·
Wed Jul 13 00:00:00 EDT 2022
·
OSTI ID:1876757
A physical zero-knowledge object-comparison system for nuclear warhead verification
Journal Article
·
Mon Sep 19 20:00:00 EDT 2016
· Nature Communications
·
OSTI ID:1332310
Computationally Efficient Neural Network Intrusion Security Awareness
Conference
·
Sat Aug 01 00:00:00 EDT 2009
·
OSTI ID:968573