PROVEからLAIへ交換|SimpleSwapでSuccinctからLayerAIへ変換