Vitalik has been sharing many tweets recently focused on verification, constraints, and what actually matters.

From the perspective of Mina, a few of these themes appear notably familiar 👇