NotesNotes要点

• Proposes Hybrid Compression allowing different hashes in circuit and contract.
• Contract uses SHA-256, circuit uses Poseidon, consistency via UHF.
• Introduces joint UHF-hardness assumption for security.
• Models problem as 'Data Matching in Unequal Worlds' protocol.
• Benchmarks show near-optimal gas and proving time.
• Resolves hash dilemma for efficient on-chain verification.

• 提出 Hybrid Compression，电路和合约可用不同哈希。
• 合约用 SHA-256，电路用 Poseidon，通过 UHF 保证一致。
• 提出 joint UHF-hardness 假设确保安全性。
• 将问题建模为“不等世界下的数据匹配”协议。
• 实验表明 gas 和证明时间均接近最优。
• 解决哈希困境，实现高效链上验证。

• 回路とコントラクトで異なるハッシュを許容するハイブリッド圧縮を提案。
• コントラクトはSHA-256を使用し、回路はPoseidonを使用し、UHFによる一貫性を確保。
• セキュリティのための共同のUHF困難性仮定を導入。
• 問題を「不均質な世界におけるデータマッチング」プロトコルとしてモデル化。
• ベンチマークにより、ほぼ最適なガスおよび証明時間を確認。
• 効率的なオンチェーン検証のためのハッシュジレンマを解決。