PROVEから9BITへ交換|SimpleSwapでSuccinctからThe9bitへ変換