Here are the slides used for the introductory presentation on Commit-and-Prove standard during the workshop.