Write, autoreview, editor, reviewer
3,129
edits
Line 66: | Line 66: | ||
###<math>B^k_l=1-m_{b^k_l}</math> | ###<math>B^k_l=1-m_{b^k_l}</math> | ||
**Verifier repeats steps | **Verifier repeats State Elimination steps with randomly chosen basis <math>v^k_l</math> to get his eliminated signature elements <math>V^k_l</math> | ||
**'''Symmetrisation''' | **'''Symmetrisation''' |