Proofs of Quantumness from Trapdoor Permutations.

Tomoyuki Morimae Takashi Yamakawa

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

Keyphrases

theorem proving
mathematical proofs
probability distribution
theorem prover
formal proof
formal proofs
neural network
data mining
feature selection
natural language
sequent calculus
automated theorem provers