Chokepoint's min-cut over 4.49M transfers caught FalkorDB maxFlow returning invalid flows on 12-17% of inputs

JeremyCMorgan · x · 2026-10-29

Chokepoint picks which mule accounts to freeze using a min cut over 4.49M transfers. Along the way it caught FalkorDB's maxFlow returning invalid flows on 12–17% of inputs. The author highlights a certificate-check-then-repair approach: for any graph algorithm you didn't write yourself, verify its output certificate first, then repair — rather than blindly trusting third-party implementations.

Original post →

More from Safety

Safety channel →