Succinct Zero Knowledge for Floating Point Computations