The rise of truthful applications

Truthful apps use zk-proofs for expressive digital structures thanks to self-truthing data types. This talk will touch on the historical and ideological underpinnings of truthful applications, how to build them, and how they'll change the world