Bobbin Threadbare is a co-founder of Polygon and leads the Polygon Miden team. Prior to his time at Polygon, Bobbin worked as a research scientist at Meta, where he led the development of Winterfell, a highly performant general-purpose STARK prover. Bobbin has been active in Web3 since 2018. His focus and passion have always been building of open-source components fundamental to zero-knowledge tech to ensure a decentralized, private future of the web. In terms of potential topics, one thing that came to mind is a talk about AirScript. This is a DSL we’ve been developing to help with writing Miden constraints. We hope that it can be more generally useful for other projects which are building STARK-based VMs, or even just want a simple way to describe AIR constraints for their computations.