PROVEからBFCへ交換|SimpleSwapでSuccinctからBifrostへ変換