Oblivious issuance of proofs.

Michele Orrù Stefano Tessaro Greg Zaverucha Chenzhi Zhu

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

Keyphrases

theorem proving
theorem prover
formal proof
equational theories
formal proofs
decision procedures
mathematical proofs
control system
special case
natural deduction