#零知识证明

Hawk：从零理解隐私智能合约——论文阅读笔记

从 Freeze、Compute、Finalize 出发，梳理 Hawk 的隐私智能合约机制、NIZK 与 SNARK、UC 安全模型，以及编译器实现和性能评估。