Sarah Bordage is a PhD Student at Ecole Polytechnique, France, advised by Daniel Augot. She received her master's degree in Cryptography and IT Security from University of Bordeaux, France, after earning her BSc in Mathematics from University of Nantes, France. She is currently working on succinct proofs of computational integrity and zero-knowledge proofs. Sarah is a member of the Grace/Crypto project team from the Computer Science Laboratory of the Ecole Polytechnique and Inria, the French national research institute in the digital sciences.