A constant-round resettably-sound resettable zero-knowledge argument in the BPK model.
Seiko AritaPublished in: IACR Cryptol. ePrint Arch. (2011)
Keyphrases
- management system
- computational model
- formal model
- knowledge base
- experimental data
- objective function
- expert systems
- mathematical model
- theoretical framework
- additional knowledge
- formal representation
- reasoning process
- graphical representation
- conceptual model
- background knowledge
- knowledge management
- cost function
- prior knowledge
- decision trees