Login / Signup
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