PROVEから4へ交換|SimpleSwapでSuccinctから4へ変換