Function getV2

examples/cpp/placeholder_verifier.cpp:323–333

}

std::array<pallas::base_field_type::value_type, 4> getV2(
    pallas::base_field_type::value_type xi0,pallas::base_field_type::value_type xi1
){
    std::array<pallas::base_field_type::value_type, 4> result;
    result[0] =  xi0 * xi1;
    result[1] = - xi0 - xi1;
    result[2] = pallas::base_field_type::value_type(1);
    result[3] = pallas::base_field_type::value_type(0);
//    __builtin_assigner_exit_check(result[0] + xi0 * result[1] + xi0 * xi0 * result[2] + xi0*xi0*xi0*result[3] == pallas::base_field_type::value_type(0));
    return result;
}

std::array<pallas::base_field_type::value_type, 4> getV1(
    pallas::base_field_type::value_type xi0