Deduce Together: ROMVault