How to construct physical zero-knowledge proofs for puzzles with a "single loop" condition.
Pascal LafourcadeDaiki MiyaharaTakaaki MizukiLéo RobertTatsuya SasakiHideaki SonePublished in: Theor. Comput. Sci. (2021)
Keyphrases
- real world
- acquire knowledge
- domain knowledge
- knowledge representation
- knowledge management
- knowledge acquisition
- theorem prover
- knowledge extraction
- neural network
- expert systems
- prior knowledge
- social networks
- knowledge discovery
- knowledge based systems
- learning systems
- domain experts
- knowledge transfer
- computer programs
- physical objects