a KZG implementation (non production) in JS

a KZG implementation (non production) in JS 

https://github.com/xavi-pinsach/kzg-basic-study

@tableland | @openfarcaster | avichalp.me

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

http://opacity.network

correctness proof? yeah it is pretty much the fact that if p(z) - y = 0 then p(x) - y is divisible by x-z

soundness proof? no idea. sounds like you would start with some esoteric pairing assumption

Can you write the algebraic proof for kzg proofs?

It’s a lot shorter than you’d expect