I was doing a p d at the university of colerado bolder, working on scaleable static analysis tools. And i went stright from y ph d to facebook and worked on static analysis for many years. It's like, a, you get to design these little languages that are tailored toward finding these particular kinds of bugs or properties that folks care about. We had to make it run really fast so it would go and see i, so it could, you know, happen in 15 minutes even though your analyzing tens of millions of lines of cod. But also, like, you develop a lot of opinions about languish design when you spend all day trying to patch, basely
In this week’s episode, Anna chats with Sam Blackshear, co-founder and CTO at Mysten Labs. Sam has a background in programming language research and is one of the authors of the Move language, a language that can be used to implement custom transactions and smart contracts. They chat about Mysten’s concept of programmable objects and what properties are necessary to make this functional for a blockchain context. They also cover Sui, a smart contracts platform which is a generalized L1 with a new asset centric data model for parallel transaction commits being developed by Mysten, what's next in the roadmap and some of the collaborations to come.
Here are some links for this episode:
If you are looking to jump into ZK professionally, check out the ZK Jobs Board to find openings from some of the top teams working in ZK - like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs Board.
Today’s episode is sponsored by Polygon Miden.
Polygon Miden is layer 2 scaling solution for Ethereum. Miden relies on zk-STARKs to roll-up thousands of layer 2 transactions into a single Ethereum transaction, increasing throughput and reducing fees.
At the heart of Polygon Miden is Miden VM, a Turing-complete STARK-based virtual machine which provides a level of safety and support of advanced features currently not available on Ethereum.
Visit polygon.technology to learn more about Polygon Miden and other Polygon solutions.
If you like what we do:
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on Youtube
Head to the ZK Community Forum
Support our Gitcoin Grant