Khovratovich et al. proposed a hybrid compression method in the paper, optimizing Groth16 framework proof costs for long statements by combining different hash functions to improve smart contract and proof circuit efficiency. Khovratovich等人在论文中提出了一种混合压缩方法,用于优化Groth16框架中长语句的证明成本,结合不同哈希函数以提高智能合约和证明电路的效率。
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.