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 products with zkTLS. A ruthless empiricist.

http://opacity.network

Advisor @ EV3 Ventures

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.

Man this is one of the most annoying things about working with zk stuff. Running into this for like the 6th time with circomlib and circomlibjs poseidon hashes right now -____-