形式陈述
承诺方案有承诺阶段
直觉
像把写有消息的纸锁进透明保险箱:先固定内容但别人看不到,之后只能打开原先那份。
例子与边界
基于单向函数或离散对数可构造计算承诺。简单发布
推论与应用
承诺用于零知识、抛硬币协议、安全多方计算、拍卖和区块链协议。
参考资料
- Jonathan Katz and Yehuda Lindell, Introduction to Modern Cryptography, 3rd ed., CRC Press, 2020,Chs. 2–12。
- Oded Goldreich, Foundations of Cryptography, Vol. 1, Cambridge University Press, 2001,Chs. 1–4。