Feat/u512 (#128)

* init

* rm comments

* wip

* wip

* fixed add & added test

* wip (passed ecdsa check) 17.8kk

* fix

* opt

* -500k

* 15.8kk 2p

* 15.3kk

* rm shl 15.48kk

* wip

* wip

* added test vectors, tests are failed

* fixed ecdsa512 impl 22.2kk

* 20.4kk

* added assert

* small fixes

* refactored

* typo

* added crazy optimization with bit skipping 20.1kk

* 13.86kk & typos

* remove opt 384 libs

* add tests for U512

* add natspec

* add operator overloading

* modify moddiv test

* rm ops and fixed tests

* added assign & call & bitwise ops

* added modexpU256 & tested gas

* typo

* small adjustments

* add U512 usage example and fix tests

* fix natspec

* fixed comment

* add toBytes to natspec

* typos

* typos

* typos

* small adjustments

* update readme

---------

Co-authored-by: Artem Chystiakov <[email protected]>
Co-authored-by: mllwchrry <[email protected]>

Author: 3 people

.solcover.ts

@@ -1,4 +1,4 @@
 module.exports = {
-  skipFiles: ["interfaces/", "mock/"],
+  skipFiles: ["interfaces/", "mock/", "libs/crypto/ECDSA512.sol", "libs/crypto/ECDSA384.sol"],
   configureYulOptimizer: true,
 };

README.md

@@ -10,14 +10,15 @@
 Solidity modules and utilities that **go far beyond mediocre solidity**.
 
 - Implementation of the [**Contracts Registry**](https://eips.ethereum.org/EIPS/eip-6224) pattern
-- State-of-the-art cryptography primitives (**ECDSA over 256-bit and 384-bit curves**, **RSASSA-PSS**)
+- State-of-the-art cryptography primitives (**ECDSA over 256-bit, 384-bit, and 512-bit curves**, **RSASSA-PSS**)
 - Advanced data structures (**Vector**, **DynamicSet**, **PriorityQueue**, **AVLTree**)
 - ZK-friendly [**Cartesian Merkle Tree**](https://medium.com/@Arvolear/cartesian-merkle-tree-the-new-breed-a30b005ecf27), [**Sparse Merkle Tree**](https://docs.iden3.io/publications/pdfs/Merkle-Tree.pdf), and [**Incremental Merkle Tree**](https://github.com/runtimeverification/deposit-contract-verification/blob/master/deposit-contract-verification.pdf) implementations
 - Versatile access control smart contracts (**Merkle whitelists**, **RBAC**)
 - Enhanced and simplified [**Diamond**](https://eips.ethereum.org/EIPS/eip-2535) pattern
 - Flexible finance instruments (**Staking**, **Vesting**)
 - Robust UniswapV2 and UniswapV3 oracles
 - Lightweight SBT implementation
+- Hyperoptimized **uint512** BigInt library
 - Utilities to ease work with memory, types, ERC20 decimals, arrays, sets, and ZK proofs
 
 Built leveraging [OpenZeppelin Contracts](https://github.com/OpenZeppelin/openzeppelin-contracts) (4.9.6).