Noir is a language for private and verifiable computing