Building an SVM Rollup for Mantis: Interoperability