Login / Signup
Succinct Publicly-Certifiable Proofs (or: Can a Blockchain Verify a Designated-Verifier Proof?).
Matteo Campanelli
Hamidreza Khoshakhlagh
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
designated verifier
mathematical proofs
theorem prover
theorem proving
interactive theorem proving
automated theorem provers
natural deduction
signature scheme
proof search
proxy signature scheme
sequent calculus
ring signature scheme
security model
signcryption scheme
similarity search
standard model