Collection de recherches
#state-preserving-verification
1 article avec le tag State preserving verification. Chaque article indique ce qu’il démontre et ce qu’il ne démontre pas.
1 résultats
Un client classique peut vérifier un calcul quantique et en garder la sortie
Un protocole à messages classiques vérifie des calculs quantiques tout en préservant leurs sorties, sous l’hypothèse post-quantique de difficulté de LWE.
