zkPi: Proving Lean Theorems in Zero-Knowledge.

Evan Laufer Alex Ozdemir Dan Boneh

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

knowledge acquisition
domain knowledge
knowledge base
real world
knowledge representation
prior knowledge
background knowledge
higher level
knowledge extraction
real time
hidden markov models
search algorithm
data structure
case study
clustering algorithm
computer vision
artificial intelligence