Fiat-Shamir for Proofs Lacks a Proof Even in the Presence of Shared Entanglement.
Frédéric DupuisPhilippe LamontagneLouis SalvailPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- mathematical proofs
- theorem prover
- theorem proving
- interactive theorem proving
- formal proof
- automated theorem provers
- natural deduction
- automated theorem proving
- proof search
- mathematical knowledge
- secret sharing
- secret sharing scheme
- proof planning
- decision procedures
- inference rules
- data sets
- proof procedure
- cognitive processes
- multi agent
- knowledge base
- genetic algorithm
- complete axiomatization
- information retrieval
- machine learning
- neural network