PROVEからSINへ交換|SimpleSwapでSuccinctからSinverseへ変換