Matching Logic Proofs Meet Succinct Cryptographic Proofs

Bailey, Bolton; Chen, Xiaohong; Fiedler, Adam; Malvai, Harjasleen; Miller, Andrew; Mishra, Pratyush; Rodrigues, Nishant; Rosu, Grigore

Permalink

https://hdl.handle.net/2142/122761 Copy

Description

Title

Matching Logic Proofs Meet Succinct Cryptographic Proofs

Author(s)

• Bailey, Bolton
• Chen, Xiaohong
• Fiedler, Adam
• Malvai, Harjasleen
• Miller, Andrew
• Mishra, Pratyush
• Rodrigues, Nishant
• Rosu, Grigore

Issue Date

2023-06-01

Keyword(s)

Logic, Semantics, Cryptography

Abstract

We present the syntax and the proof system of matching logic and introduce the research problem of producing succinct cryptographic proofs for checking matching logic proofs.

Type of Resource

text

Language

eng

Owning Collections