Merge branch 'main' of github.com:adria0/plonk-by-fingers

This commit is contained in:
adria0
2021-11-24 21:34:00 +01:00

View File

@@ -4,4 +4,4 @@ This is a toy implementation of the excellent Joshua Fitzgerald [Plonk by hand](
- all written from scratch, do not expect this code to be anything close to production, is intended just to understand the protocol
- there is a mistake in the hand computations in part3 that says that <img src="https://render.githubusercontent.com/render/math?math=l_{16P,P}=x%2B15"> where the correct value seems to be <img src="https://render.githubusercontent.com/render/math?math=l_{16P,P}=x%2B100">, this also affects the pairing, that is <img src="https://render.githubusercontent.com/render/math?math=93%2b76u"> instead <img src="https://render.githubusercontent.com/render/math?math=97%2b89u">
- test is [here](https://github.com/adria0/plonk-by-fingers/blob/main/src/prover.rs#L517)
- test is [here](https://github.com/adria0/plonk-by-fingers/blob/main/src/pbh/mod.rs#L43)