codex-storage/codex-contracts-eth
1
0
Fork 0
mirror of https://github.com/codex-storage/codex-contracts-eth.git synced 2025-01-09 19:36:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Improve argument names

Browse Source
This commit is contained in:
Mark Spanbroek 2024-01-30 12:18:01 +01:00 committed by markspanbroek
parent 235f11a863
commit b676b245d6
1 changed files with 13 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
contracts/Groth16Verifier.sol
View File

@ -46,37 +46,33 @@ contract Groth16Verifier {
} }
} }
/// The negation of p, i.e. p.addition(p.negate()) should be zero. function negate(G1Point memory point) internal pure returns (G1Point memory) {
function negate(G1Point memory p) internal pure returns (G1Point memory) { return G1Point(point.x, (_P - point.y) % _P);
return G1Point(p.x, (_P - p.y) % _P);
} }
/// The sum of two points of G1
function add( function add(
G1Point memory p1, G1Point memory point1,
G1Point memory p2 G1Point memory point2
) internal view returns (bool success, G1Point memory sum) { ) internal view returns (bool success, G1Point memory sum) {
uint[4] memory input; uint[4] memory input;
input[0] = p1.x; input[0] = point1.x;
input[1] = p1.y; input[1] = point1.y;
input[2] = p2.x; input[2] = point2.x;
input[3] = p2.y; input[3] = point2.y;
// solhint-disable-next-line no-inline-assembly // solhint-disable-next-line no-inline-assembly
assembly { assembly {
success := staticcall(sub(gas(), 2000), 6, input, 128, sum, 64) success := staticcall(sub(gas(), 2000), 6, input, 128, sum, 64)
} }
} }
/// The product of a point on G1 and a scalar, i.e.
/// p == p.scalarMul(1) and p.addition(p) == p.scalarMul(2) for all points p.
function multiply( function multiply(
G1Point memory p, G1Point memory point,
uint s uint scalar
) internal view returns (bool success, G1Point memory product) { ) internal view returns (bool success, G1Point memory product) {
uint[3] memory input; uint[3] memory input;
input[0] = p.x; input[0] = point.x;
input[1] = p.y; input[1] = point.y;
input[2] = s; input[2] = scalar;
// solhint-disable-next-line no-inline-assembly // solhint-disable-next-line no-inline-assembly
assembly { assembly {
success := staticcall(sub(gas(), 2000), 7, input, 96, product, 64) success := staticcall(sub(gas(), 2000), 7, input, 96, product, 64)