I examine the design approaches to decentralized proving and build up towards what seems like the most likely future of ZK proofs - open proof markets.
Recently a lot of discourse on Crypto Twitter (Crypto X?) has been around the decentralization of L2s. Are the rollups weâre building decentralized enough? Or are they at least on the path to decentralization? Does it even matter?