Proud to announce a first-of-its-kind milestone in ZKP security! ZKSync’s on‑chain zk verifier is the first real-world zk verifier to undergo formal verification. This breakthrough result confirms the integrity of the verifier, while showcasing our commitment to ZKP security. Congratulations to the Formal Verification team at @NethermindSec for driving this groundbreaking achievement!