PROVEからTHQへ交換|SimpleSwapでSuccinctからTheoriqへ変換