PROVE in L3 Handel | Konvertieren von Succinct in Layer3 auf SimpleSwap