Write, autoreview, editor, reviewer
3,129
edits
No edit summary |
|||
Line 96: | Line 96: | ||
# If <math>S_v < s_vL/2</math>, Verifier accepts m else he aborts | # If <math>S_v < s_vL/2</math>, Verifier accepts m else he aborts | ||
== | ==Relevant Papers== | ||
'''Theoretical Papers''' | '''Theoretical Papers''' | ||
#[https://arxiv.org/abs/1403.5551 WDKA (2015)] above example | #[https://arxiv.org/abs/1403.5551 WDKA (2015)] above example |