CblPOK-git

this input ` [ {"field": "0x123456789abcdef0123456789abcdef01234567890abcdef01234567890abcde"}, {"field": "0x123456789abcdef0123456789abcdef01234567890abcdef01234567890abcde"} ]` assignment process goes well, but verification fails

We take bit size from type, `__uint128_t` will utilize 128 bit comparison component which is cheaper than 255 bit comparison. sha256 block type element has pallas_base_field type and 255bit comparison...

` #include #include using namespace nil::crypto3; [[circuit]] bool sha256_example(typename hashes::sha2::block_type block0, typename hashes::sha2::block_type block1) { typename algebra::curves::pallas::base_field_type::value_type a = block0[0]; typename algebra::curves::pallas::base_field_type::value_type b = block1[0]; a = a + b;...

` #include #include using namespace nil::crypto3; [[circuit]] bool sha256_example(typename hashes::sha2::block_type block0, typename hashes::sha2::block_type block1) { return block0[0] < block1[0]; }` quick fix: replace O1 with O0 in the CircuitCompile.cmake

blocked by https://github.com/NilFoundation/zkllvm-blueprint/issues/302

Added example here https://github.com/NilFoundation/zkLLVM/tree/540-struct-compilation

For now we pass curve type to the assigner using -e flag and then pass curve type to the proof producer using -e flag. So everything works like there are...

aggregated verification fails, need to fix https://github.com/NilFoundation/zkLLVM/issues/469

fix this issue https://github.com/NilFoundation/crypto3-multiprecision/issues/47 and then turn on the tests