PROVEからCROSSへ交換|SimpleSwapでSuccinctからCROSSへ変換