Skip to content

Bug fix - Kerngen crash large RNS values. #129

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Sep 25, 2025
Merged

Bug fix - Kerngen crash large RNS values. #129

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions p-isa_tools/kerngen/pisa_generators/basic.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,6 @@
import itertools as it
from collections.abc import Iterable
from dataclasses import dataclass
from string import ascii_letters
from typing import ClassVar

import high_parser.pisa_operations as pisa_op
Expand Down Expand Up @@ -244,7 +243,7 @@ def get_pisa_op(num):
ls: list[pisa_op] = []
for digit, op in get_pisa_op(self.input1.digits):
input0_tmp = Polys.from_polys(self.input0)
input0_tmp.name += "_" + ascii_letters[digit]
input0_tmp.name += f"_{digit}"

# mul/mac for 0-current_rns
ls.extend(
Expand Down
3 changes: 1 addition & 2 deletions p-isa_tools/kerngen/pisa_generators/decomp.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@

import itertools as it
from dataclasses import dataclass
from string import ascii_letters

import high_parser.pisa_operations as pisa_op
from high_parser import HighOp, Immediate, KernelContext, Polys
Expand Down Expand Up @@ -66,7 +65,7 @@ def to_pisa(self) -> list[PIsaOp]:
)

output_tmp = Polys.from_polys(self.output)
output_tmp.name += "_" + ascii_letters[input_rns_index]
output_tmp.name += f"_{input_rns_index}"
output_split = Polys.from_polys(self.output)
output_split.rns = self.context.current_rns
# ntt for 0-current_rns
Expand Down
240 changes: 120 additions & 120 deletions p-isa_tools/kerngen/tests/kernel_examples/relin_kernel/output.bgv.16k_l2_m3.relin
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,132 +44,132 @@
0, muli, coeffs_2_1_1, ct_2_0_1, R2_1, 1
0, muli, coeffs_2_2_0, ct_2_0_0, R2_2, 2
0, muli, coeffs_2_2_1, ct_2_0_1, R2_2, 2
0, mul, coeffs_a_2_0_0, coeffs_2_0_0, psi_0_0_0, 0
0, mul, coeffs_a_2_1_0, coeffs_2_1_0, psi_0_1_0, 1
0, mul, coeffs_a_2_0_1, coeffs_2_0_1, psi_0_0_1, 0
0, mul, coeffs_a_2_1_1, coeffs_2_1_1, psi_0_1_1, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 0, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 0, 0, 1
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 1, 0, 0
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 1, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 2, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 2, 0, 1
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 3, 0, 0
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 3, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 4, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 4, 0, 1
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 5, 0, 0
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 5, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 6, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 6, 0, 1
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 7, 0, 0
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 7, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 8, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 8, 0, 1
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 9, 0, 0
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 9, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 10, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 10, 0, 1
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 11, 0, 0
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 11, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 12, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 12, 0, 1
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 13, 0, 0
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 13, 0, 1
0, mul, coeffs_a_2_2_0, coeffs_2_2_0, psi_0_2_0, 2
0, mul, coeffs_a_2_2_1, coeffs_2_2_1, psi_0_2_1, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 0, 0, 2
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 1, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 2, 0, 2
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 3, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 4, 0, 2
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 5, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 6, 0, 2
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 7, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 8, 0, 2
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 9, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 10, 0, 2
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 11, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 12, 0, 2
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 13, 0, 2
0, mul, coeffs_0_2_0_0, coeffs_2_0_0, psi_0_0_0, 0
0, mul, coeffs_0_2_1_0, coeffs_2_1_0, psi_0_1_0, 1
0, mul, coeffs_0_2_0_1, coeffs_2_0_1, psi_0_0_1, 0
0, mul, coeffs_0_2_1_1, coeffs_2_1_1, psi_0_1_1, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_0_2_0_0, coeffs_0_2_0_1, 0, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_0_2_1_0, coeffs_0_2_1_1, 0, 0, 1
0, ntt, coeffs_0_2_0_0, coeffs_0_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 1, 0, 0
0, ntt, coeffs_0_2_1_0, coeffs_0_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 1, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_0_2_0_0, coeffs_0_2_0_1, 2, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_0_2_1_0, coeffs_0_2_1_1, 2, 0, 1
0, ntt, coeffs_0_2_0_0, coeffs_0_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 3, 0, 0
0, ntt, coeffs_0_2_1_0, coeffs_0_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 3, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_0_2_0_0, coeffs_0_2_0_1, 4, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_0_2_1_0, coeffs_0_2_1_1, 4, 0, 1
0, ntt, coeffs_0_2_0_0, coeffs_0_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 5, 0, 0
0, ntt, coeffs_0_2_1_0, coeffs_0_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 5, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_0_2_0_0, coeffs_0_2_0_1, 6, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_0_2_1_0, coeffs_0_2_1_1, 6, 0, 1
0, ntt, coeffs_0_2_0_0, coeffs_0_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 7, 0, 0
0, ntt, coeffs_0_2_1_0, coeffs_0_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 7, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_0_2_0_0, coeffs_0_2_0_1, 8, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_0_2_1_0, coeffs_0_2_1_1, 8, 0, 1
0, ntt, coeffs_0_2_0_0, coeffs_0_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 9, 0, 0
0, ntt, coeffs_0_2_1_0, coeffs_0_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 9, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_0_2_0_0, coeffs_0_2_0_1, 10, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_0_2_1_0, coeffs_0_2_1_1, 10, 0, 1
0, ntt, coeffs_0_2_0_0, coeffs_0_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 11, 0, 0
0, ntt, coeffs_0_2_1_0, coeffs_0_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 11, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_0_2_0_0, coeffs_0_2_0_1, 12, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_0_2_1_0, coeffs_0_2_1_1, 12, 0, 1
0, ntt, coeffs_0_2_0_0, coeffs_0_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 13, 0, 0
0, ntt, coeffs_0_2_1_0, coeffs_0_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 13, 0, 1
0, mul, coeffs_0_2_2_0, coeffs_2_2_0, psi_0_2_0, 2
0, mul, coeffs_0_2_2_1, coeffs_2_2_1, psi_0_2_1, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_0_2_2_0, coeffs_0_2_2_1, 0, 0, 2
0, ntt, coeffs_0_2_2_0, coeffs_0_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 1, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_0_2_2_0, coeffs_0_2_2_1, 2, 0, 2
0, ntt, coeffs_0_2_2_0, coeffs_0_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 3, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_0_2_2_0, coeffs_0_2_2_1, 4, 0, 2
0, ntt, coeffs_0_2_2_0, coeffs_0_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 5, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_0_2_2_0, coeffs_0_2_2_1, 6, 0, 2
0, ntt, coeffs_0_2_2_0, coeffs_0_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 7, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_0_2_2_0, coeffs_0_2_2_1, 8, 0, 2
0, ntt, coeffs_0_2_2_0, coeffs_0_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 9, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_0_2_2_0, coeffs_0_2_2_1, 10, 0, 2
0, ntt, coeffs_0_2_2_0, coeffs_0_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 11, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_0_2_2_0, coeffs_0_2_2_1, 12, 0, 2
0, ntt, coeffs_0_2_2_0, coeffs_0_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 13, 0, 2
0, muli, coeffs_2_0_0, ct_2_1_0, R2_0, 0
0, muli, coeffs_2_0_1, ct_2_1_1, R2_0, 0
0, muli, coeffs_2_1_0, ct_2_1_0, R2_1, 1
0, muli, coeffs_2_1_1, ct_2_1_1, R2_1, 1
0, muli, coeffs_2_2_0, ct_2_1_0, R2_2, 2
0, muli, coeffs_2_2_1, ct_2_1_1, R2_2, 2
0, mul, coeffs_b_2_0_0, coeffs_2_0_0, psi_0_0_0, 0
0, mul, coeffs_b_2_1_0, coeffs_2_1_0, psi_0_1_0, 1
0, mul, coeffs_b_2_0_1, coeffs_2_0_1, psi_0_0_1, 0
0, mul, coeffs_b_2_1_1, coeffs_2_1_1, psi_0_1_1, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 0, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 0, 0, 1
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 1, 0, 0
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 1, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 2, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 2, 0, 1
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 3, 0, 0
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 3, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 4, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 4, 0, 1
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 5, 0, 0
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 5, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 6, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 6, 0, 1
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 7, 0, 0
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 7, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 8, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 8, 0, 1
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 9, 0, 0
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 9, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 10, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 10, 0, 1
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 11, 0, 0
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 11, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 12, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 12, 0, 1
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 13, 0, 0
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 13, 0, 1
0, mul, coeffs_b_2_2_0, coeffs_2_2_0, psi_0_2_0, 2
0, mul, coeffs_b_2_2_1, coeffs_2_2_1, psi_0_2_1, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 0, 0, 2
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 1, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 2, 0, 2
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 3, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 4, 0, 2
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 5, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 6, 0, 2
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 7, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 8, 0, 2
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 9, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 10, 0, 2
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 11, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 12, 0, 2
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 13, 0, 2
0, mul, c2_rlk_0_0_0, coeffs_a_2_0_0, rlk_0_0_0_0, 0
0, mul, c2_rlk_0_0_1, coeffs_a_2_0_1, rlk_0_0_0_1, 0
0, mul, c2_rlk_0_1_0, coeffs_a_2_1_0, rlk_0_0_1_0, 1
0, mul, c2_rlk_0_1_1, coeffs_a_2_1_1, rlk_0_0_1_1, 1
0, mul, c2_rlk_1_0_0, coeffs_a_2_0_0, rlk_1_0_0_0, 0
0, mul, c2_rlk_1_0_1, coeffs_a_2_0_1, rlk_1_0_0_1, 0
0, mul, c2_rlk_1_1_0, coeffs_a_2_1_0, rlk_1_0_1_0, 1
0, mul, c2_rlk_1_1_1, coeffs_a_2_1_1, rlk_1_0_1_1, 1
0, mul, c2_rlk_0_2_0, coeffs_a_2_2_0, rlk_0_0_2_0, 2
0, mul, c2_rlk_0_2_1, coeffs_a_2_2_1, rlk_0_0_2_1, 2
0, mul, c2_rlk_1_2_0, coeffs_a_2_2_0, rlk_1_0_2_0, 2
0, mul, c2_rlk_1_2_1, coeffs_a_2_2_1, rlk_1_0_2_1, 2
0, mac, c2_rlk_0_0_0, coeffs_b_2_0_0, rlk_0_1_0_0, 0
0, mac, c2_rlk_0_0_1, coeffs_b_2_0_1, rlk_0_1_0_1, 0
0, mac, c2_rlk_0_1_0, coeffs_b_2_1_0, rlk_0_1_1_0, 1
0, mac, c2_rlk_0_1_1, coeffs_b_2_1_1, rlk_0_1_1_1, 1
0, mac, c2_rlk_1_0_0, coeffs_b_2_0_0, rlk_1_1_0_0, 0
0, mac, c2_rlk_1_0_1, coeffs_b_2_0_1, rlk_1_1_0_1, 0
0, mac, c2_rlk_1_1_0, coeffs_b_2_1_0, rlk_1_1_1_0, 1
0, mac, c2_rlk_1_1_1, coeffs_b_2_1_1, rlk_1_1_1_1, 1
0, mac, c2_rlk_0_2_0, coeffs_b_2_2_0, rlk_0_1_2_0, 2
0, mac, c2_rlk_0_2_1, coeffs_b_2_2_1, rlk_0_1_2_1, 2
0, mac, c2_rlk_1_2_0, coeffs_b_2_2_0, rlk_1_1_2_0, 2
0, mac, c2_rlk_1_2_1, coeffs_b_2_2_1, rlk_1_1_2_1, 2
0, mul, coeffs_1_2_0_0, coeffs_2_0_0, psi_0_0_0, 0
0, mul, coeffs_1_2_1_0, coeffs_2_1_0, psi_0_1_0, 1
0, mul, coeffs_1_2_0_1, coeffs_2_0_1, psi_0_0_1, 0
0, mul, coeffs_1_2_1_1, coeffs_2_1_1, psi_0_1_1, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_1_2_0_0, coeffs_1_2_0_1, 0, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_1_2_1_0, coeffs_1_2_1_1, 0, 0, 1
0, ntt, coeffs_1_2_0_0, coeffs_1_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 1, 0, 0
0, ntt, coeffs_1_2_1_0, coeffs_1_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 1, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_1_2_0_0, coeffs_1_2_0_1, 2, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_1_2_1_0, coeffs_1_2_1_1, 2, 0, 1
0, ntt, coeffs_1_2_0_0, coeffs_1_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 3, 0, 0
0, ntt, coeffs_1_2_1_0, coeffs_1_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 3, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_1_2_0_0, coeffs_1_2_0_1, 4, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_1_2_1_0, coeffs_1_2_1_1, 4, 0, 1
0, ntt, coeffs_1_2_0_0, coeffs_1_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 5, 0, 0
0, ntt, coeffs_1_2_1_0, coeffs_1_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 5, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_1_2_0_0, coeffs_1_2_0_1, 6, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_1_2_1_0, coeffs_1_2_1_1, 6, 0, 1
0, ntt, coeffs_1_2_0_0, coeffs_1_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 7, 0, 0
0, ntt, coeffs_1_2_1_0, coeffs_1_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 7, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_1_2_0_0, coeffs_1_2_0_1, 8, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_1_2_1_0, coeffs_1_2_1_1, 8, 0, 1
0, ntt, coeffs_1_2_0_0, coeffs_1_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 9, 0, 0
0, ntt, coeffs_1_2_1_0, coeffs_1_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 9, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_1_2_0_0, coeffs_1_2_0_1, 10, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_1_2_1_0, coeffs_1_2_1_1, 10, 0, 1
0, ntt, coeffs_1_2_0_0, coeffs_1_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 11, 0, 0
0, ntt, coeffs_1_2_1_0, coeffs_1_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 11, 0, 1
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_1_2_0_0, coeffs_1_2_0_1, 12, 0, 0
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_1_2_1_0, coeffs_1_2_1_1, 12, 0, 1
0, ntt, coeffs_1_2_0_0, coeffs_1_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 13, 0, 0
0, ntt, coeffs_1_2_1_0, coeffs_1_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 13, 0, 1
0, mul, coeffs_1_2_2_0, coeffs_2_2_0, psi_0_2_0, 2
0, mul, coeffs_1_2_2_1, coeffs_2_2_1, psi_0_2_1, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_1_2_2_0, coeffs_1_2_2_1, 0, 0, 2
0, ntt, coeffs_1_2_2_0, coeffs_1_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 1, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_1_2_2_0, coeffs_1_2_2_1, 2, 0, 2
0, ntt, coeffs_1_2_2_0, coeffs_1_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 3, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_1_2_2_0, coeffs_1_2_2_1, 4, 0, 2
0, ntt, coeffs_1_2_2_0, coeffs_1_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 5, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_1_2_2_0, coeffs_1_2_2_1, 6, 0, 2
0, ntt, coeffs_1_2_2_0, coeffs_1_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 7, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_1_2_2_0, coeffs_1_2_2_1, 8, 0, 2
0, ntt, coeffs_1_2_2_0, coeffs_1_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 9, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_1_2_2_0, coeffs_1_2_2_1, 10, 0, 2
0, ntt, coeffs_1_2_2_0, coeffs_1_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 11, 0, 2
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_1_2_2_0, coeffs_1_2_2_1, 12, 0, 2
0, ntt, coeffs_1_2_2_0, coeffs_1_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 13, 0, 2
0, mul, c2_rlk_0_0_0, coeffs_0_2_0_0, rlk_0_0_0_0, 0
0, mul, c2_rlk_0_0_1, coeffs_0_2_0_1, rlk_0_0_0_1, 0
0, mul, c2_rlk_0_1_0, coeffs_0_2_1_0, rlk_0_0_1_0, 1
0, mul, c2_rlk_0_1_1, coeffs_0_2_1_1, rlk_0_0_1_1, 1
0, mul, c2_rlk_1_0_0, coeffs_0_2_0_0, rlk_1_0_0_0, 0
0, mul, c2_rlk_1_0_1, coeffs_0_2_0_1, rlk_1_0_0_1, 0
0, mul, c2_rlk_1_1_0, coeffs_0_2_1_0, rlk_1_0_1_0, 1
0, mul, c2_rlk_1_1_1, coeffs_0_2_1_1, rlk_1_0_1_1, 1
0, mul, c2_rlk_0_2_0, coeffs_0_2_2_0, rlk_0_0_2_0, 2
0, mul, c2_rlk_0_2_1, coeffs_0_2_2_1, rlk_0_0_2_1, 2
0, mul, c2_rlk_1_2_0, coeffs_0_2_2_0, rlk_1_0_2_0, 2
0, mul, c2_rlk_1_2_1, coeffs_0_2_2_1, rlk_1_0_2_1, 2
0, mac, c2_rlk_0_0_0, coeffs_1_2_0_0, rlk_0_1_0_0, 0
0, mac, c2_rlk_0_0_1, coeffs_1_2_0_1, rlk_0_1_0_1, 0
0, mac, c2_rlk_0_1_0, coeffs_1_2_1_0, rlk_0_1_1_0, 1
0, mac, c2_rlk_0_1_1, coeffs_1_2_1_1, rlk_0_1_1_1, 1
0, mac, c2_rlk_1_0_0, coeffs_1_2_0_0, rlk_1_1_0_0, 0
0, mac, c2_rlk_1_0_1, coeffs_1_2_0_1, rlk_1_1_0_1, 0
0, mac, c2_rlk_1_1_0, coeffs_1_2_1_0, rlk_1_1_1_0, 1
0, mac, c2_rlk_1_1_1, coeffs_1_2_1_1, rlk_1_1_1_1, 1
0, mac, c2_rlk_0_2_0, coeffs_1_2_2_0, rlk_0_1_2_0, 2
0, mac, c2_rlk_0_2_1, coeffs_1_2_2_1, rlk_0_1_2_1, 2
0, mac, c2_rlk_1_2_0, coeffs_1_2_2_0, rlk_1_1_2_0, 2
0, mac, c2_rlk_1_2_1, coeffs_1_2_2_1, rlk_1_1_2_1, 2
0, intt, outtmp_0_2_0, outtmp_0_2_1, c2_rlk_0_2_0, c2_rlk_0_2_1, 0, 0, 2
0, intt, y_0_2_0, y_0_2_1, outtmp_0_2_0, outtmp_0_2_1, 1, 0, 2
0, intt, outtmp_0_2_0, outtmp_0_2_1, y_0_2_0, y_0_2_1, 2, 0, 2
Expand Down
Loading