Building a Verifiable Internet

This is my conversation with Jim Posen, the Cofounder and CTO at Irreducible.

Timestamps:
- (00:00:00) intro
- (00:01:12) getting deeper into cryptography
- (00:07:06) revisiting binary fields
- (00:15:50) building the verifiable internet
- (00:26:14) sponsor: Splits
- (00:26:57) revival of binary fields
- (00:38:55) Binius
- (00:42:46) bringing Binius to production
- (00:48:27) creating new hardware
- (00:53:57) getting to v1
- (01:02:03) Ethereum stateless proofs and zkVMs
- (01:13:21) outro

Links:
- Jim on X: https://x.com/jimpo_potamus
- Jim on Github: https://github.com/jimpo
- Irreducible: https://www.irreducible.com/
- Binius: a Hardware-Optimized SNARK: https://www.irreducible.com/posts/binius-hardware-optimized-snark
- Binary Tower Fields are the Future of Verifiable Computing: https://www.irreducible.com/posts/binary-tower-fields-are-the-future-of-verifiable-computing

Thank you to our sponsor for making this podcast possible:
- Splits: https://splits.org

Into the Bytecode:
- Sina Habibian on X: https://twitter.com/sinahab
- Sina Habibian on Farcaster - https://warpcast.com/sinahab
- Into the Bytecode: https://intothebytecode.com

Disclaimer: this podcast is for informational purposes only. It is not financial advice nor a recommendation to buy or sell securities. The host and guests may hold positions in the projects discussed.