Optimizing Circuits and Proof Systems

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) - outro

Links
- Uma on X: https://x.com/pumatheuma
- Succinct on X: https://x.com/succinctlabs

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.