Skip to content

[Possible bug] Compiler generates wrong size for memcpy #469

@CblPOK-git

Description

@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);
}

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions