Is anyone working on zk-based consensus? Intuitively it seems like you could replace zk-unfriendly signatures in consensus algorithms with (recursive) proofs of pubkey = hash(privatekey, data) using a zk-friendly hash, which would enable much cheaper / faster proofs.