C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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