mlfoundations-dev/verified_stratos_mix_no_proofs_without_metadata