Commitment Schemes
Commitment protocols and their binding and hiding properties, including in composable or setup-free settings.
| Status | Statement | Tags |
|---|---|---|
|
CRS-free everlasting commitment from malicious PUFs Open: whether everlasting UC commitment is achievable in the fully malicious token model with no trusted setup. The source achieves it with a common reference string (its Theorem 31) and explicitly leaves removing the CRS as a question, noting that the usual equivocation techniques do not transfer to the everlasting setting. 6 open |
Commitment SchemesPhysically Uncloneable Functionsotherassumption | |
|
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