Add solution for 5e

2022-06-21 12:30:15 +02:00
parent d4d940b2e8
commit 3101a95827
1 changed files with 3 additions and 1 deletions
@@ -272,7 +272,9 @@

    \item \TODO

-    \item \TODO
+    \item If $G_{ch}=\phi_{ch}(G)$ and $G'=\psi(G)$, it follows that
+      $G=\phi_{ch}^{-1}(G_{ch})$ and therefore $G'=\psi(\phi_{ch}^{-1}(G_{ch}))$
+      so the verifier will always accept.

    \item \TODO