search

EspressoSystems / hyperplonk

MIT License
187 stars 40 forks source link

One question about the PCS #151

Open wj404 opened 2 months ago

wj404 commented 2 months ago

I saw the article introducing Orion + (a variant of multilinear KZG (Orion)) in section 7, but the module in the code is multilinear KZG (Orion), so which one is it ?

chancharles92 commented 2 months ago

The codebase only implements the multilinear version of KZG (which is different from Orion). We didn't implement Orion nor Orion+.

wj404 commented 2 months ago

So can you give me a mathematical principles or mathematical basis of the multilinear version of KZG implemented in the codebase ? I would be very grateful if it could.

chancharles92 commented 2 months ago

So can you give me a mathematical principles or mathematical basis of the multilinear version of KZG implemented in the codebase ? I would be very grateful if it could.

Do you mean the paper/spec for it? It was originally proposed in [PST13] And there is a clean specification in the Construction 2 of the vSQL paper