Last working version of the record layer proof. This is the last known maintained version of secure_api. Since the code is in append-only mode, better have it saved in version control rather than being expensively maintained. F* version: 5eebcd58. Kremlin version: 7580e5a6. Everest version: 6ac41c1c.