PROVEからCHOへ交換|SimpleSwapでSuccinctからChoiseへ変換