Compressing Proofs of k-Out-Of-n Partial Knowledge.

Thomas Attema Ronald Cramer Serge Fehr

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

Keyphrases

partial knowledge
theorem prover
data compression
equational theories
formal proofs
mathematical proofs
knowledge base
feature space
maximum likelihood
belief state
formal proof