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

Verifying the LLVM
Strange Loop Conference via YouTube Beweisbar sichere Software
media.ccc.de via YouTube RustBelt: A Quick Dive Into the Abyss - Formalizing Rust's Safety Story
Rust via YouTube Building Measure Theory Using Hierarchy Builder
Hausdorff Center for Mathematics via YouTube Using Formal Methods to Eliminate Exploitable Bugs - YOW! 2015
GOTO Conferences via YouTube