|
|
@ -158,7 +158,7 @@ contract PlonkVerifier { |
|
|
|
|
|
|
|
|
|
|
|
let pAux := mload(0x40) // Point to the next free position |
|
|
|
let pAux := mload(0x40) // Point to the next free position |
|
|
|
let pIn := pVals |
|
|
|
let pIn := pVals |
|
|
|
let lastPIn := add(pVals, mul(n, 32)) // Read n elemnts |
|
|
|
let lastPIn := add(pVals, mul(n, 32)) // Read n elements |
|
|
|
let acc := mload(pIn) // Read the first element |
|
|
|
let acc := mload(pIn) // Read the first element |
|
|
|
pIn := add(pIn, 32) // Point to the second element |
|
|
|
pIn := add(pIn, 32) // Point to the second element |
|
|
|
let inv |
|
|
|
let inv |
|
|
@ -174,9 +174,9 @@ contract PlonkVerifier { |
|
|
|
} |
|
|
|
} |
|
|
|
acc := inverse(acc, q) |
|
|
|
acc := inverse(acc, q) |
|
|
|
|
|
|
|
|
|
|
|
// At this point pAux pint to the next free position we substract 1 to point to the last used |
|
|
|
// At this point pAux pint to the next free position we subtract 1 to point to the last used |
|
|
|
pAux := sub(pAux, 32) |
|
|
|
pAux := sub(pAux, 32) |
|
|
|
// pIn points to the n+1 element, we substract to point to n |
|
|
|
// pIn points to the n+1 element, we subtract to point to n |
|
|
|
pIn := sub(pIn, 32) |
|
|
|
pIn := sub(pIn, 32) |
|
|
|
lastPIn := pVals // We don't process the first element |
|
|
|
lastPIn := pVals // We don't process the first element |
|
|
|
for { } gt(pIn, lastPIn) { |
|
|
|
for { } gt(pIn, lastPIn) { |
|
|
|