Zero-Knowledge Proofs of Connectivity for Labeled Directed Graphs Using Bilinear-Map Accumulator.
Takuma YoshiokaToru NakanishiTeruaki KitasukaPublished in: candar (2023)
Keyphrases
- directed graph
- knowledge management
- knowledge base
- strongly connected
- domain knowledge
- maximum flow
- random walk
- knowledge acquisition
- maximum a posteriori
- domain experts
- knowledge representation
- knowledge based systems
- undirected graph
- knowledge sharing
- directed acyclic graph
- cognitive map
- computer programs
- background knowledge
- maximum likelihood
- upper bound
- prior knowledge
- training data