Notes

• 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 和证明时间均接近最优。
• 解决哈希困境，实现高效链上验证。