PROVEからTACへ交換|SimpleSwapでSuccinctからTacへ変換