[SUBS]RANK
VIDEOS / ZERO KNOWLEDGE / 9U4FU7TIZCA

Episode 396 - lean Ethereum Part 6: Formal Verification with Alex Hicks

Zero Knowledge ZERO KNOWLEDGE · APR 27, 2026

This YouTube video has 528 views and was published Apr 27, 2026 on Zero Knowledge. That is 1.2x the channel's average views.

Episode 396 - lean Ethereum Part 6: Formal Verification with Alex Hicks ▸ WATCH ON YOUTUBE
Views
528
Likes
—
Comments
—
Like rate
—
▸ Vs channel average
+19%
This video is at 1.2x the channel's average views.
LAST 13 UPLOADS · ■ THIS VIDEO
Zero Knowledge
Zero Knowledge
@zeroknowledgefm · 13.5K SUBS · 90 VIDEOS
AUDIT →
More from this channel
Episode 411 - Auto Research on Yukon with Soubhik Deb Episode 411 - Auto Research on Yukon with Soubhik Deb 155 VIEWS · 13D AGO Episode 410 - Ron Rothblum on Fiat-Shamir Attacks, Flock and SNARK.fast Episode 410 - Ron Rothblum on Fiat-Shamir Attacks, Flock and SNARK.fast 594 VIEWS · 19D AGO Episode 409 - The Evolution from ZKP2P to Peer with Richard Liang Episode 409 - The Evolution from ZKP2P to Peer with Richard Liang 414 VIEWS · 26D AGO Episode 407 - Private Information Retrieval (PIR) with Alex Hoover Episode 407 - Private Information Retrieval (PIR) with Alex Hoover 351 VIEWS · 1MO AGO