Saluti dal Formal Verification Hangout!

@FormallyJon ha tenuto un discorso lampo di 8 minuti su Unifying ZK: A Comprehensive DSL Framework for Tomorrow.

Date un'occhiata! Una presentazione più lunga sullo stesso argomento sarà disponibile a breve.