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

Rome, Metropolitan City of Rome Capital, Italy

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

Sr Investment & Research Analyst@MH Ventures, https://merklelabs.substack.com/

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.