How many of y’all zk engineers have been continuously tortured by the notorious “hash mismatches” when constructing/verifying proofs? At least for me: all the fucking time.

You mean the use of annoying hash functions?

Yeah man it’s the biggest annoyance.

Lasso/Jolt will really streamline that process.

https://github.com/matter-labs/era-sync_vm/blob/v1.3.2/src/precompiles/keccak256.rs

zkSync also has implementations for most hash functions using plonk-lookup.

A dumb cryptographer. Building ZKP for clients and the mass. 

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

http://opacity.network

Looks awesome. Will look into it. For me, not  thinking about anything specific just a general complaint when having a hash mismatch for like the 10,000th times this month.