Statements (23)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | gptkb:crypt | 
| gptkbp:application | gptkb:Ethereum gptkb:Zcash privacy coins | 
| gptkbp:category | gptkb:proof_system cryptography | 
| gptkbp:enables | privacy-preserving computation scalable verification | 
| gptkbp:firstPublished | 1990s | 
| gptkbp:inventedBy | gptkb:Oded_Goldreich gptkb:Shafi_Goldwasser gptkb:Silvio_Micali | 
| gptkbp:property | zero-knowledge non-interactivity succinctness | 
| gptkbp:relatedTo | gptkb:zk-SNARKs gptkb:STARKs | 
| gptkbp:standsFor | Succinct Non-interactive Argument of Knowledge | 
| gptkbp:usedIn | gptkb:cryptocurrency zero-knowledge proofs | 
| gptkbp:bfsParent | gptkb:STARKs | 
| gptkbp:bfsLayer | 6 | 
| https://www.w3.org/2000/01/rdf-schema#label | SNARKs |