Mehdi Valinejad
I am a software and blockchain engineer, known online as TxCorpi0x. I build and break verifiable systems: zero-knowledge proof pipelines, federated learning under adversarial assumptions, and consensus protocols that have to hold up when the participants do not cooperate.
I write here when a result is worth more than a thread — usually about the gap between what a protocol proves and what its implementation actually guarantees. Everything is plain text, permanently linkable, and available over RSS.
Recent essays
-
Proving a Gradient Was Clipped
Secure aggregation hides client updates, which also hides whether they were clipped. A look at what a zero-knowledge proof of a norm bound actually costs in a federated round, and where the bound stops being the hard part.