Ironwood: A Correct-by-construction Blockchain Protocol Implementation

Abstract

Explained our roadmap of building a correct-by-construction blockchain protocol through formal verification techniques

Date
Location
Tata Innovation Center, Cornell Tech, Roosevelt Island, 11 East Loop Rd, NYC