ETatuzova

For mina-circuits branch namespace nil::crypto3::zk::components moved to nil::blueprint_mc::components namespace.

I used this construction to emulate vector of vectors logic. ``` constexpr std::size_t sizes_size = 3; constexpr std::array sizes = {1,2,3}; constexpr std::size_t full_size = 6; ``` So, we could...

This construction will also be extremely useful: ``` #include using namespace nil::crypto3::algebra::curves; constexpr std::array sizes = {1,2,3,4,5}; [[circuit]] typename pallas::base_field_type::value_type field_for_example( typename pallas::base_field_type::value_type a, typename pallas::base_field_type::value_type b ) { for(...

We can just switch on range_check component for operator < on pallas::base_field_type::value_type if second operand is constant and 2-degree