Notes

• Defines programmable cryptography with 2PC, SNARKs, FHE, ORAM.
• 2PC: Secure computation via Yao’s circuits and OT.
• SNARK basics: elliptic curves and polynomial commitments.
• SNARK example: PLONK with arithmetization and constraints.
• FHE: LWE-based homomorphic encryption and bootstrapping.
• ORAM: Path ORAM to hide access patterns.

• 提出可编程密码学框架：2PC、SNARKs、FHE、ORAM。
• 2PC：Yao电路与OT实现安全计算。
• SNARK基础：椭圆曲线与多项式承诺。
• SNARK实例：PLONK的算术化与约束检查。
• FHE：基于LWE的全同态加密与bootstrapping。
• ORAM：Path ORAM隐藏访问模式。