[Possible bug] Compiler generates wrong size for memcpy

[CblPOK-git]

#include <nil/crypto3/algebra/curves/bls12.hpp>

using namespace nil::crypto3;

constexpr const std::size_t validators_amount = 5;

template<std::size_t size>
bool aggregate_verify(
    std::array<typename algebra::curves::bls12<381>::template g2_type<>::value_type, size> pubkeys
) {
    return true;
}

[[circuit]] bool verify_aggregated_signature(
    std::array<typename algebra::curves::bls12<381>::template g2_type<>::value_type, validators_amount> pubkeys
) {

    return aggregate_verify(pubkeys);
}

[makxenov]

Fixed in zkllvm-circifier#100