Proof enrolment