iExec (RLC) fait appel à ChainSecurity pour auditer ses smart contracts