May 13, 2024, 4:36 a.m. |


ePrint Report: Relativized Succinct Arguments in the ROM Do Not Exist

Annalisa Barbara, Alessandro Chiesa, Ziyi Guan

A relativized succinct argument in the random oracle model (ROM) is a succinct argument in the ROM that can prove/verify the correctness of computations that involve queries to the random oracle. We prove that relativized succinct arguments in the ROM do not exist. The impossibility holds even if the succinct argument is interactive, and even if soundness is computational (rather than statistical).

This …

argument can correctness eprint report oracle prove random report rom verify

Sr. Product Manager

@ MixMode | Remote, US

Information Security Engineers

@ D. E. Shaw Research | New York City

Staff Technical Support Engineer - Endpoint Security

@ Palo Alto Networks | Singapore, Singapore

Identity and Access Management (IAM) Engineer

@ Vodafone | Madrid, ES

Director, Product and Solutions Marketing - CIAM Solutions

@ ForgeRock | USA - Remote - Austin, TX

Ingénieur de Production IAM (H/F)

@ CITECH | Marseille, France