This chapter starts with an announcement about a specific event and then introduces the sponsor of the week. The hosts then discuss an exciting research project and express their surprise at the involvement of a hardware-focused company.
In this week's episode, Anna and cohost Brendan Farmer catch up with Jim Posen and Radi Cojbasic from Ulvetanna. They cover the origin story of Ulvetanna and their work on the ZK hardware/software intersection before moving on to discuss Binius, a new proving system they developed which is optimised for hardware. Binius is built on towers of binary fields and draws on recent breakthroughs on SNARKs. This work continues the trend towards the use of smaller fields and was inspired by the development of new lookup arguments, work done on multilinear provers and sum-check as well as the use of recursive composition in SNARKs.