We also built our own programming language, Noir, from scratch to compile programs directly into zero-knowledge circuits, which allows us to bypass the overheads seen with zero-knowledge virtual machines.