Yes, definitely. The audit of the base protocol is available for the public. And, after such a thorough review, it is safe to say, all custody is retained by it (the base protocol). The users must know that all the audits are done by ZK Labs. The founder and the leader of the auditors at ZK Labs is Matthew DiFerrante, who is a Security Engineer and works at Ethereum Foundation. He is in charge of the audits of the core Ethereum protocol. So, yes, smart contracts are safe.