@sinahab
Here is my conversation with @uma, cofounder/ceo of Succinct.
We dug into the Succinct zkVM architecture - how they use STARKs, recursion, and other techniques for proving program execution - and made an attempt at unpacking the design without getting lost in the sauce.
You can listen to the podcast here: intothebytecode.com/43-uma-roy