Greetings from the Formal Verification Hangout!

@FormallyJon delivered a 8-minute lightning talk on Unifying ZK: A Comprehensive DSL Framework for Tomorrow.

Check it out! A longer presentation on the same topic will be available soon.