Content
@
https://warpcast.com/~/channel/cryptography
0 reply
0 recast
0 reaction
EulerLagrange.eth - shitpost/acc
@eulerlagrange.eth
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.
3 replies
1 recast
16 reactions
cqb
@cqb
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
2 replies
0 recast
2 reactions
ncitron.eth
@ncitron.eth
Wait do you mean by hand as in with pen and paper? If so that's absolutely metal.
1 reply
0 recast
1 reaction
cqb
@cqb
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
1 reply
0 recast
1 reaction
ncitron.eth
@ncitron.eth
Wait did you even calculate the pairing by hand to verify the kzg opening?
1 reply
0 recast
0 reaction
EulerLagrange.eth - shitpost/acc
@eulerlagrange.eth
There’s no fucking way he did the Miller loop by hand. Would be a level of autism no other human has achieved
2 replies
0 recast
1 reaction
cqb
@cqb
I was following the plonk by hand series and if I recall correctly there was a shortcut for the pairing stuff
1 reply
0 recast
1 reaction
ncitron.eth
@ncitron.eth
Hold on let me get my notebook
1 reply
0 recast
0 reaction
