Notes 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隐藏访问模式。

• 2PC、SNARK、FHE、ORAMを備えたプログラマブルな暗号技術の定義。
• 2PC：Yao's circuitsとOTによる安全な計算。
• SNARKの基礎：楕円曲線と多項式コミットメント。
• SNARKの例：算術化（arithmetization）と制約（constraints）を用いたPLONK。
• FHE：LWEベースの準同型暗号とブートストラップ。
• ORAM：アクセスパターンを隠蔽するためのPath ORAM。