Jordi Baylina: Finding Solutions in Zero-Knowledge