mirror of
https://github.com/signalapp/libsignal.git
synced 2026-05-09 08:33:13 +02:00
This term is unnecessary after all (the value of 'z' is already fixed by the equation "Z = I^z"). We can't remove it from earlier proofs because that would change the format, but going forward we don't need it.