PROVEからDUCKへ交換|SimpleSwapでSuccinctからDuckChainへ変換