Into the Bytecode

This is my conversation with Andrew Miller who is working on product at Teleport, and is also Associate Director at IC3 and Board Member at the Zcash Foundation.Timestamps:- (00:00:00) intro- (00:00:59) from bitcoin research to privacy, ZKPs, and MPC- (00:13:23) trust models and threat vectors to TEEs- (00:21:16) what is possible with trustless TEEs?- (00:38:37) TEEs-based internet agents- (00:45:41) Dstack, a p2p architecture for TEEs- (00:52:50) learnings as a researcher- (00:58:42) sponsor: Splits- (00:59:25) pathfinding in research- (01:06:11) 2011 bitcoin unboxing and the early bitcoin ecosystem- (01:17:54) vision for the future - (01:21:22) outroLinks:- Andrew on X: https://x.com/socrates1024- Andrew on YouTube: https://www.youtube.com/@Socrates1024- Andrew's research: https://soc1024.ece.illinois.edu- Personal site: https://soc1024.com- Zero Trust Execution Environments paper: https://writings.flashbots.net/ZTEE- Zcash Foundation: https://zfnd.org- IC3: https://www.ic3.govThank you to our sponsor for making this podcast possible:- Splits: https://splits.orgInto 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.

This is my conversation with Quintus Kilbourn, researcher at Flashbots and currently working on Trusted Execution Environments (TEEs).Timestamps:- (00:00:00) - intro- (00:01:06) - what is a TEE- (00:12:23) - TEE use cases: one-shot transactions, autonomous AI agents- (00:25:27) - unbreakable hardware enclaves- (00:41:14) - physical hardware access as a threat vector- (00:47:20) - sponsor: Splits- (00:48:04) - defending against physical attacks- (00:55:57) - resources focused on TEEs- (01:10:25) - defending against supply chain attacks- (01:19:34) - hardware imaging- (01:28:48) - the roadmap- (01:32:53) - outroLinks:- Quintus on X: https://x.com/0xQuintus- Flashbots: https://www.flashbots.net/- ZTEE: https://writings.flashbots.net/ZTEEThank you to our sponsor for making this podcast possible:- Splits: https://splits.orgInto the Bytecode:- Sina Habibian on X: https://twitter.com/sinahab- Sina Habibian on Farcaster - https://warpcast.com/sinahab- Into the Bytecode: https://intothebytecode.comDisclaimer: 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.

This is my conversation with Markus Haas, the CEO of Freedom Factory and cocreator of the dGEN1.Timestamps:(00:00:00) - intro(00:00:28) - ethOS origin story(00:07:54) - the vision and values(00:09:56) - the need for an alternative to iOS and Android(00:15:30) - sponsor: Splits(00:16:14) - building on GrapheneOS(00:28:32) - dGEN1, an everyday carry device(00:37:05) - what's next for ethOS?(00:43:02) - the company, funding, profitability(00:49:00) - outroLinks:- Markus on X: https://x.com/mhaas_eth- ethOS on X: https://x.com/EthereumPhone- GrapheneOS: https://grapheneos.org/- Freedom Factory website: https://www.freedomfactory.io/Thank you to our sponsor for making this podcast possible:- Splits: https://splits.orgInto the Bytecode:- Sina Habibian on X: https://twitter.com/sinahab- Sina Habibian on Farcaster - https://warpcast.com/sinahab- Into the Bytecode: https://intothebytecode.comDisclaimer: 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.

This is my conversation with Uma Roy, cofounder and CEO of Succinct.Timestamps:(00:00:00) - intro(00:00:57) - origin story(00:02:19) - SP1 architecture(00:09:43) - STARKs, FRI, and hash-based cryptography(00:15:09) - recursion(00:21:12) - upgrading the proof system(00:33:11) - sponsor: Splits(00:33:54) - security in ZK systems(00:37:46) - converting optimistic rollups into zk rollups(00:43:39) - zkVM vs custom circuits(00:48:48) - ZK for scaling and interoperability(01:00:24) - the lifecycle of a proof(01:06:26) - hardware(01:10:57) - outroLinks- Uma on X: https://x.com/pumatheuma- Succinct on X: https://x.com/succinctlabsThank you to our sponsor for making this podcast possible:- Splits: https://splits.orgInto the Bytecode:- Sina Habibian on X: https://twitter.com/sinahab- Sina Habibian on Farcaster - https://warpcast.com/sinahab- Into the Bytecode: https://intothebytecode.comDisclaimer: 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.