Unclonable Commitments and Proofs.

Vipul Goyal Giulio Malavolta Justin Raizes

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

Keyphrases

multiagent systems
theorem prover
theorem proving
formal proof
mathematical proofs
equational theories
databases
data mining
information retrieval
metadata
multi agent
lower bound
sufficient conditions
decision procedures
natural deduction
sequent calculus