Making AI safe and trustworthy starts with ZK