YoVDO

Specifying Smart Contracts with Hax and ConCert

Offered By: ACM SIGPLAN via YouTube

Tags

Smart Contracts Courses Cryptography Courses Rust Courses Blockchain Development Courses Software Engineering Courses Formal Verification Courses Coq Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the advancements in high-assurance smart contracts through this 16-minute conference talk from ACM SIGPLAN's CoqPL'24. Delve into the Hax toolchain and its integration with ConCert, presented by Lasse Letager Hansen and Bas Spitters. Learn how software engineers can embed smart contracts to generate clean Rust code, incorporate security properties and guarantees directly into the code using Hax, and subsequently translate these specifications into ConCert for verification. Gain insights into the ongoing efforts to extend high-assurance practices from cryptographic software to smart contracts, enhancing their reliability and security.

Syllabus

[CoqPL'24] Specifying Smart Contract with Hax and ConCert


Taught by

ACM SIGPLAN

Related Courses

Innovation and Technology Management in Tourism and Hospitality
Hong Kong Polytechnic University via edX Das liebe Geld - Finance im Alltag
University of Zurich via Coursera Blockchain in the Energy Sector
InnoEnergy via FutureLearn IBM Blockchain Foundation for Developers
IBM via Coursera Cryptography And Network Security
Indian Institute of Technology, Kharagpur via Swayam