Rationella bevis, som infördes av Azar och Micali (STOC 2012), är en variant av interaktiva bevis där provaren är rationell, och kan avvika från protokollet för att öka sin belöning. Guo m.fl. (ITCS 2014) visade att rationella bevis är relevanta för delegering av beräkningar. Genom att begränsa den provtagare som skulle vara beräkningsbegränsad, presenterade de ett en-runt delegeringsschema med sublinjär verifiering för funktioner som kan beräknas genom enhetliga logaritmiska kretsar med logaritmiskt djup. I detta arbete studerar vi rationella bevis där kontrollanten också är rationell, och kan avvika från protokollet för att minska provtagarens belöning. Vi konstruerar ett tre-meddelande delegationsschema med sublinjär verifiering för funktioner som kan beräknas av log-space enhetliga kretsar med polylogaritmiskt djup i den slumpmässiga oraklet modellen.
Inasawa och Kenji Ref överväger rationella bevis där kontrollanten också är rationell och vill minimera betalningen till testerna.
Rational Proofs against Rational Verifiers
{'venue': 'IACR Cryptology ePrint Archive', 'journal': 'IACR Cryptology ePrint Archive', 'mag_field_of_study': ['Mathematics', 'Computer Science']}