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

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

Interested in ZK, FHE, PUFs, hardware, system design, ai safety, and smart contact security.

building open source public goods @a16zcrypto

Yeah mostly, and a calculator to make the modular stuff less hellish, but I wrote out almost every step. The only thing that I didn't work out myself was a matrix inversion for polynomial interpolation

Wait do you mean by hand as in with pen and paper? If so that's absolutely metal.

Honestly, the most milk toast advice ever, but try sending photos of the work to ChatGPT4 and ask it to check your work