Nikita Kaskov

Duplicates corresponding [issue](https://github.com/NilFoundation/crypto3-hash/issues/82) in Hash repository.

Duplicates corresponding [issue](https://github.com/NilFoundation/crypto3-zk/issues/27) in Zero-Knowledge proofs repository.

We extended LLVM with `int256_t` and `uint256_t` types and components. Now, we need to add them to the library so we will be able to use them in our circuits...

We have all the fundamental blocks to build circuit version of the secp256k1-based ecdsa algorithm. Let's check if we need some more and implement them as part of the SDK.

Keccak is a commonly used hash function. Soon, we will support it as an intrinsic in the circuit compiler. But we still need to add it to crypto3 under ZKLLVM...

Includes: * https://github.com/NilFoundation/crypto3-algebra/issues/82 * https://github.com/NilFoundation/crypto3/issues/107 * https://github.com/NilFoundation/crypto3/issues/108 * https://github.com/NilFoundation/crypto3/issues/109 * https://github.com/NilFoundation/crypto3/issues/110 * https://github.com/NilFoundation/crypto3/issues/111 * https://github.com/NilFoundation/crypto3/issues/112

Merkle Tree examples and path validation examples represent common algorithms, which will be required by circuit developers in the future. Thus we need to move them to the SDK.

We have an intrinsic for Poseidon, but its interface differs from the interfaces of native Poseidon. We need to either update intrinsic's interface or extend Poseidon circuit interface with proper...

We have an intrinsic for sha2-512, but its interface is very custom and it differs from the interfaces of native sha2-512. We need to either update intrinsic's interface or extend...

We have an intrinsic for sha2-256, but its interface differs from the interfaces of native sha2-256. We need to either update intrinsic's interface or extend sha2-256 circuit interface with proper...