CI: 586a91c

Author: Docs Syncer

docs/reference/contracts/libs/crypto/EC256.md

@@ -325,6 +325,32 @@ Return values:
 | :------ | :--- | :------------------------------------------ |
 | result_ | bool | True if their affine representations match. |
 
+### jNegatePoint
+
+```solidity
+function jNegatePoint(
+    EC256.Curve memory ec,
+    EC256.JPoint memory jPoint_
+) internal pure returns (EC256.JPoint memory jNegated_)
+```
+
+Computes the negation of a Jacobian point: -P = (X, -Y, Z).
+
+
+Parameters:
+
+| Name    | Type                | Description            |
+| :------ | :------------------ | :--------------------- |
+| ec      | struct EC256.Curve  | The curve parameters.  |
+| jPoint_ | struct EC256.JPoint | The Jacobian point P.  |
+
+
+Return values:
+
+| Name      | Type                | Description                        |
+| :-------- | :------------------ | :--------------------------------- |
+| jNegated_ | struct EC256.JPoint | The Jacobian representation of -P. |
+
 ### jMultShamir
 
 ```solidity
@@ -407,6 +433,34 @@ Parameters:
 | jPoint2_ | struct EC256.JPoint | The second Jacobian point P2.  |
 
 
+Return values:
+
+| Name     | Type                | Description                                    |
+| :------- | :------------------ | :--------------------------------------------- |
+| jPoint3_ | struct EC256.JPoint | The Jacobian representation of result point R. |
+
+### jSubPoint
+
+```solidity
+function jSubPoint(
+    EC256.Curve memory ec,
+    EC256.JPoint memory jPoint1_,
+    EC256.JPoint memory jPoint2_
+) internal pure returns (EC256.JPoint memory jPoint3_)
+```
+
+Subtracts one Jacobian point from another: R = P1 - P2 = P1 + (-P2).
+
+
+Parameters:
+
+| Name     | Type                | Description                    |
+| :------- | :------------------ | :----------------------------- |
+| ec       | struct EC256.Curve  | The curve parameters.          |
+| jPoint1_ | struct EC256.JPoint | The first Jacobian point P1.   |
+| jPoint2_ | struct EC256.JPoint | The second Jacobian point P2.  |
+
+
 Return values:
 
 | Name     | Type                | Description                                    |
@@ -438,3 +492,14 @@ Return values:
 | Name     | Type                | Description                                    |
 | :------- | :------------------ | :--------------------------------------------- |
 | jPoint2_ | struct EC256.JPoint | The Jacobian representation of result point R. |
+
+### _jNegate
+
+```solidity
+function _jNegate(
+    EC256.JPoint memory jPoint_,
+    uint256 p_
+) internal pure returns (EC256.JPoint memory jNegated_)
+```
+
+Internal Jacobian point negation.