Anaïs Querol
Anaïs Querol develops cryptographic techniques for private and secure blockchain systems and has worked at O(1) Labs. At IMDEA Software, Querol developed LegoSNARK with Dario Fiore and Matteo Campanelli, a modular framework for proving properties of private data while revealing only the information needed for verification. Querol’s technical work with Joseph Spadavecchia has also addressed foreign-field arithmetic and ECDSA signature verification for connecting Mina with Ethereum.