Every segment that ever aired on TVBridge. Sortable by channel, date, and topic. Each entry links back to the full transcript and the research topic it came from.
“The tape deck never forgets.”
Anchor-chan opens the series with the proof system that shipped zk to production. We walk the pipeline from R1CS to QAP to the three-element proof, and cover what actually happens inside the trusted setup ceremony.
topic: Groth16: The workhorse of zk-SNARKs
WATCH ->How PLONK killed per-circuit ceremonies. We cover the permutation argument, the grand product trick, and why every new zkEVM is PLONKish under the hood.
topic: PLONK and universal setups
WATCH ->Why hash-based proofs matter, how FRI low-degree testing works in the large, and where STARKs beat SNARKs on throughput despite the proof size penalty.
topic: STARKs: post-quantum and transparent
WATCH ->Folding schemes explained without the jargon. We build intuition for how two instances become one, why the prover cost collapses, and where the ecosystem is heading with HyperNova and ProtoStar.
topic: Recursive proofs with Nova folding
WATCH ->A tour of the Halo2 circuit DSL, the cycle of curves, and the PSE stack that still powers a surprising amount of shipped ZK code.
topic: Halo2 and the PSE stack
WATCH ->Two zkVMs, two different engineering bets. We benchmark precompile coverage, continuation strategy, and the Rust-to-zk developer experience.
topic: zkVMs: SP1 vs RISC0
WATCH ->Tendermint light clients in practice. Connections, channels, packet commitments, and why IBC is still the security gold standard for message passing.
topic: IBC light clients in practice
WATCH ->How the Decentralized Verifier Network stack actually ships. We cover configurable security, executor incentives, and the operational reality of running a DVN.
topic: LayerZero v2 DVNs
WATCH ->The 2022 exploit, the guardian set model, and the long engineering road back. We look at what the VAA verification pipeline looks like post-rebuild.
topic: Wormhole guardians and VAA verification
WATCH ->Interchain security modules as pluggable verifiers. We show how an appchain rollup picks an ISM and what the upgrade path looks like.
topic: Hyperlane interchain security modules
WATCH ->Anchor report on the Amplifier architecture, verifier sets as CosmWasm contracts, and what it takes to add a new chain without asking permission.
topic: Axelar Amplifier and verifier sets
WATCH ->The convergence episode. How succinct consensus proofs turn every interop layer into a potential validity bridge, and which production builds are already shipping it.
topic: ZK light clients: the convergence
WATCH ->