CI: a453a6a

Author: Docs Syncer

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

@@ -11,9 +11,12 @@ library ECDSA384
 Cryptography module
 
 This library provides functionality for ECDSA verification over any 384-bit curve. Currently,
-this is the most efficient implementation out there, consuming ~9 million gas per call.
+this is the most efficient implementation out there, consuming ~8.1 million gas per call.
 
-The approach is Strauss-Shamir double scalar multiplication with 4 bits of precompute + projective points.
+The approach is Strauss-Shamir double scalar multiplication with 4 bits of precompute + affine coordinates.
+For reference, naive implementation uses ~400 billion gas, which is 48000 times more expensive.
+
+We also tried using projective coordinates, however, the gas consumption rose to ~9 million gas.
 ## Structs info
 
 ### Parameters

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

@@ -85,17 +85,6 @@ function modexp(
 ```
 
 
-### modexpAssign
-
-```solidity
-function modexpAssign(
-    uint256 call_,
-    uint256 b_,
-    uint256 eInteger_
-) internal view
-```
-
-
 ### modexpAssignTo
 
 ```solidity
@@ -126,18 +115,6 @@ function modaddAssign(uint256 a_, uint256 b_, uint256 m_) internal pure
 ```
 
 
-### modaddAssignTo
-
-```solidity
-function modaddAssignTo(
-    uint256 to_,
-    uint256 a_,
-    uint256 b_,
-    uint256 m_
-) internal pure
-```
-
-
 ### modmul
 
 ```solidity
@@ -156,36 +133,40 @@ function modmulAssign(uint256 call_, uint256 a_, uint256 b_) internal view
 ```
 
 
-### modmulAssignTo
+### modsub
 
 ```solidity
-function modmulAssignTo(
-    uint256 call_,
-    uint256 to_,
+function modsub(
     uint256 a_,
-    uint256 b_
-) internal view
+    uint256 b_,
+    uint256 m_
+) internal pure returns (uint256 r_)
 ```
 
 
-### sub
+### modsubAssign
 
 ```solidity
-function sub(uint256 a_, uint256 b_) internal pure returns (uint256 r_)
+function modsubAssign(uint256 a_, uint256 b_, uint256 m_) internal pure
 ```
 
 
-### subAssignTo
+### modsubAssignTo
 
 ```solidity
-function subAssignTo(uint256 to_, uint256 a_, uint256 b_) internal pure
+function modsubAssignTo(
+    uint256 to_,
+    uint256 a_,
+    uint256 b_,
+    uint256 m_
+) internal pure
 ```
 
 
-### modshl1Assign
+### modshl1
 
 ```solidity
-function modshl1Assign(uint256 a_, uint256 m_) internal pure
+function modshl1(uint256 a_, uint256 m_) internal pure returns (uint256 r_)
 ```
 
 
@@ -196,6 +177,13 @@ function modshl1AssignTo(uint256 to_, uint256 a_, uint256 m_) internal pure
 ```
 
 
+### moddivAssign
+
+```solidity
+function moddivAssign(uint256 call_, uint256 a_, uint256 b_) internal view
+```
+
+Stores modinv into `b_` and moddiv into `a_`.
 ### moddiv
 
 ```solidity
@@ -225,10 +213,3 @@ function modinv(
 function _shl1(uint256 a_, uint256 r_) internal pure
 ```
 
-
-### _shl1To
-
-```solidity
-function _shl1To(uint256 a_) internal pure
-```
-