From 6aaaeb8d3fac94e7c2e18245b83e30f9cd4125df Mon Sep 17 00:00:00 2001 From: Quentin Bourgerie Date: Mon, 21 Mar 2022 13:47:59 +0100 Subject: [PATCH] enhance(compiler): Update v0 parameters table, that enable 8 bits --- compiler/lib/Support/V0Parameters.cpp | 212 +++++++++++--------- compiler/tests/unittest/end_to_end_fhe.yaml | 21 ++ 2 files changed, 135 insertions(+), 98 deletions(-) diff --git a/compiler/lib/Support/V0Parameters.cpp b/compiler/lib/Support/V0Parameters.cpp index 138620e01..8f2b866fd 100644 --- a/compiler/lib/Support/V0Parameters.cpp +++ b/compiler/lib/Support/V0Parameters.cpp @@ -15,134 +15,150 @@ namespace concretelang { using namespace std; const int NORM2_MAX = 31; -const int P_MAX = 7; +const int P_MAX = 8; const static V0Parameter parameters[NORM2_MAX][P_MAX] = { {V0Parameter(1, 10, 514, 2, 8, 5, 2), V0Parameter(1, 10, 564, 2, 8, 5, 2), V0Parameter(1, 10, 599, 3, 6, 6, 2), V0Parameter(1, 10, 686, 3, 6, 7, 2), V0Parameter(1, 11, 736, 1, 23, 5, 3), V0Parameter(1, 12, 830, 1, 23, 4, 4), - V0Parameter(1, 12, 830, 1, 23, 4, 4)}, + V0Parameter(1, 13, 869, 1, 23, 6, 3), + V0Parameter(1, 14, 933, 2, 15, 6, 3)}, {V0Parameter(1, 10, 519, 2, 8, 5, 2), V0Parameter(1, 10, 558, 3, 6, 5, 2), V0Parameter(1, 10, 610, 3, 6, 6, 2), V0Parameter(1, 11, 689, 1, 23, 4, 3), - V0Parameter(1, 11, 736, 1, 23, 5, 3), V0Parameter(1, 12, 831, 1, 23, 4, 4), - V0Parameter(1, 12, 831, 1, 23, 4, 4)}, + V0Parameter(1, 11, 736, 1, 23, 5, 3), V0Parameter(1, 12, 832, 1, 23, 4, 4), + V0Parameter(1, 13, 860, 2, 15, 6, 3), + V0Parameter(1, 14, 934, 2, 15, 6, 3)}, {V0Parameter(1, 10, 515, 3, 6, 5, 2), V0Parameter(1, 10, 569, 3, 6, 5, 2), V0Parameter(1, 11, 638, 1, 23, 4, 3), V0Parameter(1, 11, 689, 1, 23, 4, 3), - V0Parameter(1, 11, 737, 1, 23, 5, 3), V0Parameter(1, 12, 840, 1, 23, 4, 4), - V0Parameter(1, 12, 840, 1, 23, 4, 4)}, + V0Parameter(1, 11, 737, 1, 23, 5, 3), V0Parameter(1, 12, 842, 1, 23, 4, 4), + V0Parameter(1, 13, 860, 2, 15, 6, 3), + V0Parameter(1, 14, 934, 2, 15, 6, 3)}, {V0Parameter(1, 10, 523, 3, 6, 5, 2), V0Parameter(1, 11, 598, 1, 23, 4, 3), V0Parameter(1, 11, 639, 1, 23, 4, 3), V0Parameter(1, 11, 690, 1, 23, 4, 3), V0Parameter(1, 11, 739, 1, 23, 5, 3), V0Parameter(1, 12, 806, 2, 15, 5, 3), - V0Parameter(1, 12, 806, 2, 15, 5, 3)}, + V0Parameter(1, 13, 860, 2, 15, 6, 3), + V0Parameter(1, 14, 934, 2, 15, 6, 3)}, {V0Parameter(1, 11, 563, 1, 23, 3, 3), V0Parameter(1, 11, 598, 1, 23, 4, 3), - V0Parameter(1, 11, 639, 1, 23, 4, 3), V0Parameter(1, 11, 691, 1, 23, 4, 3), - V0Parameter(1, 11, 748, 1, 23, 5, 3), V0Parameter(1, 12, 806, 2, 15, 5, 3), - V0Parameter(1, 12, 806, 2, 15, 5, 3)}, + V0Parameter(1, 11, 639, 1, 23, 4, 3), V0Parameter(1, 11, 692, 1, 23, 4, 3), + V0Parameter(1, 11, 751, 1, 23, 5, 3), V0Parameter(1, 12, 806, 2, 15, 5, 3), + V0Parameter(1, 13, 860, 2, 16, 6, 3), + V0Parameter(1, 14, 936, 2, 15, 6, 3)}, {V0Parameter(1, 11, 563, 1, 23, 3, 3), V0Parameter(1, 11, 598, 1, 23, 4, 3), - V0Parameter(1, 11, 640, 1, 23, 4, 3), V0Parameter(1, 11, 699, 1, 23, 4, 3), + V0Parameter(1, 11, 640, 1, 23, 4, 3), V0Parameter(1, 11, 700, 1, 23, 4, 3), V0Parameter(1, 11, 736, 2, 15, 5, 3), V0Parameter(1, 12, 806, 2, 16, 5, 3), - V0Parameter(1, 12, 806, 2, 15, 5, 3)}, + V0Parameter(1, 13, 860, 2, 16, 6, 3), + V0Parameter(1, 14, 958, 2, 15, 5, 4)}, {V0Parameter(1, 11, 563, 1, 23, 3, 3), V0Parameter(1, 11, 599, 1, 23, 4, 3), - V0Parameter(1, 11, 643, 1, 23, 4, 3), V0Parameter(1, 11, 721, 1, 23, 5, 3), + V0Parameter(1, 11, 644, 1, 23, 4, 3), V0Parameter(1, 11, 742, 1, 23, 5, 3), V0Parameter(1, 11, 736, 2, 15, 5, 3), V0Parameter(1, 12, 806, 2, 15, 5, 3), - V0Parameter(1, 12, 806, 2, 15, 5, 3)}, - {V0Parameter(1, 11, 564, 1, 23, 3, 3), V0Parameter(1, 11, 602, 1, 23, 4, 3), - V0Parameter(1, 11, 671, 1, 23, 4, 3), V0Parameter(1, 11, 689, 2, 15, 4, 3), - V0Parameter(1, 11, 736, 2, 16, 5, 3), V0Parameter(1, 12, 807, 2, 15, 5, 3), - V0Parameter(1, 12, 807, 2, 15, 5, 3)}, - {V0Parameter(1, 11, 569, 1, 23, 3, 3), V0Parameter(1, 11, 622, 1, 23, 4, 3), + V0Parameter(1, 13, 861, 2, 15, 6, 3), + V0Parameter(1, 14, 957, 2, 15, 7, 3)}, + {V0Parameter(1, 11, 564, 1, 23, 3, 3), V0Parameter(1, 11, 603, 1, 23, 4, 3), + V0Parameter(1, 11, 683, 1, 23, 4, 3), V0Parameter(1, 11, 689, 2, 16, 4, 3), + V0Parameter(1, 11, 736, 2, 15, 5, 3), V0Parameter(1, 12, 807, 2, 16, 5, 3), + V0Parameter(1, 13, 866, 2, 15, 6, 3), + V0Parameter(1, 14, 936, 3, 12, 6, 3)}, + {V0Parameter(1, 11, 570, 1, 23, 3, 3), V0Parameter(1, 11, 629, 1, 23, 4, 3), + V0Parameter(1, 11, 638, 2, 16, 4, 3), V0Parameter(1, 11, 689, 2, 15, 4, 3), + V0Parameter(1, 11, 736, 2, 16, 5, 3), V0Parameter(1, 12, 809, 2, 15, 5, 3), + V0Parameter(1, 13, 914, 2, 15, 6, 3), + V0Parameter(1, 14, 928, 3, 12, 7, 3)}, + {V0Parameter(1, 11, 560, 1, 23, 5, 2), V0Parameter(1, 11, 579, 2, 16, 5, 2), V0Parameter(1, 11, 638, 2, 15, 4, 3), V0Parameter(1, 11, 689, 2, 15, 4, 3), - V0Parameter(1, 11, 736, 2, 15, 5, 3), V0Parameter(1, 12, 809, 2, 15, 5, 3), - V0Parameter(1, 12, 809, 2, 15, 5, 3)}, - {V0Parameter(1, 11, 555, 1, 23, 5, 2), V0Parameter(1, 11, 579, 2, 16, 5, 2), - V0Parameter(1, 11, 638, 2, 16, 4, 3), V0Parameter(1, 11, 689, 2, 16, 4, 3), - V0Parameter(1, 11, 737, 2, 16, 5, 3), V0Parameter(1, 12, 818, 2, 15, 5, 3), - V0Parameter(1, 12, 818, 2, 15, 5, 3)}, - {V0Parameter(1, 11, 532, 2, 15, 5, 2), V0Parameter(1, 11, 579, 2, 15, 5, 2), - V0Parameter(1, 11, 638, 2, 15, 4, 3), V0Parameter(1, 11, 690, 2, 15, 4, 3), - V0Parameter(1, 11, 738, 2, 15, 5, 3), V0Parameter(1, 12, 832, 2, 15, 9, 2), - V0Parameter(1, 12, 832, 2, 15, 9, 2)}, - {V0Parameter(1, 11, 532, 2, 15, 5, 2), V0Parameter(1, 11, 579, 2, 15, 5, 2), - V0Parameter(1, 11, 639, 2, 15, 4, 3), V0Parameter(1, 11, 691, 2, 15, 4, 3), - V0Parameter(1, 11, 743, 2, 16, 5, 3), V0Parameter(1, 12, 807, 3, 12, 5, 3), - V0Parameter(1, 12, 807, 3, 12, 5, 3)}, + V0Parameter(1, 11, 737, 2, 16, 5, 3), V0Parameter(1, 12, 819, 2, 15, 5, 3), + V0Parameter(1, 13, 861, 3, 12, 6, 3), + V0Parameter(1, 14, 964, 3, 12, 7, 3)}, {V0Parameter(1, 11, 532, 2, 15, 5, 2), V0Parameter(1, 11, 579, 2, 16, 5, 2), - V0Parameter(1, 11, 639, 2, 15, 4, 3), V0Parameter(1, 11, 695, 2, 16, 4, 3), - V0Parameter(1, 11, 757, 2, 16, 16, 1), - V0Parameter(1, 12, 811, 3, 12, 5, 3), - V0Parameter(1, 12, 811, 3, 12, 5, 3)}, - {V0Parameter(1, 11, 533, 2, 16, 5, 2), V0Parameter(1, 11, 580, 2, 15, 5, 2), - V0Parameter(1, 11, 641, 2, 16, 4, 3), V0Parameter(1, 11, 699, 2, 16, 5, 3), - V0Parameter(1, 11, 737, 3, 12, 5, 3), V0Parameter(1, 12, 788, 3, 12, 8, 2), - V0Parameter(1, 12, 788, 3, 12, 8, 2)}, - {V0Parameter(1, 11, 533, 2, 16, 5, 2), V0Parameter(1, 11, 583, 2, 16, 5, 2), - V0Parameter(1, 11, 653, 2, 16, 4, 3), V0Parameter(1, 11, 665, 3, 12, 6, 2), - V0Parameter(1, 11, 738, 3, 12, 5, 3), V0Parameter(1, 12, 775, 4, 9, 8, 2), - V0Parameter(1, 12, 775, 4, 9, 8, 2)}, - {V0Parameter(1, 11, 535, 2, 16, 5, 2), V0Parameter(1, 11, 610, 2, 16, 4, 3), - V0Parameter(1, 11, 614, 3, 12, 6, 2), V0Parameter(1, 11, 666, 3, 12, 6, 2), - V0Parameter(1, 11, 747, 3, 12, 5, 3), V0Parameter(1, 12, 782, 4, 9, 8, 2), - V0Parameter(1, 12, 782, 4, 9, 8, 2)}, - {V0Parameter(1, 11, 544, 2, 16, 5, 2), V0Parameter(1, 11, 580, 3, 12, 5, 2), - V0Parameter(1, 11, 615, 3, 12, 6, 2), V0Parameter(1, 11, 661, 3, 12, 7, 2), - V0Parameter(1, 11, 715, 4, 9, 7, 2), V0Parameter(1, 12, 778, 5, 8, 8, 2), - V0Parameter(1, 12, 778, 5, 8, 8, 2)}, + V0Parameter(1, 11, 638, 2, 16, 4, 3), V0Parameter(1, 11, 690, 2, 15, 4, 3), + V0Parameter(1, 11, 738, 2, 15, 5, 3), V0Parameter(1, 12, 807, 3, 12, 5, 3), + V0Parameter(1, 13, 864, 3, 12, 6, 3), V0Parameter(1, 14, 924, 4, 9, 7, 3)}, + {V0Parameter(1, 11, 532, 2, 15, 5, 2), V0Parameter(1, 11, 579, 2, 15, 5, 2), + V0Parameter(1, 11, 639, 2, 16, 4, 3), V0Parameter(1, 11, 691, 2, 15, 4, 3), + V0Parameter(1, 11, 747, 2, 16, 5, 3), V0Parameter(1, 12, 808, 3, 12, 5, 3), + V0Parameter(1, 13, 890, 3, 12, 6, 3), V0Parameter(1, 14, 932, 4, 9, 7, 3)}, + {V0Parameter(1, 11, 532, 2, 15, 5, 2), V0Parameter(1, 11, 580, 2, 15, 5, 2), + V0Parameter(1, 11, 639, 2, 15, 4, 3), V0Parameter(1, 11, 698, 2, 15, 4, 3), + V0Parameter(1, 11, 736, 3, 12, 5, 3), V0Parameter(1, 12, 813, 3, 12, 5, 3), + V0Parameter(1, 13, 862, 4, 9, 6, 3), V0Parameter(1, 14, 905, 5, 8, 10, 2)}, + {V0Parameter(1, 11, 533, 2, 16, 5, 2), V0Parameter(1, 11, 581, 2, 15, 5, 2), + V0Parameter(1, 11, 643, 2, 16, 4, 3), V0Parameter(1, 11, 713, 2, 16, 5, 3), + V0Parameter(1, 11, 737, 3, 12, 5, 3), V0Parameter(1, 12, 795, 3, 12, 8, 2), + V0Parameter(1, 13, 869, 4, 9, 6, 3), V0Parameter(1, 14, 907, 6, 7, 10, 2)}, + {V0Parameter(1, 11, 533, 2, 16, 5, 2), V0Parameter(1, 11, 585, 2, 15, 5, 2), + V0Parameter(1, 11, 665, 2, 16, 4, 3), V0Parameter(1, 11, 665, 3, 12, 6, 2), + V0Parameter(1, 11, 740, 3, 12, 5, 3), V0Parameter(1, 12, 775, 4, 9, 8, 2), + V0Parameter(1, 13, 842, 5, 8, 9, 2), V0Parameter(1, 14, 910, 7, 6, 10, 2)}, + {V0Parameter(1, 11, 536, 2, 15, 5, 2), V0Parameter(1, 11, 618, 2, 16, 4, 3), + V0Parameter(1, 11, 614, 3, 12, 6, 2), V0Parameter(1, 11, 667, 3, 12, 6, 2), + V0Parameter(1, 11, 754, 3, 12, 5, 3), V0Parameter(1, 12, 784, 4, 9, 8, 2), + V0Parameter(1, 13, 844, 6, 7, 9, 2), V0Parameter(1, 14, 916, 8, 5, 10, 2)}, + {V0Parameter(1, 11, 551, 2, 16, 5, 2), V0Parameter(1, 11, 580, 3, 12, 5, 2), + V0Parameter(1, 11, 615, 3, 12, 6, 2), V0Parameter(1, 11, 664, 3, 12, 7, 2), + V0Parameter(1, 11, 716, 4, 9, 7, 2), V0Parameter(1, 12, 780, 5, 8, 8, 2), + V0Parameter(1, 13, 846, 7, 6, 9, 2), + V0Parameter(1, 14, 945, 10, 4, 10, 2)}, {V0Parameter(1, 11, 533, 3, 12, 5, 2), V0Parameter(1, 11, 581, 3, 12, 5, 2), - V0Parameter(1, 11, 618, 3, 12, 6, 2), V0Parameter(1, 11, 687, 3, 12, 7, 2), - V0Parameter(1, 11, 726, 4, 9, 7, 2), V0Parameter(1, 12, 809, 5, 8, 8, 2), - V0Parameter(1, 12, 809, 5, 8, 8, 2)}, - {V0Parameter(1, 11, 533, 3, 12, 5, 2), V0Parameter(1, 11, 585, 3, 12, 5, 2), - V0Parameter(1, 11, 639, 3, 12, 6, 2), V0Parameter(1, 11, 662, 4, 9, 7, 2), - V0Parameter(1, 11, 717, 5, 8, 7, 2), V0Parameter(1, 12, 820, 6, 7, 9, 2), - V0Parameter(1, 12, 820, 6, 7, 9, 2)}, - {V0Parameter(1, 11, 536, 3, 12, 5, 2), V0Parameter(1, 11, 593, 3, 12, 6, 2), - V0Parameter(1, 11, 619, 4, 9, 6, 2), V0Parameter(1, 11, 693, 4, 9, 7, 2), - V0Parameter(1, 11, 737, 5, 8, 7, 2), V0Parameter(1, 12, 788, 8, 5, 8, 2), - V0Parameter(1, 12, 788, 8, 5, 8, 2)}, - {V0Parameter(1, 11, 552, 3, 12, 5, 2), V0Parameter(1, 11, 585, 4, 9, 5, 2), - V0Parameter(1, 11, 644, 4, 9, 6, 2), V0Parameter(1, 11, 665, 5, 8, 7, 2), - V0Parameter(1, 11, 736, 6, 7, 8, 2), V0Parameter(1, 12, 786, 11, 4, 8, 2), - V0Parameter(1, 12, 786, 11, 4, 8, 2)}, - {V0Parameter(1, 11, 536, 4, 9, 5, 2), V0Parameter(1, 11, 596, 4, 9, 6, 2), - V0Parameter(1, 11, 621, 5, 8, 6, 2), V0Parameter(1, 11, 667, 6, 7, 7, 2), - V0Parameter(1, 11, 746, 7, 6, 8, 2), V0Parameter(1, 12, 798, 14, 3, 9, 2), - V0Parameter(1, 12, 798, 14, 3, 9, 2)}, - {V0Parameter(1, 11, 555, 4, 9, 5, 2), V0Parameter(1, 11, 580, 5, 8, 6, 2), - V0Parameter(1, 11, 623, 6, 7, 6, 2), V0Parameter(1, 11, 669, 7, 6, 7, 2), - V0Parameter(1, 11, 723, 11, 4, 7, 2), V0Parameter(1, 12, 814, 22, 2, 9, 2), - V0Parameter(1, 12, 814, 22, 2, 9, 2)}, - {V0Parameter(1, 11, 539, 5, 8, 5, 2), V0Parameter(1, 11, 636, 5, 8, 6, 2), - V0Parameter(1, 11, 625, 7, 6, 6, 2), V0Parameter(1, 11, 674, 9, 5, 7, 2), - V0Parameter(1, 11, 735, 14, 3, 8, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0), - V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 579, 5, 8, 6, 2), V0Parameter(1, 11, 583, 7, 6, 6, 2), - V0Parameter(1, 11, 661, 8, 5, 7, 2), V0Parameter(1, 11, 681, 11, 4, 7, 2), - V0Parameter(1, 11, 736, 22, 2, 8, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0), - V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 541, 7, 6, 5, 2), V0Parameter(1, 11, 611, 8, 5, 6, 2), - V0Parameter(1, 11, 635, 11, 4, 6, 2), V0Parameter(1, 11, 704, 15, 3, 7, 2), - V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), - V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 569, 8, 5, 5, 2), V0Parameter(1, 11, 590, 11, 4, 6, 2), - V0Parameter(1, 11, 647, 15, 3, 7, 2), - V0Parameter(1, 11, 679, 44, 1, 14, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), + V0Parameter(1, 11, 620, 3, 12, 6, 2), V0Parameter(1, 11, 658, 4, 9, 7, 2), + V0Parameter(1, 11, 728, 4, 9, 7, 2), V0Parameter(1, 12, 781, 6, 7, 8, 2), + V0Parameter(1, 13, 852, 8, 5, 9, 2), + V0Parameter(1, 14, 908, 21, 2, 10, 2)}, + {V0Parameter(1, 11, 534, 3, 12, 5, 2), V0Parameter(1, 11, 588, 3, 12, 5, 2), + V0Parameter(1, 11, 665, 3, 12, 7, 2), V0Parameter(1, 11, 663, 4, 9, 7, 2), + V0Parameter(1, 11, 719, 5, 8, 7, 2), V0Parameter(1, 12, 783, 7, 6, 8, 2), + V0Parameter(1, 13, 895, 10, 4, 10, 2), + V0Parameter(1, 14, 915, 43, 1, 20, 1)}, + {V0Parameter(1, 11, 538, 3, 12, 5, 2), V0Parameter(1, 11, 613, 3, 12, 6, 2), + V0Parameter(1, 11, 619, 4, 9, 6, 2), V0Parameter(1, 11, 710, 4, 9, 7, 2), + V0Parameter(1, 11, 750, 5, 8, 8, 2), V0Parameter(1, 12, 792, 8, 5, 8, 2), + V0Parameter(1, 13, 880, 14, 3, 10, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 571, 3, 12, 5, 2), V0Parameter(1, 11, 578, 4, 9, 6, 2), + V0Parameter(1, 11, 654, 4, 9, 6, 2), V0Parameter(1, 11, 670, 5, 8, 7, 2), + V0Parameter(1, 11, 722, 7, 6, 7, 2), V0Parameter(1, 12, 792, 11, 4, 8, 2), + V0Parameter(1, 13, 849, 43, 1, 18, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 537, 4, 9, 5, 2), V0Parameter(1, 11, 602, 4, 9, 6, 2), + V0Parameter(1, 11, 626, 5, 8, 6, 2), V0Parameter(1, 11, 673, 6, 7, 7, 2), + V0Parameter(1, 11, 732, 8, 5, 8, 2), V0Parameter(1, 12, 811, 14, 3, 9, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 549, 11, 4, 5, 2), V0Parameter(1, 11, 600, 15, 3, 6, 2), - V0Parameter(1, 11, 628, 44, 1, 13, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), - V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), + {V0Parameter(1, 11, 560, 4, 9, 5, 2), V0Parameter(1, 11, 583, 5, 8, 6, 2), + V0Parameter(1, 11, 629, 6, 7, 6, 2), V0Parameter(1, 11, 678, 7, 6, 7, 2), + V0Parameter(1, 11, 729, 11, 4, 7, 2), + V0Parameter(1, 12, 785, 43, 1, 17, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 559, 15, 3, 5, 2), - V0Parameter(1, 11, 584, 44, 1, 12, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), + {V0Parameter(1, 11, 542, 5, 8, 5, 2), V0Parameter(1, 11, 586, 6, 7, 6, 2), + V0Parameter(1, 11, 633, 7, 6, 6, 2), V0Parameter(1, 11, 690, 9, 5, 7, 2), + V0Parameter(1, 11, 751, 14, 3, 8, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0), + V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 544, 6, 7, 5, 2), V0Parameter(1, 11, 589, 7, 6, 6, 2), + V0Parameter(1, 11, 642, 9, 5, 6, 2), V0Parameter(1, 11, 724, 11, 4, 7, 2), + V0Parameter(1, 11, 761, 22, 2, 16, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), + V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 547, 7, 6, 5, 2), V0Parameter(1, 11, 595, 9, 5, 6, 2), + V0Parameter(1, 11, 652, 11, 4, 7, 2), V0Parameter(1, 11, 673, 22, 2, 7, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 594, 23, 2, 12, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), + {V0Parameter(1, 11, 586, 8, 5, 6, 2), V0Parameter(1, 11, 604, 11, 4, 6, 2), + V0Parameter(1, 11, 628, 22, 2, 6, 2), + V0Parameter(1, 11, 732, 45, 1, 16, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), + V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 563, 11, 4, 5, 2), + V0Parameter(1, 11, 597, 21, 2, 12, 1), + V0Parameter(1, 11, 656, 44, 1, 13, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), + V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), + V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 579, 15, 3, 11, 1), + V0Parameter(1, 11, 603, 44, 1, 12, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 556, 44, 1, 11, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), + V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), + V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), + V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, {V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), - V0Parameter(0, 0, 0, 0, 0, 0, 0)}}; + V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0)}}; const V0Parameter *getV0Parameter(V0FHEConstraint constraint) { if (constraint.norm2 > NORM2_MAX) { diff --git a/compiler/tests/unittest/end_to_end_fhe.yaml b/compiler/tests/unittest/end_to_end_fhe.yaml index 57a137d7d..26115de7d 100644 --- a/compiler/tests/unittest/end_to_end_fhe.yaml +++ b/compiler/tests/unittest/end_to_end_fhe.yaml @@ -373,6 +373,27 @@ tests: outputs: - scalar: 96 --- +description: apply_lookup_table_8_bits +program: | + func @main(%arg0: !FHE.eint<8>) -> !FHE.eint<8> { + %tlu = arith.constant dense<[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255]> : tensor<256xi64> + %1 = "FHE.apply_lookup_table"(%arg0, %tlu): (!FHE.eint<8>, tensor<256xi64>) -> (!FHE.eint<8>) + return %1: !FHE.eint<8> + } +tests: + - inputs: + - scalar: 0 + outputs: + - scalar: 0 + - inputs: + - scalar: 255 + outputs: + - scalar: 255 + - inputs: + - scalar: 96 + outputs: + - scalar: 96 +--- description: apply_lookup_table_multiple_precision program: | func @main(%arg0: !FHE.eint<6>, %arg1: !FHE.eint<3>) -> !FHE.eint<6> {