Welcome to the resource topic for 2024/329
Title:
How to Validate a Verification?
Authors: Houda Ferradi
Abstract:This paper introduces \textsl{signature validation}, a primitive allowing any \underline{t}hird party T (\underline{T}héodore) to verify that a \underline{v}erifier V (\underline{V}adim) computationally verified a signature s on a message m issued by a \underline{s}igner S (\underline{S}arah).
A naive solution consists in sending by Sarah x=\{m,\sigma_s\} where \sigma_s is Sarah’s signature on m and have Vadim confirm reception by a signature \sigma_v on x.
Unfortunately, this only attests \textsl{proper reception} by Vadim, i.e. that Vadim \textsl{could have checked} x and not that Vadim \textsl{actually verified} x. By ``actually verifying’’ we mean providing a proof or a convincing argument that a program running on Vadim’s machine checked the correctness of x.
This paper proposes several solutions for doing so, thereby providing a useful building-block in numerous commercial and legal interactions for proving informed consent.
ePrint: https://eprint.iacr.org/2024/329
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .