Fiat Shamir
The Fiat-Shamir transform and the soundness notions that control how well an interactive proof survives it.
| Status | Statement | Tags |
|---|---|---|
|
RBR Soundness Amplification Known in the special case of r-round protocols whose standard and round-by-round soundness errors are maximally separated, eps_RBR about eps^{1/r}; open in general, including the eps^{2/r} regime the source’s own protocol occupies. 4 open |
Fiat ShamirParallel Repetitionlower-bound | |
|
SSS Implies Fiat-Shamir Friendly Conjecture 1.3 of the source. It is explicit that it does not prove it – ‘only conjecture it’ – and asks for the proof or refutation as an important open problem. It does prove that SSS implies straight-line soundness, hence post-quantum soundness, and that its own instantiation of Kilian’s protocol is SSS. 4 open |
Commitment SchemesFiat ShamirSnarkscharacterization |
No matching items