tfhe 0.7.0 → 0.7.2

package/README.md

@@ -208,7 +208,7 @@ When a new update is published in the Lattice Estimator, we update parameters ac
 
 ### Security model
 
-The default parameters for the TFHE-rs library are chosen considering the IND-CPA security model, and are selected with a bootstrapping failure probability fixed at p_error = $2^{-40}$. In particular, it is assumed that the results of decrypted computations are not shared by the secret key owner with any third parties, as such an action can lead to leakage of the secret encryption key. If you are designing an application where decryptions must be shared, you will need to craft custom encryption parameters which are chosen in consideration of the IND-CPA^D security model [1]. 
+The default parameters for the TFHE-rs library are chosen considering the IND-CPA security model, and are selected with a bootstrapping failure probability fixed at p_error = $2^{-64}$. In particular, it is assumed that the results of decrypted computations are not shared by the secret key owner with any third parties, as such an action can lead to leakage of the secret encryption key. If you are designing an application where decryptions must be shared, you will need to craft custom encryption parameters which are chosen in consideration of the IND-CPA^D security model [1]. 
 
 [1] Li, Baiyu, et al. "Securing approximate homomorphic encryption using differential privacy." Annual International Cryptology Conference. Cham: Springer Nature Switzerland, 2022. https://eprint.iacr.org/2022/816.pdf
 

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "tfhe",
   "description": "TFHE-rs is a fully homomorphic encryption (FHE) library that implements Zama's variant of TFHE.",
-  "version": "0.7.0",
+  "version": "0.7.2",
   "license": "BSD-3-Clause-Clear",
   "repository": {
     "type": "git",

package/tfhe.d.ts

@@ -14,6 +14,12 @@ export function initThreadPool(num_threads: number): Promise<any>;
 export function wbg_rayon_start_worker(receiver: number): void;
 /**
 */
+export enum ShortintEncryptionKeyChoice {
+  Big = 0,
+  Small = 1,
+}
+/**
+*/
 export enum BooleanParameterSet {
   Default = 0,
   TfheLib = 1,
@@ -22,6 +28,11 @@ export enum BooleanParameterSet {
 }
 /**
 */
+export enum ShortintCompactPublicKeyEncryptionParametersName {
+  SHORTINT_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64 = 0,
+}
+/**
+*/
 export enum BooleanEncryptionKeyChoice {
   Big = 0,
   Small = 1,
@@ -150,17 +161,6 @@ export enum ShortintParametersName {
 }
 /**
 */
-export enum ShortintEncryptionKeyChoice {
-  Big = 0,
-  Small = 1,
-}
-/**
-*/
-export enum ShortintCompactPublicKeyEncryptionParametersName {
-  SHORTINT_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64 = 0,
-}
-/**
-*/
 export class Boolean {
   free(): void;
 /**
@@ -3896,6 +3896,7 @@ export interface InitOutput {
   readonly fheint128_safe_serialize: (a: number, b: number, c: number) => void;
   readonly fheint128_safe_deserialize: (a: number, b: number, c: number, d: number) => void;
   readonly compressedfheint128_encrypt_with_client_key: (a: number, b: number, c: number) => void;
+  readonly compressedfheint128_decompress: (a: number, b: number) => void;
   readonly compressedfheint128_serialize: (a: number, b: number) => void;
   readonly compressedfheint128_deserialize: (a: number, b: number, c: number) => void;
   readonly compressedfheint128_safe_serialize: (a: number, b: number, c: number) => void;
@@ -3909,6 +3910,7 @@ export interface InitOutput {
   readonly fheint160_safe_serialize: (a: number, b: number, c: number) => void;
   readonly fheint160_safe_deserialize: (a: number, b: number, c: number, d: number) => void;
   readonly compressedfheint160_encrypt_with_client_key: (a: number, b: number, c: number) => void;
+  readonly compressedfheint160_decompress: (a: number, b: number) => void;
   readonly compressedfheint160_serialize: (a: number, b: number) => void;
   readonly compressedfheint160_deserialize: (a: number, b: number, c: number) => void;
   readonly compressedfheint160_safe_serialize: (a: number, b: number, c: number) => void;
@@ -3921,6 +3923,7 @@ export interface InitOutput {
   readonly fheint256_safe_serialize: (a: number, b: number, c: number) => void;
   readonly fheint256_safe_deserialize: (a: number, b: number, c: number, d: number) => void;
   readonly compressedfheint256_encrypt_with_client_key: (a: number, b: number, c: number) => void;
+  readonly compressedfheint256_decompress: (a: number, b: number) => void;
   readonly compressedfheint256_serialize: (a: number, b: number) => void;
   readonly compressedfheint256_deserialize: (a: number, b: number, c: number) => void;
   readonly compressedfheint256_safe_serialize: (a: number, b: number, c: number) => void;
@@ -4090,6 +4093,7 @@ export interface InitOutput {
   readonly fheint2_safe_serialize: (a: number, b: number, c: number) => void;
   readonly fheint2_safe_deserialize: (a: number, b: number, c: number, d: number) => void;
   readonly compressedfheint2_encrypt_with_client_key: (a: number, b: number, c: number) => void;
+  readonly compressedfheint2_decompress: (a: number, b: number) => void;
   readonly compressedfheint2_serialize: (a: number, b: number) => void;
   readonly compressedfheint2_deserialize: (a: number, b: number, c: number) => void;
   readonly compressedfheint2_safe_serialize: (a: number, b: number, c: number) => void;
@@ -4102,6 +4106,7 @@ export interface InitOutput {
   readonly fheint4_safe_serialize: (a: number, b: number, c: number) => void;
   readonly fheint4_safe_deserialize: (a: number, b: number, c: number, d: number) => void;
   readonly compressedfheint4_encrypt_with_client_key: (a: number, b: number, c: number) => void;
+  readonly compressedfheint4_decompress: (a: number, b: number) => void;
   readonly compressedfheint4_serialize: (a: number, b: number) => void;
   readonly compressedfheint4_deserialize: (a: number, b: number, c: number) => void;
   readonly compressedfheint4_safe_serialize: (a: number, b: number, c: number) => void;
@@ -4114,6 +4119,7 @@ export interface InitOutput {
   readonly fheint6_safe_serialize: (a: number, b: number, c: number) => void;
   readonly fheint6_safe_deserialize: (a: number, b: number, c: number, d: number) => void;
   readonly compressedfheint6_encrypt_with_client_key: (a: number, b: number, c: number) => void;
+  readonly compressedfheint6_decompress: (a: number, b: number) => void;
   readonly compressedfheint6_serialize: (a: number, b: number) => void;
   readonly compressedfheint6_deserialize: (a: number, b: number, c: number) => void;
   readonly compressedfheint6_safe_serialize: (a: number, b: number, c: number) => void;
@@ -4126,6 +4132,7 @@ export interface InitOutput {
   readonly fheint8_safe_serialize: (a: number, b: number, c: number) => void;
   readonly fheint8_safe_deserialize: (a: number, b: number, c: number, d: number) => void;
   readonly compressedfheint8_encrypt_with_client_key: (a: number, b: number, c: number) => void;
+  readonly compressedfheint8_decompress: (a: number, b: number) => void;
   readonly compressedfheint8_serialize: (a: number, b: number) => void;
   readonly compressedfheint8_deserialize: (a: number, b: number, c: number) => void;
   readonly compressedfheint8_safe_serialize: (a: number, b: number, c: number) => void;
@@ -4154,6 +4161,7 @@ export interface InitOutput {
   readonly fheint12_safe_serialize: (a: number, b: number, c: number) => void;
   readonly fheint12_safe_deserialize: (a: number, b: number, c: number, d: number) => void;
   readonly compressedfheint12_encrypt_with_client_key: (a: number, b: number, c: number) => void;
+  readonly compressedfheint12_decompress: (a: number, b: number) => void;
   readonly compressedfheint12_serialize: (a: number, b: number) => void;
   readonly compressedfheint12_deserialize: (a: number, b: number, c: number) => void;
   readonly compressedfheint12_safe_serialize: (a: number, b: number, c: number) => void;
@@ -4166,6 +4174,7 @@ export interface InitOutput {
   readonly fheint14_safe_serialize: (a: number, b: number, c: number) => void;
   readonly fheint14_safe_deserialize: (a: number, b: number, c: number, d: number) => void;
   readonly compressedfheint14_encrypt_with_client_key: (a: number, b: number, c: number) => void;
+  readonly compressedfheint14_decompress: (a: number, b: number) => void;
   readonly compressedfheint14_serialize: (a: number, b: number) => void;
   readonly compressedfheint14_deserialize: (a: number, b: number, c: number) => void;
   readonly compressedfheint14_safe_serialize: (a: number, b: number, c: number) => void;
@@ -4178,6 +4187,7 @@ export interface InitOutput {
   readonly fheint16_safe_serialize: (a: number, b: number, c: number) => void;
   readonly fheint16_safe_deserialize: (a: number, b: number, c: number, d: number) => void;
   readonly compressedfheint16_encrypt_with_client_key: (a: number, b: number, c: number) => void;
+  readonly compressedfheint16_decompress: (a: number, b: number) => void;
   readonly compressedfheint16_serialize: (a: number, b: number) => void;
   readonly compressedfheint16_deserialize: (a: number, b: number, c: number) => void;
   readonly compressedfheint16_safe_serialize: (a: number, b: number, c: number) => void;
@@ -4191,6 +4201,7 @@ export interface InitOutput {
   readonly fheint32_safe_serialize: (a: number, b: number, c: number) => void;
   readonly fheint32_safe_deserialize: (a: number, b: number, c: number, d: number) => void;
   readonly compressedfheint32_encrypt_with_client_key: (a: number, b: number, c: number) => void;
+  readonly compressedfheint32_decompress: (a: number, b: number) => void;
   readonly compressedfheint32_serialize: (a: number, b: number) => void;
   readonly compressedfheint32_deserialize: (a: number, b: number, c: number) => void;
   readonly compressedfheint32_safe_serialize: (a: number, b: number, c: number) => void;
@@ -4204,6 +4215,7 @@ export interface InitOutput {
   readonly fheint64_safe_serialize: (a: number, b: number, c: number) => void;
   readonly fheint64_safe_deserialize: (a: number, b: number, c: number, d: number) => void;
   readonly compressedfheint64_encrypt_with_client_key: (a: number, b: number, c: number) => void;
+  readonly compressedfheint64_decompress: (a: number, b: number) => void;
   readonly compressedfheint64_serialize: (a: number, b: number) => void;
   readonly compressedfheint64_deserialize: (a: number, b: number, c: number) => void;
   readonly compressedfheint64_safe_serialize: (a: number, b: number, c: number) => void;
@@ -4324,11 +4336,11 @@ export interface InitOutput {
   readonly fheint14_decrypt: (a: number, b: number, c: number) => void;
   readonly fheint16_decrypt: (a: number, b: number, c: number) => void;
   readonly shortintparameters_lwe_noise_distribution: (a: number) => number;
-  readonly provencompactciphertextlist_builder: (a: number, b: number) => void;
   readonly tfheconfigbuilder_default_with_big_encryption: () => number;
   readonly __wbg_shortint_free: (a: number) => void;
   readonly __wbg_shortintcompressedciphertext_free: (a: number) => void;
   readonly __wbg_tfheconfigbuilder_free: (a: number) => void;
+  readonly provencompactciphertextlist_builder: (a: number, b: number) => void;
   readonly fheuint256_decrypt: (a: number, b: number, c: number) => void;
   readonly __wbg_fheuint160_free: (a: number) => void;
   readonly __wbg_fheuint256_free: (a: number) => void;
@@ -4386,18 +4398,6 @@ export interface InitOutput {
   readonly __wbg_compressedfheint16_free: (a: number) => void;
   readonly __wbg_compressedfheint32_free: (a: number) => void;
   readonly __wbg_compressedfheint64_free: (a: number) => void;
-  readonly compressedfheint4_decompress: (a: number, b: number) => void;
-  readonly compressedfheint160_decompress: (a: number, b: number) => void;
-  readonly compressedfheint12_decompress: (a: number, b: number) => void;
-  readonly compressedfheint16_decompress: (a: number, b: number) => void;
-  readonly compressedfheint128_decompress: (a: number, b: number) => void;
-  readonly compressedfheint32_decompress: (a: number, b: number) => void;
-  readonly compressedfheint2_decompress: (a: number, b: number) => void;
-  readonly compressedfheint64_decompress: (a: number, b: number) => void;
-  readonly compressedfheint6_decompress: (a: number, b: number) => void;
-  readonly compressedfheint14_decompress: (a: number, b: number) => void;
-  readonly compressedfheint8_decompress: (a: number, b: number) => void;
-  readonly compressedfheint256_decompress: (a: number, b: number) => void;
   readonly __wbg_wbg_rayon_poolbuilder_free: (a: number) => void;
   readonly wbg_rayon_poolbuilder_numThreads: (a: number) => number;
   readonly wbg_rayon_poolbuilder_receiver: (a: number) => number;

package/tfhe.js

@@ -237,22 +237,22 @@ export function wbg_rayon_start_worker(receiver) {
 
 /**
 */
-export const BooleanParameterSet = Object.freeze({ Default:0,"0":"Default",TfheLib:1,"1":"TfheLib",DefaultKsPbs:2,"2":"DefaultKsPbs",TfheLibKsPbs:3,"3":"TfheLibKsPbs", });
+export const ShortintEncryptionKeyChoice = Object.freeze({ Big:0,"0":"Big",Small:1,"1":"Small", });
 /**
 */
-export const BooleanEncryptionKeyChoice = Object.freeze({ Big:0,"0":"Big",Small:1,"1":"Small", });
+export const BooleanParameterSet = Object.freeze({ Default:0,"0":"Default",TfheLib:1,"1":"TfheLib",DefaultKsPbs:2,"2":"DefaultKsPbs",TfheLibKsPbs:3,"3":"TfheLibKsPbs", });
 /**
 */
-export const ZkComputeLoad = Object.freeze({ Proof:0,"0":"Proof",Verify:1,"1":"Verify", });
+export const ShortintCompactPublicKeyEncryptionParametersName = Object.freeze({ SHORTINT_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64:0,"0":"SHORTINT_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64", });
 /**
 */
-export const ShortintParametersName = Object.freeze({ PARAM_MESSAGE_1_CARRY_0_KS_PBS:0,"0":"PARAM_MESSAGE_1_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_1_KS_PBS:1,"1":"PARAM_MESSAGE_1_CARRY_1_KS_PBS",PARAM_MESSAGE_2_CARRY_0_KS_PBS:2,"2":"PARAM_MESSAGE_2_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_2_KS_PBS:3,"3":"PARAM_MESSAGE_1_CARRY_2_KS_PBS",PARAM_MESSAGE_2_CARRY_1_KS_PBS:4,"4":"PARAM_MESSAGE_2_CARRY_1_KS_PBS",PARAM_MESSAGE_3_CARRY_0_KS_PBS:5,"5":"PARAM_MESSAGE_3_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_3_KS_PBS:6,"6":"PARAM_MESSAGE_1_CARRY_3_KS_PBS",PARAM_MESSAGE_2_CARRY_2_KS_PBS:7,"7":"PARAM_MESSAGE_2_CARRY_2_KS_PBS",PARAM_MESSAGE_3_CARRY_1_KS_PBS:8,"8":"PARAM_MESSAGE_3_CARRY_1_KS_PBS",PARAM_MESSAGE_4_CARRY_0_KS_PBS:9,"9":"PARAM_MESSAGE_4_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_4_KS_PBS:10,"10":"PARAM_MESSAGE_1_CARRY_4_KS_PBS",PARAM_MESSAGE_2_CARRY_3_KS_PBS:11,"11":"PARAM_MESSAGE_2_CARRY_3_KS_PBS",PARAM_MESSAGE_3_CARRY_2_KS_PBS:12,"12":"PARAM_MESSAGE_3_CARRY_2_KS_PBS",PARAM_MESSAGE_4_CARRY_1_KS_PBS:13,"13":"PARAM_MESSAGE_4_CARRY_1_KS_PBS",PARAM_MESSAGE_5_CARRY_0_KS_PBS:14,"14":"PARAM_MESSAGE_5_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_5_KS_PBS:15,"15":"PARAM_MESSAGE_1_CARRY_5_KS_PBS",PARAM_MESSAGE_2_CARRY_4_KS_PBS:16,"16":"PARAM_MESSAGE_2_CARRY_4_KS_PBS",PARAM_MESSAGE_3_CARRY_3_KS_PBS:17,"17":"PARAM_MESSAGE_3_CARRY_3_KS_PBS",PARAM_MESSAGE_4_CARRY_2_KS_PBS:18,"18":"PARAM_MESSAGE_4_CARRY_2_KS_PBS",PARAM_MESSAGE_5_CARRY_1_KS_PBS:19,"19":"PARAM_MESSAGE_5_CARRY_1_KS_PBS",PARAM_MESSAGE_6_CARRY_0_KS_PBS:20,"20":"PARAM_MESSAGE_6_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_6_KS_PBS:21,"21":"PARAM_MESSAGE_1_CARRY_6_KS_PBS",PARAM_MESSAGE_2_CARRY_5_KS_PBS:22,"22":"PARAM_MESSAGE_2_CARRY_5_KS_PBS",PARAM_MESSAGE_3_CARRY_4_KS_PBS:23,"23":"PARAM_MESSAGE_3_CARRY_4_KS_PBS",PARAM_MESSAGE_4_CARRY_3_KS_PBS:24,"24":"PARAM_MESSAGE_4_CARRY_3_KS_PBS",PARAM_MESSAGE_5_CARRY_2_KS_PBS:25,"25":"PARAM_MESSAGE_5_CARRY_2_KS_PBS",PARAM_MESSAGE_6_CARRY_1_KS_PBS:26,"26":"PARAM_MESSAGE_6_CARRY_1_KS_PBS",PARAM_MESSAGE_7_CARRY_0_KS_PBS:27,"27":"PARAM_MESSAGE_7_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_7_KS_PBS:28,"28":"PARAM_MESSAGE_1_CARRY_7_KS_PBS",PARAM_MESSAGE_2_CARRY_6_KS_PBS:29,"29":"PARAM_MESSAGE_2_CARRY_6_KS_PBS",PARAM_MESSAGE_3_CARRY_5_KS_PBS:30,"30":"PARAM_MESSAGE_3_CARRY_5_KS_PBS",PARAM_MESSAGE_4_CARRY_4_KS_PBS:31,"31":"PARAM_MESSAGE_4_CARRY_4_KS_PBS",PARAM_MESSAGE_5_CARRY_3_KS_PBS:32,"32":"PARAM_MESSAGE_5_CARRY_3_KS_PBS",PARAM_MESSAGE_6_CARRY_2_KS_PBS:33,"33":"PARAM_MESSAGE_6_CARRY_2_KS_PBS",PARAM_MESSAGE_7_CARRY_1_KS_PBS:34,"34":"PARAM_MESSAGE_7_CARRY_1_KS_PBS",PARAM_MESSAGE_8_CARRY_0_KS_PBS:35,"35":"PARAM_MESSAGE_8_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_1_PBS_KS:36,"36":"PARAM_MESSAGE_1_CARRY_1_PBS_KS",PARAM_MESSAGE_2_CARRY_2_PBS_KS:37,"37":"PARAM_MESSAGE_2_CARRY_2_PBS_KS",PARAM_MESSAGE_3_CARRY_3_PBS_KS:38,"38":"PARAM_MESSAGE_3_CARRY_3_PBS_KS",PARAM_MESSAGE_4_CARRY_4_PBS_KS:39,"39":"PARAM_MESSAGE_4_CARRY_4_PBS_KS",PARAM_MESSAGE_1_CARRY_2_COMPACT_PK_KS_PBS:40,"40":"PARAM_MESSAGE_1_CARRY_2_COMPACT_PK_KS_PBS",PARAM_MESSAGE_1_CARRY_3_COMPACT_PK_KS_PBS:41,"41":"PARAM_MESSAGE_1_CARRY_3_COMPACT_PK_KS_PBS",PARAM_MESSAGE_1_CARRY_4_COMPACT_PK_KS_PBS:42,"42":"PARAM_MESSAGE_1_CARRY_4_COMPACT_PK_KS_PBS",PARAM_MESSAGE_1_CARRY_5_COMPACT_PK_KS_PBS:43,"43":"PARAM_MESSAGE_1_CARRY_5_COMPACT_PK_KS_PBS",PARAM_MESSAGE_1_CARRY_6_COMPACT_PK_KS_PBS:44,"44":"PARAM_MESSAGE_1_CARRY_6_COMPACT_PK_KS_PBS",PARAM_MESSAGE_1_CARRY_7_COMPACT_PK_KS_PBS:45,"45":"PARAM_MESSAGE_1_CARRY_7_COMPACT_PK_KS_PBS",PARAM_MESSAGE_2_CARRY_1_COMPACT_PK_KS_PBS:46,"46":"PARAM_MESSAGE_2_CARRY_1_COMPACT_PK_KS_PBS",PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS:47,"47":"PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS",PARAM_MESSAGE_2_CARRY_3_COMPACT_PK_KS_PBS:48,"48":"PARAM_MESSAGE_2_CARRY_3_COMPACT_PK_KS_PBS",PARAM_MESSAGE_2_CARRY_4_COMPACT_PK_KS_PBS:49,"49":"PARAM_MESSAGE_2_CARRY_4_COMPACT_PK_KS_PBS",PARAM_MESSAGE_2_CARRY_5_COMPACT_PK_KS_PBS:50,"50":"PARAM_MESSAGE_2_CARRY_5_COMPACT_PK_KS_PBS",PARAM_MESSAGE_2_CARRY_6_COMPACT_PK_KS_PBS:51,"51":"PARAM_MESSAGE_2_CARRY_6_COMPACT_PK_KS_PBS",PARAM_MESSAGE_3_CARRY_1_COMPACT_PK_KS_PBS:52,"52":"PARAM_MESSAGE_3_CARRY_1_COMPACT_PK_KS_PBS",PARAM_MESSAGE_3_CARRY_2_COMPACT_PK_KS_PBS:53,"53":"PARAM_MESSAGE_3_CARRY_2_COMPACT_PK_KS_PBS",PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_KS_PBS:54,"54":"PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_KS_PBS",PARAM_MESSAGE_3_CARRY_4_COMPACT_PK_KS_PBS:55,"55":"PARAM_MESSAGE_3_CARRY_4_COMPACT_PK_KS_PBS",PARAM_MESSAGE_3_CARRY_5_COMPACT_PK_KS_PBS:56,"56":"PARAM_MESSAGE_3_CARRY_5_COMPACT_PK_KS_PBS",PARAM_MESSAGE_4_CARRY_1_COMPACT_PK_KS_PBS:57,"57":"PARAM_MESSAGE_4_CARRY_1_COMPACT_PK_KS_PBS",PARAM_MESSAGE_4_CARRY_2_COMPACT_PK_KS_PBS:58,"58":"PARAM_MESSAGE_4_CARRY_2_COMPACT_PK_KS_PBS",PARAM_MESSAGE_4_CARRY_3_COMPACT_PK_KS_PBS:59,"59":"PARAM_MESSAGE_4_CARRY_3_COMPACT_PK_KS_PBS",PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_KS_PBS:60,"60":"PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_KS_PBS",PARAM_MESSAGE_5_CARRY_1_COMPACT_PK_KS_PBS:61,"61":"PARAM_MESSAGE_5_CARRY_1_COMPACT_PK_KS_PBS",PARAM_MESSAGE_5_CARRY_2_COMPACT_PK_KS_PBS:62,"62":"PARAM_MESSAGE_5_CARRY_2_COMPACT_PK_KS_PBS",PARAM_MESSAGE_5_CARRY_3_COMPACT_PK_KS_PBS:63,"63":"PARAM_MESSAGE_5_CARRY_3_COMPACT_PK_KS_PBS",PARAM_MESSAGE_6_CARRY_1_COMPACT_PK_KS_PBS:64,"64":"PARAM_MESSAGE_6_CARRY_1_COMPACT_PK_KS_PBS",PARAM_MESSAGE_6_CARRY_2_COMPACT_PK_KS_PBS:65,"65":"PARAM_MESSAGE_6_CARRY_2_COMPACT_PK_KS_PBS",PARAM_MESSAGE_7_CARRY_1_COMPACT_PK_KS_PBS:66,"66":"PARAM_MESSAGE_7_CARRY_1_COMPACT_PK_KS_PBS",PARAM_MESSAGE_1_CARRY_1_COMPACT_PK_PBS_KS:67,"67":"PARAM_MESSAGE_1_CARRY_1_COMPACT_PK_PBS_KS",PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_PBS_KS:68,"68":"PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_PBS_KS",PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_PBS_KS:69,"69":"PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_PBS_KS",PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_PBS_KS:70,"70":"PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_PBS_KS",PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64:71,"71":"PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64",PARAM_MESSAGE_1_CARRY_0:72,"72":"PARAM_MESSAGE_1_CARRY_0",PARAM_MESSAGE_1_CARRY_1:73,"73":"PARAM_MESSAGE_1_CARRY_1",PARAM_MESSAGE_2_CARRY_0:74,"74":"PARAM_MESSAGE_2_CARRY_0",PARAM_MESSAGE_1_CARRY_2:75,"75":"PARAM_MESSAGE_1_CARRY_2",PARAM_MESSAGE_2_CARRY_1:76,"76":"PARAM_MESSAGE_2_CARRY_1",PARAM_MESSAGE_3_CARRY_0:77,"77":"PARAM_MESSAGE_3_CARRY_0",PARAM_MESSAGE_1_CARRY_3:78,"78":"PARAM_MESSAGE_1_CARRY_3",PARAM_MESSAGE_2_CARRY_2:79,"79":"PARAM_MESSAGE_2_CARRY_2",PARAM_MESSAGE_3_CARRY_1:80,"80":"PARAM_MESSAGE_3_CARRY_1",PARAM_MESSAGE_4_CARRY_0:81,"81":"PARAM_MESSAGE_4_CARRY_0",PARAM_MESSAGE_1_CARRY_4:82,"82":"PARAM_MESSAGE_1_CARRY_4",PARAM_MESSAGE_2_CARRY_3:83,"83":"PARAM_MESSAGE_2_CARRY_3",PARAM_MESSAGE_3_CARRY_2:84,"84":"PARAM_MESSAGE_3_CARRY_2",PARAM_MESSAGE_4_CARRY_1:85,"85":"PARAM_MESSAGE_4_CARRY_1",PARAM_MESSAGE_5_CARRY_0:86,"86":"PARAM_MESSAGE_5_CARRY_0",PARAM_MESSAGE_1_CARRY_5:87,"87":"PARAM_MESSAGE_1_CARRY_5",PARAM_MESSAGE_2_CARRY_4:88,"88":"PARAM_MESSAGE_2_CARRY_4",PARAM_MESSAGE_3_CARRY_3:89,"89":"PARAM_MESSAGE_3_CARRY_3",PARAM_MESSAGE_4_CARRY_2:90,"90":"PARAM_MESSAGE_4_CARRY_2",PARAM_MESSAGE_5_CARRY_1:91,"91":"PARAM_MESSAGE_5_CARRY_1",PARAM_MESSAGE_6_CARRY_0:92,"92":"PARAM_MESSAGE_6_CARRY_0",PARAM_MESSAGE_1_CARRY_6:93,"93":"PARAM_MESSAGE_1_CARRY_6",PARAM_MESSAGE_2_CARRY_5:94,"94":"PARAM_MESSAGE_2_CARRY_5",PARAM_MESSAGE_3_CARRY_4:95,"95":"PARAM_MESSAGE_3_CARRY_4",PARAM_MESSAGE_4_CARRY_3:96,"96":"PARAM_MESSAGE_4_CARRY_3",PARAM_MESSAGE_5_CARRY_2:97,"97":"PARAM_MESSAGE_5_CARRY_2",PARAM_MESSAGE_6_CARRY_1:98,"98":"PARAM_MESSAGE_6_CARRY_1",PARAM_MESSAGE_7_CARRY_0:99,"99":"PARAM_MESSAGE_7_CARRY_0",PARAM_MESSAGE_1_CARRY_7:100,"100":"PARAM_MESSAGE_1_CARRY_7",PARAM_MESSAGE_2_CARRY_6:101,"101":"PARAM_MESSAGE_2_CARRY_6",PARAM_MESSAGE_3_CARRY_5:102,"102":"PARAM_MESSAGE_3_CARRY_5",PARAM_MESSAGE_4_CARRY_4:103,"103":"PARAM_MESSAGE_4_CARRY_4",PARAM_MESSAGE_5_CARRY_3:104,"104":"PARAM_MESSAGE_5_CARRY_3",PARAM_MESSAGE_6_CARRY_2:105,"105":"PARAM_MESSAGE_6_CARRY_2",PARAM_MESSAGE_7_CARRY_1:106,"106":"PARAM_MESSAGE_7_CARRY_1",PARAM_MESSAGE_8_CARRY_0:107,"107":"PARAM_MESSAGE_8_CARRY_0",PARAM_SMALL_MESSAGE_1_CARRY_1:108,"108":"PARAM_SMALL_MESSAGE_1_CARRY_1",PARAM_SMALL_MESSAGE_2_CARRY_2:109,"109":"PARAM_SMALL_MESSAGE_2_CARRY_2",PARAM_SMALL_MESSAGE_3_CARRY_3:110,"110":"PARAM_SMALL_MESSAGE_3_CARRY_3",PARAM_SMALL_MESSAGE_4_CARRY_4:111,"111":"PARAM_SMALL_MESSAGE_4_CARRY_4", });
+export const BooleanEncryptionKeyChoice = Object.freeze({ Big:0,"0":"Big",Small:1,"1":"Small", });
 /**
 */
-export const ShortintEncryptionKeyChoice = Object.freeze({ Big:0,"0":"Big",Small:1,"1":"Small", });
+export const ZkComputeLoad = Object.freeze({ Proof:0,"0":"Proof",Verify:1,"1":"Verify", });
 /**
 */
-export const ShortintCompactPublicKeyEncryptionParametersName = Object.freeze({ SHORTINT_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64:0,"0":"SHORTINT_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64", });
+export const ShortintParametersName = Object.freeze({ PARAM_MESSAGE_1_CARRY_0_KS_PBS:0,"0":"PARAM_MESSAGE_1_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_1_KS_PBS:1,"1":"PARAM_MESSAGE_1_CARRY_1_KS_PBS",PARAM_MESSAGE_2_CARRY_0_KS_PBS:2,"2":"PARAM_MESSAGE_2_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_2_KS_PBS:3,"3":"PARAM_MESSAGE_1_CARRY_2_KS_PBS",PARAM_MESSAGE_2_CARRY_1_KS_PBS:4,"4":"PARAM_MESSAGE_2_CARRY_1_KS_PBS",PARAM_MESSAGE_3_CARRY_0_KS_PBS:5,"5":"PARAM_MESSAGE_3_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_3_KS_PBS:6,"6":"PARAM_MESSAGE_1_CARRY_3_KS_PBS",PARAM_MESSAGE_2_CARRY_2_KS_PBS:7,"7":"PARAM_MESSAGE_2_CARRY_2_KS_PBS",PARAM_MESSAGE_3_CARRY_1_KS_PBS:8,"8":"PARAM_MESSAGE_3_CARRY_1_KS_PBS",PARAM_MESSAGE_4_CARRY_0_KS_PBS:9,"9":"PARAM_MESSAGE_4_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_4_KS_PBS:10,"10":"PARAM_MESSAGE_1_CARRY_4_KS_PBS",PARAM_MESSAGE_2_CARRY_3_KS_PBS:11,"11":"PARAM_MESSAGE_2_CARRY_3_KS_PBS",PARAM_MESSAGE_3_CARRY_2_KS_PBS:12,"12":"PARAM_MESSAGE_3_CARRY_2_KS_PBS",PARAM_MESSAGE_4_CARRY_1_KS_PBS:13,"13":"PARAM_MESSAGE_4_CARRY_1_KS_PBS",PARAM_MESSAGE_5_CARRY_0_KS_PBS:14,"14":"PARAM_MESSAGE_5_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_5_KS_PBS:15,"15":"PARAM_MESSAGE_1_CARRY_5_KS_PBS",PARAM_MESSAGE_2_CARRY_4_KS_PBS:16,"16":"PARAM_MESSAGE_2_CARRY_4_KS_PBS",PARAM_MESSAGE_3_CARRY_3_KS_PBS:17,"17":"PARAM_MESSAGE_3_CARRY_3_KS_PBS",PARAM_MESSAGE_4_CARRY_2_KS_PBS:18,"18":"PARAM_MESSAGE_4_CARRY_2_KS_PBS",PARAM_MESSAGE_5_CARRY_1_KS_PBS:19,"19":"PARAM_MESSAGE_5_CARRY_1_KS_PBS",PARAM_MESSAGE_6_CARRY_0_KS_PBS:20,"20":"PARAM_MESSAGE_6_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_6_KS_PBS:21,"21":"PARAM_MESSAGE_1_CARRY_6_KS_PBS",PARAM_MESSAGE_2_CARRY_5_KS_PBS:22,"22":"PARAM_MESSAGE_2_CARRY_5_KS_PBS",PARAM_MESSAGE_3_CARRY_4_KS_PBS:23,"23":"PARAM_MESSAGE_3_CARRY_4_KS_PBS",PARAM_MESSAGE_4_CARRY_3_KS_PBS:24,"24":"PARAM_MESSAGE_4_CARRY_3_KS_PBS",PARAM_MESSAGE_5_CARRY_2_KS_PBS:25,"25":"PARAM_MESSAGE_5_CARRY_2_KS_PBS",PARAM_MESSAGE_6_CARRY_1_KS_PBS:26,"26":"PARAM_MESSAGE_6_CARRY_1_KS_PBS",PARAM_MESSAGE_7_CARRY_0_KS_PBS:27,"27":"PARAM_MESSAGE_7_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_7_KS_PBS:28,"28":"PARAM_MESSAGE_1_CARRY_7_KS_PBS",PARAM_MESSAGE_2_CARRY_6_KS_PBS:29,"29":"PARAM_MESSAGE_2_CARRY_6_KS_PBS",PARAM_MESSAGE_3_CARRY_5_KS_PBS:30,"30":"PARAM_MESSAGE_3_CARRY_5_KS_PBS",PARAM_MESSAGE_4_CARRY_4_KS_PBS:31,"31":"PARAM_MESSAGE_4_CARRY_4_KS_PBS",PARAM_MESSAGE_5_CARRY_3_KS_PBS:32,"32":"PARAM_MESSAGE_5_CARRY_3_KS_PBS",PARAM_MESSAGE_6_CARRY_2_KS_PBS:33,"33":"PARAM_MESSAGE_6_CARRY_2_KS_PBS",PARAM_MESSAGE_7_CARRY_1_KS_PBS:34,"34":"PARAM_MESSAGE_7_CARRY_1_KS_PBS",PARAM_MESSAGE_8_CARRY_0_KS_PBS:35,"35":"PARAM_MESSAGE_8_CARRY_0_KS_PBS",PARAM_MESSAGE_1_CARRY_1_PBS_KS:36,"36":"PARAM_MESSAGE_1_CARRY_1_PBS_KS",PARAM_MESSAGE_2_CARRY_2_PBS_KS:37,"37":"PARAM_MESSAGE_2_CARRY_2_PBS_KS",PARAM_MESSAGE_3_CARRY_3_PBS_KS:38,"38":"PARAM_MESSAGE_3_CARRY_3_PBS_KS",PARAM_MESSAGE_4_CARRY_4_PBS_KS:39,"39":"PARAM_MESSAGE_4_CARRY_4_PBS_KS",PARAM_MESSAGE_1_CARRY_2_COMPACT_PK_KS_PBS:40,"40":"PARAM_MESSAGE_1_CARRY_2_COMPACT_PK_KS_PBS",PARAM_MESSAGE_1_CARRY_3_COMPACT_PK_KS_PBS:41,"41":"PARAM_MESSAGE_1_CARRY_3_COMPACT_PK_KS_PBS",PARAM_MESSAGE_1_CARRY_4_COMPACT_PK_KS_PBS:42,"42":"PARAM_MESSAGE_1_CARRY_4_COMPACT_PK_KS_PBS",PARAM_MESSAGE_1_CARRY_5_COMPACT_PK_KS_PBS:43,"43":"PARAM_MESSAGE_1_CARRY_5_COMPACT_PK_KS_PBS",PARAM_MESSAGE_1_CARRY_6_COMPACT_PK_KS_PBS:44,"44":"PARAM_MESSAGE_1_CARRY_6_COMPACT_PK_KS_PBS",PARAM_MESSAGE_1_CARRY_7_COMPACT_PK_KS_PBS:45,"45":"PARAM_MESSAGE_1_CARRY_7_COMPACT_PK_KS_PBS",PARAM_MESSAGE_2_CARRY_1_COMPACT_PK_KS_PBS:46,"46":"PARAM_MESSAGE_2_CARRY_1_COMPACT_PK_KS_PBS",PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS:47,"47":"PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS",PARAM_MESSAGE_2_CARRY_3_COMPACT_PK_KS_PBS:48,"48":"PARAM_MESSAGE_2_CARRY_3_COMPACT_PK_KS_PBS",PARAM_MESSAGE_2_CARRY_4_COMPACT_PK_KS_PBS:49,"49":"PARAM_MESSAGE_2_CARRY_4_COMPACT_PK_KS_PBS",PARAM_MESSAGE_2_CARRY_5_COMPACT_PK_KS_PBS:50,"50":"PARAM_MESSAGE_2_CARRY_5_COMPACT_PK_KS_PBS",PARAM_MESSAGE_2_CARRY_6_COMPACT_PK_KS_PBS:51,"51":"PARAM_MESSAGE_2_CARRY_6_COMPACT_PK_KS_PBS",PARAM_MESSAGE_3_CARRY_1_COMPACT_PK_KS_PBS:52,"52":"PARAM_MESSAGE_3_CARRY_1_COMPACT_PK_KS_PBS",PARAM_MESSAGE_3_CARRY_2_COMPACT_PK_KS_PBS:53,"53":"PARAM_MESSAGE_3_CARRY_2_COMPACT_PK_KS_PBS",PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_KS_PBS:54,"54":"PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_KS_PBS",PARAM_MESSAGE_3_CARRY_4_COMPACT_PK_KS_PBS:55,"55":"PARAM_MESSAGE_3_CARRY_4_COMPACT_PK_KS_PBS",PARAM_MESSAGE_3_CARRY_5_COMPACT_PK_KS_PBS:56,"56":"PARAM_MESSAGE_3_CARRY_5_COMPACT_PK_KS_PBS",PARAM_MESSAGE_4_CARRY_1_COMPACT_PK_KS_PBS:57,"57":"PARAM_MESSAGE_4_CARRY_1_COMPACT_PK_KS_PBS",PARAM_MESSAGE_4_CARRY_2_COMPACT_PK_KS_PBS:58,"58":"PARAM_MESSAGE_4_CARRY_2_COMPACT_PK_KS_PBS",PARAM_MESSAGE_4_CARRY_3_COMPACT_PK_KS_PBS:59,"59":"PARAM_MESSAGE_4_CARRY_3_COMPACT_PK_KS_PBS",PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_KS_PBS:60,"60":"PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_KS_PBS",PARAM_MESSAGE_5_CARRY_1_COMPACT_PK_KS_PBS:61,"61":"PARAM_MESSAGE_5_CARRY_1_COMPACT_PK_KS_PBS",PARAM_MESSAGE_5_CARRY_2_COMPACT_PK_KS_PBS:62,"62":"PARAM_MESSAGE_5_CARRY_2_COMPACT_PK_KS_PBS",PARAM_MESSAGE_5_CARRY_3_COMPACT_PK_KS_PBS:63,"63":"PARAM_MESSAGE_5_CARRY_3_COMPACT_PK_KS_PBS",PARAM_MESSAGE_6_CARRY_1_COMPACT_PK_KS_PBS:64,"64":"PARAM_MESSAGE_6_CARRY_1_COMPACT_PK_KS_PBS",PARAM_MESSAGE_6_CARRY_2_COMPACT_PK_KS_PBS:65,"65":"PARAM_MESSAGE_6_CARRY_2_COMPACT_PK_KS_PBS",PARAM_MESSAGE_7_CARRY_1_COMPACT_PK_KS_PBS:66,"66":"PARAM_MESSAGE_7_CARRY_1_COMPACT_PK_KS_PBS",PARAM_MESSAGE_1_CARRY_1_COMPACT_PK_PBS_KS:67,"67":"PARAM_MESSAGE_1_CARRY_1_COMPACT_PK_PBS_KS",PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_PBS_KS:68,"68":"PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_PBS_KS",PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_PBS_KS:69,"69":"PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_PBS_KS",PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_PBS_KS:70,"70":"PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_PBS_KS",PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64:71,"71":"PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64",PARAM_MESSAGE_1_CARRY_0:72,"72":"PARAM_MESSAGE_1_CARRY_0",PARAM_MESSAGE_1_CARRY_1:73,"73":"PARAM_MESSAGE_1_CARRY_1",PARAM_MESSAGE_2_CARRY_0:74,"74":"PARAM_MESSAGE_2_CARRY_0",PARAM_MESSAGE_1_CARRY_2:75,"75":"PARAM_MESSAGE_1_CARRY_2",PARAM_MESSAGE_2_CARRY_1:76,"76":"PARAM_MESSAGE_2_CARRY_1",PARAM_MESSAGE_3_CARRY_0:77,"77":"PARAM_MESSAGE_3_CARRY_0",PARAM_MESSAGE_1_CARRY_3:78,"78":"PARAM_MESSAGE_1_CARRY_3",PARAM_MESSAGE_2_CARRY_2:79,"79":"PARAM_MESSAGE_2_CARRY_2",PARAM_MESSAGE_3_CARRY_1:80,"80":"PARAM_MESSAGE_3_CARRY_1",PARAM_MESSAGE_4_CARRY_0:81,"81":"PARAM_MESSAGE_4_CARRY_0",PARAM_MESSAGE_1_CARRY_4:82,"82":"PARAM_MESSAGE_1_CARRY_4",PARAM_MESSAGE_2_CARRY_3:83,"83":"PARAM_MESSAGE_2_CARRY_3",PARAM_MESSAGE_3_CARRY_2:84,"84":"PARAM_MESSAGE_3_CARRY_2",PARAM_MESSAGE_4_CARRY_1:85,"85":"PARAM_MESSAGE_4_CARRY_1",PARAM_MESSAGE_5_CARRY_0:86,"86":"PARAM_MESSAGE_5_CARRY_0",PARAM_MESSAGE_1_CARRY_5:87,"87":"PARAM_MESSAGE_1_CARRY_5",PARAM_MESSAGE_2_CARRY_4:88,"88":"PARAM_MESSAGE_2_CARRY_4",PARAM_MESSAGE_3_CARRY_3:89,"89":"PARAM_MESSAGE_3_CARRY_3",PARAM_MESSAGE_4_CARRY_2:90,"90":"PARAM_MESSAGE_4_CARRY_2",PARAM_MESSAGE_5_CARRY_1:91,"91":"PARAM_MESSAGE_5_CARRY_1",PARAM_MESSAGE_6_CARRY_0:92,"92":"PARAM_MESSAGE_6_CARRY_0",PARAM_MESSAGE_1_CARRY_6:93,"93":"PARAM_MESSAGE_1_CARRY_6",PARAM_MESSAGE_2_CARRY_5:94,"94":"PARAM_MESSAGE_2_CARRY_5",PARAM_MESSAGE_3_CARRY_4:95,"95":"PARAM_MESSAGE_3_CARRY_4",PARAM_MESSAGE_4_CARRY_3:96,"96":"PARAM_MESSAGE_4_CARRY_3",PARAM_MESSAGE_5_CARRY_2:97,"97":"PARAM_MESSAGE_5_CARRY_2",PARAM_MESSAGE_6_CARRY_1:98,"98":"PARAM_MESSAGE_6_CARRY_1",PARAM_MESSAGE_7_CARRY_0:99,"99":"PARAM_MESSAGE_7_CARRY_0",PARAM_MESSAGE_1_CARRY_7:100,"100":"PARAM_MESSAGE_1_CARRY_7",PARAM_MESSAGE_2_CARRY_6:101,"101":"PARAM_MESSAGE_2_CARRY_6",PARAM_MESSAGE_3_CARRY_5:102,"102":"PARAM_MESSAGE_3_CARRY_5",PARAM_MESSAGE_4_CARRY_4:103,"103":"PARAM_MESSAGE_4_CARRY_4",PARAM_MESSAGE_5_CARRY_3:104,"104":"PARAM_MESSAGE_5_CARRY_3",PARAM_MESSAGE_6_CARRY_2:105,"105":"PARAM_MESSAGE_6_CARRY_2",PARAM_MESSAGE_7_CARRY_1:106,"106":"PARAM_MESSAGE_7_CARRY_1",PARAM_MESSAGE_8_CARRY_0:107,"107":"PARAM_MESSAGE_8_CARRY_0",PARAM_SMALL_MESSAGE_1_CARRY_1:108,"108":"PARAM_SMALL_MESSAGE_1_CARRY_1",PARAM_SMALL_MESSAGE_2_CARRY_2:109,"109":"PARAM_SMALL_MESSAGE_2_CARRY_2",PARAM_SMALL_MESSAGE_3_CARRY_3:110,"110":"PARAM_SMALL_MESSAGE_3_CARRY_3",PARAM_SMALL_MESSAGE_4_CARRY_4:111,"111":"PARAM_SMALL_MESSAGE_4_CARRY_4", });
 
 const BooleanFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
@@ -2571,7 +2571,7 @@ export class CompressedFheInt12 {
     decompress() {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.compressedfheint10_decompress(retptr, this.__wbg_ptr);
+            wasm.compressedfheint12_decompress(retptr, this.__wbg_ptr);
             var r0 = getInt32Memory0()[retptr / 4 + 0];
             var r1 = getInt32Memory0()[retptr / 4 + 1];
             var r2 = getInt32Memory0()[retptr / 4 + 2];
@@ -2724,7 +2724,7 @@ export class CompressedFheInt128 {
     decompress() {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.compressedfheint10_decompress(retptr, this.__wbg_ptr);
+            wasm.compressedfheint128_decompress(retptr, this.__wbg_ptr);
             var r0 = getInt32Memory0()[retptr / 4 + 0];
             var r1 = getInt32Memory0()[retptr / 4 + 1];
             var r2 = getInt32Memory0()[retptr / 4 + 2];
@@ -2877,7 +2877,7 @@ export class CompressedFheInt14 {
     decompress() {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.compressedfheint10_decompress(retptr, this.__wbg_ptr);
+            wasm.compressedfheint14_decompress(retptr, this.__wbg_ptr);
             var r0 = getInt32Memory0()[retptr / 4 + 0];
             var r1 = getInt32Memory0()[retptr / 4 + 1];
             var r2 = getInt32Memory0()[retptr / 4 + 2];
@@ -3030,7 +3030,7 @@ export class CompressedFheInt16 {
     decompress() {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.compressedfheint10_decompress(retptr, this.__wbg_ptr);
+            wasm.compressedfheint16_decompress(retptr, this.__wbg_ptr);
             var r0 = getInt32Memory0()[retptr / 4 + 0];
             var r1 = getInt32Memory0()[retptr / 4 + 1];
             var r2 = getInt32Memory0()[retptr / 4 + 2];
@@ -3183,7 +3183,7 @@ export class CompressedFheInt160 {
     decompress() {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.compressedfheint10_decompress(retptr, this.__wbg_ptr);
+            wasm.compressedfheint160_decompress(retptr, this.__wbg_ptr);
             var r0 = getInt32Memory0()[retptr / 4 + 0];
             var r1 = getInt32Memory0()[retptr / 4 + 1];
             var r2 = getInt32Memory0()[retptr / 4 + 2];
@@ -3336,7 +3336,7 @@ export class CompressedFheInt2 {
     decompress() {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.compressedfheint10_decompress(retptr, this.__wbg_ptr);
+            wasm.compressedfheint2_decompress(retptr, this.__wbg_ptr);
             var r0 = getInt32Memory0()[retptr / 4 + 0];
             var r1 = getInt32Memory0()[retptr / 4 + 1];
             var r2 = getInt32Memory0()[retptr / 4 + 2];
@@ -3489,7 +3489,7 @@ export class CompressedFheInt256 {
     decompress() {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.compressedfheint10_decompress(retptr, this.__wbg_ptr);
+            wasm.compressedfheint256_decompress(retptr, this.__wbg_ptr);
             var r0 = getInt32Memory0()[retptr / 4 + 0];
             var r1 = getInt32Memory0()[retptr / 4 + 1];
             var r2 = getInt32Memory0()[retptr / 4 + 2];
@@ -3642,7 +3642,7 @@ export class CompressedFheInt32 {
     decompress() {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.compressedfheint10_decompress(retptr, this.__wbg_ptr);
+            wasm.compressedfheint32_decompress(retptr, this.__wbg_ptr);
             var r0 = getInt32Memory0()[retptr / 4 + 0];
             var r1 = getInt32Memory0()[retptr / 4 + 1];
             var r2 = getInt32Memory0()[retptr / 4 + 2];
@@ -3795,7 +3795,7 @@ export class CompressedFheInt4 {
     decompress() {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.compressedfheint10_decompress(retptr, this.__wbg_ptr);
+            wasm.compressedfheint4_decompress(retptr, this.__wbg_ptr);
             var r0 = getInt32Memory0()[retptr / 4 + 0];
             var r1 = getInt32Memory0()[retptr / 4 + 1];
             var r2 = getInt32Memory0()[retptr / 4 + 2];
@@ -3948,7 +3948,7 @@ export class CompressedFheInt6 {
     decompress() {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.compressedfheint10_decompress(retptr, this.__wbg_ptr);
+            wasm.compressedfheint6_decompress(retptr, this.__wbg_ptr);
             var r0 = getInt32Memory0()[retptr / 4 + 0];
             var r1 = getInt32Memory0()[retptr / 4 + 1];
             var r2 = getInt32Memory0()[retptr / 4 + 2];
@@ -4101,7 +4101,7 @@ export class CompressedFheInt64 {
     decompress() {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.compressedfheint10_decompress(retptr, this.__wbg_ptr);
+            wasm.compressedfheint64_decompress(retptr, this.__wbg_ptr);
             var r0 = getInt32Memory0()[retptr / 4 + 0];
             var r1 = getInt32Memory0()[retptr / 4 + 1];
             var r2 = getInt32Memory0()[retptr / 4 + 2];
@@ -4254,7 +4254,7 @@ export class CompressedFheInt8 {
     decompress() {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.compressedfheint10_decompress(retptr, this.__wbg_ptr);
+            wasm.compressedfheint8_decompress(retptr, this.__wbg_ptr);
             var r0 = getInt32Memory0()[retptr / 4 + 0];
             var r1 = getInt32Memory0()[retptr / 4 + 1];
             var r2 = getInt32Memory0()[retptr / 4 + 2];