cryptography

A few months ago I decided to write the algebra for KZG prove/verify, and I got stuck. Like my algebra wouldn’t let me progress.

I realized it’s because I was using additive notation. When I switched multiplicative notation everything fell into place.

Notation does actually matter.

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

/opacity
/eulerlagrange

But not the rigorous proving process.

Calculus is a bad example because a bishop proved it was not rigorous, and mathematicians had to invent limits to formalize calculus.

Leibniz paid lot of attention to that choice, it limits the thinking process

Only tangentially related, but last year I decided to do the plonk by hand series by actual hand and went all the way through only for the proof to fail at the end and I have no idea where I made the mistake(s?). I'm still a little salty about it

Am I a psychopath for using additive notation for the source groups of a pairing curve but multiplicative for the target group even within a single equation?