Intercambio de LA a PROVE| Convierte Lagrange a Succinct en SimpleSwap