Câmbio de PROVE para EDGEN| Converter Succinct para LayerEdge no SimpleSwap