VeriBotSEUsing zkML to prove the absence of vulnerabilities in (closed-) source code.$2,000 · Sindri · Best use of Sindri in a ML x Web3 context · +1 more