As a math guy, I assure you the writing it in math is to make things faster and clarify later what kinds of mathematical "objects" we're dealing with. There have been examples of cryptographic "proofs" that were offered for primitives where the proof was faulty because the proper mathematical formalisms weren't followed.
I think pseudocode + mathematical proof should be the standard.
And moar venn diagrams and protocol column tables!
Maybe I have just had my mind poisoned by reading too many shitcoin whitepapers. For me reading the stuff on Solana last year was hilarious. Their site directs you uppermost to some funny hash chain time function thing, and then I'm like, ok, that's kinda cool, and then I dig further and ... ah... that's not what the mainnet is running!!!!!
reply