Fiat Shamir
The Fiat-Shamir transform and the soundness notions that control how well an interactive proof survives it.
| Status | Problem | Tags |
|---|---|---|
|
RBR Soundness Amplification Known in the special case of \(r\)-round protocols whose standard and round-by-round soundness errors are maximally separated, \(\varepsilon_{\mathrm{RBR}}\) about \(\varepsilon^{1/r}\); open in general, including the \(\varepsilon^{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