You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Step 2 of the simulator in the proof of Zero Knowledge for ZK-QR says "Pick π β³ at random in β€β_m. If π = 0 then let π₯β² = π β³2 (mod π).Otherwise output π₯β² = π₯π β³2 (mod π)." I believe it's supposed to be b' instead of b here, since b' is defined in the previous step, but b is not defined until the next step.
The text was updated successfully, but these errors were encountered:
Step 2 of the simulator in the proof of Zero Knowledge for ZK-QR says "Pick π β³ at random in β€β_m. If π = 0 then let π₯β² = π β³2 (mod π).Otherwise output π₯β² = π₯π β³2 (mod π)." I believe it's supposed to be b' instead of b here, since b' is defined in the previous step, but b is not defined until the next step.
The text was updated successfully, but these errors were encountered: