Collect_bootstrapping_failures

Documentation

Overview

Modified from examples/singe_party/applications/reals_bootstrapping_slim/main.go

This example instantiates a custom order of the circuit evaluating:

Step 1) SlotsToCoeffs: Homomorphic Decoding Step 2) ScaleDown: Scale the ciphertext to q0/|m| Step 3) ModUp: Raise modulus from q0 to qL Step 3-1) Sparse Encapsulation -> should print after this Step 3-2) ModUp Step 3-3) Sparse Decapsulation Step 4) CoeffsToSlots: Homomorphic encoding Step 5) EvalMod (and to back to 0): Homomorphic modular reduction

Use the flag -short to run the examples fast but with insecure parameters.