In recent years, Zero Knowledge Proofs have unlocked some surprising new capabilities. As the tooling matures, we're seeing a groundswell of new applications. This talk will explore the implications for the software security space, and how these tools can be leveraged premissionlessly to achieve unprecedented levels of software security assurances to everyday users.

Funding security research is hard, full of conflicts of interest, and perverse incentives. This talk will discuss my explorations in solving these issues by fusing some of the oldest technologies with some of our newest. Bastet was once known as the Egyptian goddess of protection, and of the home. She protected her loyal followers from vermin and disease, and kept her people safe. Can we empower a modern day Bastet to protect us from the modern vermin and disease that plague our digital existence?