Support bootstrap in Mgmt/CKKS dialect and correctly determine MgmtAttr / RNS level

[ZenithalHourlyRate]

Mainly from #1195, where a low-level openfhe.bootstrap is added but higher level of the compiler is not aware of how to manage it.

• mulDepth is now interwined with bootstrap, hence all the RNS instantiation need to change. and CKKS: place mgmt ops and add RNS lowering #1176 way could not handle this. Should introduce a mgmt.bootstrap op and implement a bootstrap management pass (possibly related to Investigate what parts of DaCapo can be ported to HEIR #289, Investigate if/how to integrate Saturn into HEIR #1166).

  • I think the naive one is to greedily insert it when all level consumed, to get the pipeline running, then we will take time to optimize it instead of starting from complex solutions.

• ckks does not have a bootstrap op for now.

[j2kun]

I think the naive one is to greedily insert it when all level consumed, to get the pipeline running, then we will take time to optimize it instead of starting from complex solutions.

+1, get something working first.

[github-actions]

This issue has 4 outstanding TODOs:

• lib/Analysis/LevelAnalysis/LevelAnalysis.cpp:51: reset level to currentLevel - bootstrapDepth
• lib/Dialect/Openfhe/Transforms/ConfigureCryptoContext.cpp:186: determine mulDepth earlier in mgmt level
• lib/Transforms/SecretInsertMgmt/Passes.td:96: handle it here so parameter selection can depend on it.
• lib/Transforms/SecretInsertMgmt/Passes.td:97: with this info we can encrypt at max level (with bootstrap consumed level).

This comment was autogenerated by todo-backlinks