Succinct Publicly-Certifiable Proofs - Or, Can a Blockchain Verify a Designated-Verifier Proof?

Matteo Campanelli Hamidreza Khoshakhlagh

Published in: INDOCRYPT (2021)

Keyphrases

designated verifier
mathematical proofs
theorem prover
interactive theorem proving
theorem proving
natural deduction
automated theorem provers
proof search
signature scheme
proxy signature scheme
security model
ring signature scheme
sequent calculus
linear logic
signcryption scheme
standard model
fault tolerant