AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Intro
This chapter discusses new methodologies for cryptographic proofs, particularly focusing on the Binius proof system using binary fields. The conversation highlights the development of new chips and dedicated data centers aimed at improving accessibility for developers and users in the context of applied cryptography and the verifiable internet.