Decentralized Speed: Advances in Zero Knowledge Proofs