Compiling Smart Contracts with Lucas Rosa

·1 hr

This episode features an interview with Lucas Rosa about Aiken, a programming language for smart contracts, focusing on its unique integration of property-based testing and design trade-offs.

Listen to the show on

Apple Podcasts Spotify