[ECI] Proofsystem