COVALからFINへ交換|SimpleSwapでCircuits of ValueからRefinableへ変換