Notes Notes 要点

• Collaborative zk-SNARK (coSNARKs) design has privacy leakage risks, such as invalid witnesses exposing honest party inputs
• Directly applying malicious security compilers (MPC) may render the entire system insecure
• Under the assumption of honest majority, traditional compilers' security checks can be omitted to improve efficiency
• First implementation of semi-honest MPC protocol to achieve malicious security in non-trivial cases
• Optimization scheme reduces proof generation overhead, applicable to various zk-SNARK schemes
• Positive results are general and may have applications beyond collaborative zkSNARKs

• 协作zk-SNARK (coSNARKs)设计存在隐私泄露风险，如无效见证可能暴露诚实方输入
• 直接套用恶意安全编译器（MPC协议）可能导致整体安全性失效
• 在诚实多数假设下，可省略安全检查以提升效率
• 首次实现半诚实MPC协议达成恶意安全的非平凡案例
• 优化方案减少证明生成开销，适用于多种zk-SNARK方案
• 研究结论具有普适性，可能拓展至其他密码学协作协议

• Collaborative zk-SNARK (coSNARKs) の設計には、不正なwitnessが正直なパーティの入力を漏洩させるなどのプライバシーリークのリスクリがあります。
• 悪意のあるセキュリティコンパイラ（MPC）を直接適用することは、システム全体を危険にさらす可能性があります。
• 正直な多数派という仮定の下では、効率を向上させるために従来のコンパイラのセキュリティチェックを省略できます。
• 非自明なケースにおいて悪意のあるセキュリティを実現するための半正直MPCプロトコルの最初の実装です。
• 最適化スキームは証明生成のオーバーヘッドを削減し、様々なzk-SNARKスキームに適用可能です。
• 得られた肯定的な結果は一般的であり、コラボレーティブzkSNARKsを超えた応用がある可能性があります。