tfhe 1.5.4 → 1.6.0

package/LICENSE

@@ -1,6 +1,6 @@
 BSD 3-Clause Clear License
 
-Copyright © 2025 ZAMA.
+Copyright © 2026 ZAMA.
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without modification,

package/README.md

@@ -10,7 +10,7 @@
 <hr/>
 
 <p align="center">
-  <a href="https://github.com/zama-ai/tfhe-rs-handbook/blob/main/tfhe-rs-handbook.pdf"> 📃 Read Handbook</a> |<a href="https://docs.zama.ai/tfhe-rs"> 📒 Documentation</a> | <a href="https://zama.ai/community"> 💛 Community support</a> | <a href="https://github.com/zama-ai/awesome-zama"> 📚 FHE resources by Zama</a>
+  <a href="https://github.com/zama-ai/tfhe-rs-handbook/blob/main/tfhe-rs-handbook.pdf"> 📃 Read Handbook</a> |<a href="https://docs.zama.org/tfhe-rs"> 📒 Documentation</a> | <a href="https://www.zama.org/community-channels"> 💛 Community support</a> | <a href="https://github.com/zama-ai/awesome-zama"> 📚 FHE resources by Zama</a>
 </p>
 
 
@@ -47,7 +47,7 @@ production-ready library for all the advanced features of TFHE.
 - **Ciphertext and server key compression** for efficient data transfer
 - **Full Rust API, C bindings to the Rust High-Level API, and client-side JavaScript API using WASM**.
 
-*Learn more about TFHE-rs features in the [documentation](https://docs.zama.ai/tfhe-rs/readme).*
+*Learn more about TFHE-rs features in the [documentation](https://docs.zama.org/tfhe-rs).*
 <br></br>
 
 ## Table of Contents
@@ -79,7 +79,7 @@ tfhe = { version = "*", features = ["boolean", "shortint", "integer"] }
 ```
 
 > [!Note]
-> Note: You need Rust version 1.84 or newer to compile TFHE-rs. You can check your version with `rustc --version`.
+> Note: You need Rust version 1.91.1 or newer to compile TFHE-rs. You can check your version with `rustc --version`.
 
 > [!Note]
 > Note: AArch64-based machines are not supported for Windows as it's currently missing an entropy source to be able to seed the [CSPRNGs](https://en.wikipedia.org/wiki/Cryptographically_secure_pseudorandom_number_generator) used in TFHE-rs.
@@ -149,7 +149,7 @@ To run this code, use the following command:
 > Note that when running code that uses `TFHE-rs`, it is highly recommended
 to run in release mode with cargo's `--release` flag to have the best performance possible.
 
-*Find an example with more explanations in [this part of the documentation](https://docs.zama.ai/tfhe-rs/get-started/quick-start)*
+*Find an example with more explanations in [this part of the documentation](https://docs.zama.org/tfhe-rs/get-started/quick-start)*
 
 <p align="right">
   <a href="#about" > ↑ Back to top </a>
@@ -163,25 +163,25 @@ to run in release mode with cargo's `--release` flag to have the best performanc
 A document containing scientific and technical details about algorithms implemented into the library is available here: [TFHE-rs: A (Practical) Handbook](https://github.com/zama-ai/tfhe-rs-handbook/blob/main/tfhe-rs-handbook.pdf).
 
 ### TFHE deep dive
-- [TFHE Deep Dive - Part I - Ciphertext types](https://www.zama.ai/post/tfhe-deep-dive-part-1)
-- [TFHE Deep Dive - Part II - Encodings and linear leveled operations](https://www.zama.ai/post/tfhe-deep-dive-part-2)
-- [TFHE Deep Dive - Part III - Key switching and leveled multiplications](https://www.zama.ai/post/tfhe-deep-dive-part-3)
-- [TFHE Deep Dive - Part IV - Programmable Bootstrapping](https://www.zama.ai/post/tfhe-deep-dive-part-4)
+- [TFHE Deep Dive - Part I - Ciphertext types](https://www.zama.org/post/tfhe-deep-dive-part-1)
+- [TFHE Deep Dive - Part II - Encodings and linear leveled operations](https://www.zama.org/post/tfhe-deep-dive-part-2)
+- [TFHE Deep Dive - Part III - Key switching and leveled multiplications](https://www.zama.org/post/tfhe-deep-dive-part-3)
+- [TFHE Deep Dive - Part IV - Programmable Bootstrapping](https://www.zama.org/post/tfhe-deep-dive-part-4)
 <br></br>
 
 ### Tutorials
-- [[Video tutorial] Implement signed integers using TFHE-rs ](https://www.zama.ai/post/video-tutorial-implement-signed-integers-sing-tfhe-rs)
-- [Homomorphic parity bit](https://docs.zama.ai/tfhe-rs/tutorials/parity-bit)
-- [Homomorphic case changing on Ascii string](https://docs.zama.ai/tfhe-rs/tutorials/ascii-fhe-string)
-- [Boolean SHA256 with TFHE-rs](https://www.zama.ai/post/boolean-sha256-tfhe-rs)
-- [Dark market with TFHE-rs](https://www.zama.ai/post/dark-market-tfhe-rs)
-- [Regular expression engine with TFHE-rs](https://www.zama.ai/post/regex-engine-tfhe-rs)
-
-*Explore more useful resources in [TFHE-rs tutorials](https://docs.zama.ai/tfhe-rs/tutorials) and [Awesome Zama repo](https://github.com/zama-ai/awesome-zama)*
+- [Video tutorial: Implement signed integers using TFHE-rs](https://www.zama.org/post/video-tutorial-implement-signed-integers-sing-tfhe-rs)
+- [Homomorphic parity bit](https://docs.zama.org/tfhe-rs/tutorials/parity-bit)
+- [Homomorphic case changing on Ascii string](https://docs.zama.org/tfhe-rs/tutorials/ascii-fhe-string)
+- [Boolean SHA256 with TFHE-rs](https://www.zama.org/post/boolean-sha256-tfhe-rs)
+- [Dark market with TFHE-rs](https://www.zama.org/post/dark-market-tfhe-rs)
+- [Regular expression engine with TFHE-rs](https://www.zama.org/post/regex-engine-tfhe-rs)
+
+*Explore more useful resources in [TFHE-rs tutorials](https://docs.zama.org/tfhe-rs/tutorials) and [Awesome Zama repo](https://github.com/zama-ai/awesome-zama)*
 <br></br>
 ### Documentation
 
-Full, comprehensive documentation is available here: [https://docs.zama.ai/tfhe-rs](https://docs.zama.ai/tfhe-rs).
+Full, comprehensive documentation is available here: [https://docs.zama.org/tfhe-rs](https://docs.zama.org/tfhe-rs).
 <p align="right">
   <a href="#about" > ↑ Back to top </a>
 </p>
@@ -202,7 +202,7 @@ When a new update is published in the Lattice Estimator, we update parameters ac
 ### Security model
 
 By default, the parameter sets used in the High-Level API have a failure probability $\le 2^{-128}$ to securely work in the IND-CPA^D model using the algorithmic techniques provided in our code base [1].
-If you want to work within the IND-CPA security model, which is less strict than the IND-CPA-D model, the parameter sets can easily be changed and would have slightly better performance. More details can be found in the [TFHE-rs documentation](https://docs.zama.ai/tfhe-rs).
+If you want to work within the IND-CPA security model, which is less strict than the IND-CPA-D model, the parameter sets can easily be changed and would have slightly better performance. More details can be found in the [TFHE-rs documentation](https://docs.zama.org/tfhe-rs).
 
 [1] Bernard, Olivier, et al. "Drifting Towards Better Error Probabilities in Fully Homomorphic Encryption Schemes". https://eprint.iacr.org/2024/1718.pdf
 
@@ -231,7 +231,7 @@ To cite TFHE-rs in academic papers, please use the following entry:
 There are two ways to contribute to TFHE-rs:
 
 - [Open issues](https://github.com/zama-ai/tfhe-rs/issues/new/choose) to report bugs and typos, or to suggest new ideas
-- Request to become an official contributor by emailing [hello@zama.ai](mailto:hello@zama.ai).
+- Request to become an official contributor by emailing [hello@zama.org](mailto:hello@zama.org).
 
 Becoming an approved contributor involves signing our Contributor License Agreement (CLA). Only approved contributors can send pull requests, so please make sure to get in touch before you do!
 <br></br>
@@ -243,16 +243,16 @@ This software is distributed under the **BSD-3-Clause-Clear** license. Read [thi
 **Is Zama’s technology free to use?**
 >Zama’s libraries are free to use under the BSD 3-Clause Clear license only for development, research, prototyping, and experimentation purposes. However, for any commercial use of Zama's open source code, companies must purchase Zama’s commercial patent license.
 >
->Everything we do is open source and we are very transparent on what it means for our users, you can read more about how we monetize our open source products at Zama in [this blogpost](https://www.zama.ai/post/open-source).
+>Everything we do is open source and we are very transparent on what it means for our users, you can read more about how we monetize our open source products at Zama in [this blogpost](https://www.zama.org/post/open-source).
 
 **What do I need to do if I want to use Zama’s technology for commercial purposes?**
->To commercially use Zama’s technology you need to be granted Zama’s patent license. Please contact us hello@zama.ai for more information.
+>To commercially use Zama’s technology you need to be granted Zama’s patent license. Please contact us hello@zama.org for more information.
 
 **Do you file IP on your technology?**
 >Yes, all Zama’s technologies are patented.
 
 **Can you customize a solution for my specific use case?**
->We are open to collaborating and advancing the FHE space with our partners. If you have specific needs, please email us at hello@zama.ai.
+>We are open to collaborating and advancing the FHE space with our partners. If you have specific needs, please email us at hello@zama.org.
 
 <p align="right">
   <a href="#about" > ↑ Back to top </a>
@@ -261,7 +261,7 @@ This software is distributed under the **BSD-3-Clause-Clear** license. Read [thi
 
 ## Support
 
-<a target="_blank" href="https://community.zama.ai">
+<a target="_blank" href="https://community.zama.org">
 <picture>
   <source media="(prefers-color-scheme: dark)" srcset="https://github.com/zama-ai/tfhe-rs/assets/157474013/08656d0a-3f44-4126-b8b6-8c601dff5380">
   <source media="(prefers-color-scheme: light)" srcset="https://github.com/zama-ai/tfhe-rs/assets/157474013/1c9c9308-50ac-4aab-a4b9-469bb8c536a4">

package/package.json

@@ -2,7 +2,7 @@
   "name": "tfhe",
   "type": "module",
   "description": "TFHE-rs is a fully homomorphic encryption (FHE) library that implements Zama's variant of TFHE.",
-  "version": "1.5.4",
+  "version": "1.6.0",
   "license": "BSD-3-Clause-Clear",
   "repository": {
     "type": "git",
@@ -15,7 +15,7 @@
     "snippets"
   ],
   "main": "tfhe.js",
-  "homepage": "https://zama.ai/",
+  "homepage": "https://zama.org/",
   "types": "tfhe.d.ts",
   "sideEffects": [
     "./snippets/*"

package/tfhe.d.ts

@@ -91,6 +91,7 @@ export class CompactCiphertextList {
     [Symbol.dispose](): void;
     static builder(public_key: TfheCompactPublicKey): CompactCiphertextListBuilder;
     static deserialize(buffer: Uint8Array): CompactCiphertextList;
+    eq(other: CompactCiphertextList): boolean;
     expand(): CompactCiphertextListExpander;
     get_kind_of(index: number): FheTypes | undefined;
     is_empty(): boolean;
@@ -106,7 +107,9 @@ export class CompactCiphertextListBuilder {
     [Symbol.dispose](): void;
     build(): CompactCiphertextList;
     build_packed(): CompactCiphertextList;
+    build_packed_seeded(seed: Uint8Array): CompactCiphertextList;
     build_with_proof_packed(crs: CompactPkeCrs, metadata: Uint8Array, compute_load: ZkComputeLoad): ProvenCompactCiphertextList;
+    build_with_proof_packed_seeded(crs: CompactPkeCrs, metadata: Uint8Array, compute_load: ZkComputeLoad, seed: Uint8Array): ProvenCompactCiphertextList;
     push_boolean(value: boolean): void;
     push_i10(value: number): void;
     push_i1024(value: any): void;
@@ -2548,6 +2551,7 @@ export class ProvenCompactCiphertextList {
     [Symbol.dispose](): void;
     static builder(public_key: TfheCompactPublicKey): CompactCiphertextListBuilder;
     static deserialize(buffer: Uint8Array): ProvenCompactCiphertextList;
+    eq(other: ProvenCompactCiphertextList): boolean;
     expand_without_verification(): CompactCiphertextListExpander;
     get_kind_of(index: number): FheTypes | undefined;
     is_empty(): boolean;
@@ -2625,6 +2629,8 @@ export enum ShortintCompactPublicKeyEncryptionParametersName {
     V1_4_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128_ZKV1 = 12,
     V1_5_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128 = 13,
     V1_5_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128_ZKV1 = 14,
+    V1_6_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128 = 15,
+    V1_6_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128_ZKV1 = 16,
 }
 
 export class ShortintCompressedCiphertext {
@@ -3190,6 +3196,77 @@ export enum ShortintParametersName {
     V1_5_PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_PBS_KS_GAUSSIAN_2M128 = 495,
     V1_5_PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_PBS_KS_GAUSSIAN_2M128 = 496,
     V1_5_PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_PBS_KS_GAUSSIAN_2M128 = 497,
+    V1_6_PARAM_MESSAGE_1_CARRY_0_KS_PBS_GAUSSIAN_2M128 = 498,
+    V1_6_PARAM_MESSAGE_1_CARRY_1_KS_PBS_GAUSSIAN_2M128 = 499,
+    V1_6_PARAM_MESSAGE_2_CARRY_0_KS_PBS_GAUSSIAN_2M128 = 500,
+    V1_6_PARAM_MESSAGE_1_CARRY_2_KS_PBS_GAUSSIAN_2M128 = 501,
+    V1_6_PARAM_MESSAGE_2_CARRY_1_KS_PBS_GAUSSIAN_2M128 = 502,
+    V1_6_PARAM_MESSAGE_3_CARRY_0_KS_PBS_GAUSSIAN_2M128 = 503,
+    V1_6_PARAM_MESSAGE_1_CARRY_3_KS_PBS_GAUSSIAN_2M128 = 504,
+    V1_6_PARAM_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M128 = 505,
+    V1_6_PARAM_MESSAGE_3_CARRY_1_KS_PBS_GAUSSIAN_2M128 = 506,
+    V1_6_PARAM_MESSAGE_4_CARRY_0_KS_PBS_GAUSSIAN_2M128 = 507,
+    V1_6_PARAM_MESSAGE_1_CARRY_4_KS_PBS_GAUSSIAN_2M128 = 508,
+    V1_6_PARAM_MESSAGE_2_CARRY_3_KS_PBS_GAUSSIAN_2M128 = 509,
+    V1_6_PARAM_MESSAGE_3_CARRY_2_KS_PBS_GAUSSIAN_2M128 = 510,
+    V1_6_PARAM_MESSAGE_4_CARRY_1_KS_PBS_GAUSSIAN_2M128 = 511,
+    V1_6_PARAM_MESSAGE_5_CARRY_0_KS_PBS_GAUSSIAN_2M128 = 512,
+    V1_6_PARAM_MESSAGE_1_CARRY_5_KS_PBS_GAUSSIAN_2M128 = 513,
+    V1_6_PARAM_MESSAGE_2_CARRY_4_KS_PBS_GAUSSIAN_2M128 = 514,
+    V1_6_PARAM_MESSAGE_3_CARRY_3_KS_PBS_GAUSSIAN_2M128 = 515,
+    V1_6_PARAM_MESSAGE_4_CARRY_2_KS_PBS_GAUSSIAN_2M128 = 516,
+    V1_6_PARAM_MESSAGE_5_CARRY_1_KS_PBS_GAUSSIAN_2M128 = 517,
+    V1_6_PARAM_MESSAGE_6_CARRY_0_KS_PBS_GAUSSIAN_2M128 = 518,
+    V1_6_PARAM_MESSAGE_1_CARRY_6_KS_PBS_GAUSSIAN_2M128 = 519,
+    V1_6_PARAM_MESSAGE_2_CARRY_5_KS_PBS_GAUSSIAN_2M128 = 520,
+    V1_6_PARAM_MESSAGE_3_CARRY_4_KS_PBS_GAUSSIAN_2M128 = 521,
+    V1_6_PARAM_MESSAGE_4_CARRY_3_KS_PBS_GAUSSIAN_2M128 = 522,
+    V1_6_PARAM_MESSAGE_5_CARRY_2_KS_PBS_GAUSSIAN_2M128 = 523,
+    V1_6_PARAM_MESSAGE_6_CARRY_1_KS_PBS_GAUSSIAN_2M128 = 524,
+    V1_6_PARAM_MESSAGE_7_CARRY_0_KS_PBS_GAUSSIAN_2M128 = 525,
+    V1_6_PARAM_MESSAGE_1_CARRY_7_KS_PBS_GAUSSIAN_2M128 = 526,
+    V1_6_PARAM_MESSAGE_2_CARRY_6_KS_PBS_GAUSSIAN_2M128 = 527,
+    V1_6_PARAM_MESSAGE_3_CARRY_5_KS_PBS_GAUSSIAN_2M128 = 528,
+    V1_6_PARAM_MESSAGE_4_CARRY_4_KS_PBS_GAUSSIAN_2M128 = 529,
+    V1_6_PARAM_MESSAGE_5_CARRY_3_KS_PBS_GAUSSIAN_2M128 = 530,
+    V1_6_PARAM_MESSAGE_6_CARRY_2_KS_PBS_GAUSSIAN_2M128 = 531,
+    V1_6_PARAM_MESSAGE_7_CARRY_1_KS_PBS_GAUSSIAN_2M128 = 532,
+    V1_6_PARAM_MESSAGE_8_CARRY_0_KS_PBS_GAUSSIAN_2M128 = 533,
+    V1_6_PARAM_MESSAGE_1_CARRY_1_PBS_KS_GAUSSIAN_2M128 = 534,
+    V1_6_PARAM_MESSAGE_2_CARRY_2_PBS_KS_GAUSSIAN_2M128 = 535,
+    V1_6_PARAM_MESSAGE_3_CARRY_3_PBS_KS_GAUSSIAN_2M128 = 536,
+    V1_6_PARAM_MESSAGE_4_CARRY_4_PBS_KS_GAUSSIAN_2M128 = 537,
+    V1_6_PARAM_MESSAGE_1_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 538,
+    V1_6_PARAM_MESSAGE_1_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 539,
+    V1_6_PARAM_MESSAGE_1_CARRY_4_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 540,
+    V1_6_PARAM_MESSAGE_1_CARRY_5_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 541,
+    V1_6_PARAM_MESSAGE_1_CARRY_6_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 542,
+    V1_6_PARAM_MESSAGE_1_CARRY_7_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 543,
+    V1_6_PARAM_MESSAGE_2_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 544,
+    V1_6_PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 545,
+    V1_6_PARAM_MESSAGE_2_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 546,
+    V1_6_PARAM_MESSAGE_2_CARRY_4_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 547,
+    V1_6_PARAM_MESSAGE_2_CARRY_5_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 548,
+    V1_6_PARAM_MESSAGE_2_CARRY_6_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 549,
+    V1_6_PARAM_MESSAGE_3_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 550,
+    V1_6_PARAM_MESSAGE_3_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 551,
+    V1_6_PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 552,
+    V1_6_PARAM_MESSAGE_3_CARRY_4_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 553,
+    V1_6_PARAM_MESSAGE_3_CARRY_5_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 554,
+    V1_6_PARAM_MESSAGE_4_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 555,
+    V1_6_PARAM_MESSAGE_4_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 556,
+    V1_6_PARAM_MESSAGE_4_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 557,
+    V1_6_PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 558,
+    V1_6_PARAM_MESSAGE_5_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 559,
+    V1_6_PARAM_MESSAGE_5_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 560,
+    V1_6_PARAM_MESSAGE_5_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 561,
+    V1_6_PARAM_MESSAGE_6_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 562,
+    V1_6_PARAM_MESSAGE_6_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 563,
+    V1_6_PARAM_MESSAGE_7_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128 = 564,
+    V1_6_PARAM_MESSAGE_1_CARRY_1_COMPACT_PK_PBS_KS_GAUSSIAN_2M128 = 565,
+    V1_6_PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_PBS_KS_GAUSSIAN_2M128 = 566,
+    V1_6_PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_PBS_KS_GAUSSIAN_2M128 = 567,
+    V1_6_PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_PBS_KS_GAUSSIAN_2M128 = 568,
 }
 
 export class ShortintPublicKey {
@@ -3331,7 +3408,6 @@ export interface InitOutput {
     readonly __wbg_compactciphertextlist_free: (a: number, b: number) => void;
     readonly __wbg_compactciphertextlistbuilder_free: (a: number, b: number) => void;
     readonly __wbg_compactciphertextlistexpander_free: (a: number, b: number) => void;
-    readonly __wbg_compactpkecrs_free: (a: number, b: number) => void;
     readonly __wbg_compressedfhebool_free: (a: number, b: number) => void;
     readonly __wbg_compressedfheint1024_free: (a: number, b: number) => void;
     readonly __wbg_compressedfheint104_free: (a: number, b: number) => void;
@@ -3499,8 +3575,28 @@ export interface InitOutput {
     readonly __wbg_fheuint8_free: (a: number, b: number) => void;
     readonly __wbg_fheuint96_free: (a: number, b: number) => void;
     readonly __wbg_provencompactciphertextlist_free: (a: number, b: number) => void;
+    readonly __wbg_shortint_free: (a: number, b: number) => void;
+    readonly __wbg_shortintciphertext_free: (a: number, b: number) => void;
+    readonly __wbg_shortintclientkey_free: (a: number, b: number) => void;
+    readonly __wbg_shortintcompactpublickeyencryptionparameters_free: (a: number, b: number) => void;
+    readonly __wbg_shortintcompressedciphertext_free: (a: number, b: number) => void;
+    readonly __wbg_shortintcompressedpublickey_free: (a: number, b: number) => void;
+    readonly __wbg_shortintcompressedserverkey_free: (a: number, b: number) => void;
+    readonly __wbg_shortintnoisedistribution_free: (a: number, b: number) => void;
+    readonly __wbg_shortintparameters_free: (a: number, b: number) => void;
+    readonly __wbg_shortintpublickey_free: (a: number, b: number) => void;
+    readonly __wbg_tfheclientkey_free: (a: number, b: number) => void;
+    readonly __wbg_tfhecompactpublickey_free: (a: number, b: number) => void;
+    readonly __wbg_tfhecompressedcompactpublickey_free: (a: number, b: number) => void;
+    readonly __wbg_tfhecompressedpublickey_free: (a: number, b: number) => void;
+    readonly __wbg_tfhecompressedserverkey_free: (a: number, b: number) => void;
+    readonly __wbg_tfheconfig_free: (a: number, b: number) => void;
+    readonly __wbg_tfheconfigbuilder_free: (a: number, b: number) => void;
+    readonly __wbg_tfhepublickey_free: (a: number, b: number) => void;
+    readonly __wbg_tfheserverkey_free: (a: number, b: number) => void;
     readonly compactciphertextlist_builder: (a: number) => [number, number, number];
     readonly compactciphertextlist_deserialize: (a: number, b: number) => [number, number, number];
+    readonly compactciphertextlist_eq: (a: number, b: number) => number;
     readonly compactciphertextlist_expand: (a: number) => [number, number, number];
     readonly compactciphertextlist_get_kind_of: (a: number, b: number) => number;
     readonly compactciphertextlist_is_empty: (a: number) => number;
@@ -3510,7 +3606,9 @@ export interface InitOutput {
     readonly compactciphertextlist_serialize: (a: number) => [number, number, number, number];
     readonly compactciphertextlistbuilder_build: (a: number) => [number, number, number];
     readonly compactciphertextlistbuilder_build_packed: (a: number) => [number, number, number];
+    readonly compactciphertextlistbuilder_build_packed_seeded: (a: number, b: number, c: number) => [number, number, number];
     readonly compactciphertextlistbuilder_build_with_proof_packed: (a: number, b: number, c: number, d: number, e: number) => [number, number, number];
+    readonly compactciphertextlistbuilder_build_with_proof_packed_seeded: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => [number, number, number];
     readonly compactciphertextlistbuilder_push_boolean: (a: number, b: number) => [number, number];
     readonly compactciphertextlistbuilder_push_i10: (a: number, b: number) => [number, number];
     readonly compactciphertextlistbuilder_push_i1024: (a: number, b: any) => [number, number];
@@ -3680,13 +3778,6 @@ export interface InitOutput {
     readonly compactciphertextlistexpander_get_uint96: (a: number, b: number) => [number, number, number];
     readonly compactciphertextlistexpander_is_empty: (a: number) => number;
     readonly compactciphertextlistexpander_len: (a: number) => number;
-    readonly compactpkecrs_deserialize: (a: number, b: number) => [number, number, number];
-    readonly compactpkecrs_deserialize_from_public_params: (a: number, b: number) => [number, number, number];
-    readonly compactpkecrs_from_config: (a: number, b: number) => [number, number, number];
-    readonly compactpkecrs_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-    readonly compactpkecrs_safe_deserialize_from_public_params: (a: number, b: number, c: bigint) => [number, number, number];
-    readonly compactpkecrs_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-    readonly compactpkecrs_serialize: (a: number, b: number) => [number, number, number, number];
     readonly compressedfhebool_decompress: (a: number) => [number, number, number];
     readonly compressedfhebool_deserialize: (a: number, b: number) => [number, number, number];
     readonly compressedfhebool_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
@@ -4849,111 +4940,17 @@ export interface InitOutput {
     readonly fheuint96_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
     readonly fheuint96_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
     readonly fheuint96_serialize: (a: number) => [number, number, number, number];
+    readonly init_panic_hook: () => void;
     readonly provencompactciphertextlist_builder: (a: number) => [number, number, number];
     readonly provencompactciphertextlist_deserialize: (a: number, b: number) => [number, number, number];
+    readonly provencompactciphertextlist_eq: (a: number, b: number) => number;
     readonly provencompactciphertextlist_expand_without_verification: (a: number) => [number, number, number];
     readonly provencompactciphertextlist_get_kind_of: (a: number, b: number) => number;
     readonly provencompactciphertextlist_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
     readonly provencompactciphertextlist_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
     readonly provencompactciphertextlist_serialize: (a: number) => [number, number, number, number];
     readonly provencompactciphertextlist_verify_and_expand: (a: number, b: number, c: number, d: number, e: number) => [number, number, number];
-    readonly provencompactciphertextlist_len: (a: number) => number;
-    readonly provencompactciphertextlist_is_empty: (a: number) => number;
-    readonly __wbg_boolean_free: (a: number, b: number) => void;
-    readonly __wbg_booleanciphertext_free: (a: number, b: number) => void;
-    readonly __wbg_booleanclientkey_free: (a: number, b: number) => void;
-    readonly __wbg_booleancompressedciphertext_free: (a: number, b: number) => void;
-    readonly __wbg_booleancompressedserverkey_free: (a: number, b: number) => void;
-    readonly __wbg_booleannoisedistribution_free: (a: number, b: number) => void;
-    readonly __wbg_booleanparameters_free: (a: number, b: number) => void;
-    readonly __wbg_booleanpublickey_free: (a: number, b: number) => void;
-    readonly __wbg_tfhe_free: (a: number, b: number) => void;
-    readonly __wbg_tfheclientkey_free: (a: number, b: number) => void;
-    readonly __wbg_tfhecompactpublickey_free: (a: number, b: number) => void;
-    readonly __wbg_tfhecompressedcompactpublickey_free: (a: number, b: number) => void;
-    readonly __wbg_tfhecompressedpublickey_free: (a: number, b: number) => void;
-    readonly __wbg_tfhecompressedserverkey_free: (a: number, b: number) => void;
-    readonly __wbg_tfheconfig_free: (a: number, b: number) => void;
-    readonly __wbg_tfheconfigbuilder_free: (a: number, b: number) => void;
-    readonly __wbg_tfhepublickey_free: (a: number, b: number) => void;
-    readonly __wbg_tfheserverkey_free: (a: number, b: number) => void;
-    readonly boolean_decompress_ciphertext: (a: number) => number;
-    readonly boolean_decrypt: (a: number, b: number) => number;
-    readonly boolean_deserialize_ciphertext: (a: number, b: number) => [number, number, number];
-    readonly boolean_deserialize_client_key: (a: number, b: number) => [number, number, number];
-    readonly boolean_deserialize_compressed_ciphertext: (a: number, b: number) => [number, number, number];
-    readonly boolean_deserialize_compressed_server_key: (a: number, b: number) => [number, number, number];
-    readonly boolean_deserialize_public_key: (a: number, b: number) => [number, number, number];
-    readonly boolean_encrypt: (a: number, b: number) => number;
-    readonly boolean_encrypt_compressed: (a: number, b: number) => number;
-    readonly boolean_encrypt_with_public_key: (a: number, b: number) => number;
-    readonly boolean_get_parameters: (a: number) => [number, number, number];
-    readonly boolean_new_client_key: (a: number) => number;
-    readonly boolean_new_client_key_from_seed_and_parameters: (a: bigint, b: bigint, c: number) => number;
-    readonly boolean_new_compressed_server_key: (a: number) => number;
-    readonly boolean_new_gaussian_from_std_dev: (a: number) => number;
-    readonly boolean_new_parameters: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => number;
-    readonly boolean_new_public_key: (a: number) => number;
-    readonly boolean_serialize_ciphertext: (a: number) => [number, number, number, number];
-    readonly boolean_serialize_client_key: (a: number) => [number, number, number, number];
-    readonly boolean_serialize_compressed_ciphertext: (a: number) => [number, number, number, number];
-    readonly boolean_serialize_compressed_server_key: (a: number) => [number, number, number, number];
-    readonly boolean_serialize_public_key: (a: number) => [number, number, number, number];
-    readonly boolean_trivial_encrypt: (a: number) => number;
-    readonly boolean_try_new_t_uniform: (a: number) => [number, number, number];
-    readonly init_panic_hook: () => void;
     readonly set_server_key: (a: number) => [number, number];
-    readonly tfheclientkey_deserialize: (a: number, b: number) => [number, number, number];
-    readonly tfheclientkey_generate: (a: number) => [number, number, number];
-    readonly tfheclientkey_generate_with_seed: (a: number, b: any) => [number, number, number];
-    readonly tfheclientkey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-    readonly tfheclientkey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-    readonly tfheclientkey_serialize: (a: number) => [number, number, number, number];
-    readonly tfhecompactpublickey_deserialize: (a: number, b: number) => [number, number, number];
-    readonly tfhecompactpublickey_new: (a: number) => [number, number, number];
-    readonly tfhecompactpublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-    readonly tfhecompactpublickey_safe_deserialize_conformant: (a: number, b: number, c: bigint, d: number) => [number, number, number];
-    readonly tfhecompactpublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-    readonly tfhecompactpublickey_serialize: (a: number) => [number, number, number, number];
-    readonly tfhecompressedcompactpublickey_decompress: (a: number) => [number, number, number];
-    readonly tfhecompressedcompactpublickey_deserialize: (a: number, b: number) => [number, number, number];
-    readonly tfhecompressedcompactpublickey_new: (a: number) => [number, number, number];
-    readonly tfhecompressedcompactpublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-    readonly tfhecompressedcompactpublickey_safe_deserialize_conformant: (a: number, b: number, c: bigint, d: number) => [number, number, number];
-    readonly tfhecompressedcompactpublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-    readonly tfhecompressedcompactpublickey_serialize: (a: number) => [number, number, number, number];
-    readonly tfhecompressedpublickey_decompress: (a: number) => [number, number, number];
-    readonly tfhecompressedpublickey_deserialize: (a: number, b: number) => [number, number, number];
-    readonly tfhecompressedpublickey_new: (a: number) => [number, number, number];
-    readonly tfhecompressedpublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-    readonly tfhecompressedpublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-    readonly tfhecompressedpublickey_serialize: (a: number) => [number, number, number, number];
-    readonly tfhecompressedserverkey_deserialize: (a: number, b: number) => [number, number, number];
-    readonly tfhecompressedserverkey_new: (a: number) => [number, number, number];
-    readonly tfhecompressedserverkey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-    readonly tfhecompressedserverkey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-    readonly tfhecompressedserverkey_serialize: (a: number) => [number, number, number, number];
-    readonly tfheconfigbuilder_build: (a: number) => number;
-    readonly tfheconfigbuilder_default: () => number;
-    readonly tfheconfigbuilder_use_custom_parameters: (a: number, b: number) => number;
-    readonly tfheconfigbuilder_use_dedicated_compact_public_key_parameters: (a: number, b: number) => number;
-    readonly tfheconfigbuilder_with_custom_parameters: (a: number) => number;
-    readonly tfhepublickey_deserialize: (a: number, b: number) => [number, number, number];
-    readonly tfhepublickey_new: (a: number) => [number, number, number];
-    readonly tfhepublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-    readonly tfhepublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-    readonly tfhepublickey_serialize: (a: number) => [number, number, number, number];
-    readonly tfheserverkey_new: (a: number) => [number, number, number];
-    readonly __wbg_shortint_free: (a: number, b: number) => void;
-    readonly __wbg_shortintciphertext_free: (a: number, b: number) => void;
-    readonly __wbg_shortintclientkey_free: (a: number, b: number) => void;
-    readonly __wbg_shortintcompactpublickeyencryptionparameters_free: (a: number, b: number) => void;
-    readonly __wbg_shortintcompressedciphertext_free: (a: number, b: number) => void;
-    readonly __wbg_shortintcompressedpublickey_free: (a: number, b: number) => void;
-    readonly __wbg_shortintcompressedserverkey_free: (a: number, b: number) => void;
-    readonly __wbg_shortintnoisedistribution_free: (a: number, b: number) => void;
-    readonly __wbg_shortintparameters_free: (a: number, b: number) => void;
-    readonly __wbg_shortintpublickey_free: (a: number, b: number) => void;
     readonly shortint_decompress_ciphertext: (a: number) => number;
     readonly shortint_decrypt: (a: number, b: number) => bigint;
     readonly shortint_deserialize_ciphertext: (a: number, b: number) => [number, number, number];
@@ -5008,7 +5005,91 @@ export interface InitOutput {
     readonly shortintparameters_set_pbs_base_log: (a: number, b: number) => void;
     readonly shortintparameters_set_pbs_level: (a: number, b: number) => void;
     readonly shortintparameters_set_polynomial_size: (a: number, b: number) => void;
+    readonly tfheclientkey_deserialize: (a: number, b: number) => [number, number, number];
+    readonly tfheclientkey_generate: (a: number) => [number, number, number];
+    readonly tfheclientkey_generate_with_seed: (a: number, b: any) => [number, number, number];
+    readonly tfheclientkey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+    readonly tfheclientkey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+    readonly tfheclientkey_serialize: (a: number) => [number, number, number, number];
+    readonly tfhecompactpublickey_deserialize: (a: number, b: number) => [number, number, number];
+    readonly tfhecompactpublickey_new: (a: number) => [number, number, number];
+    readonly tfhecompactpublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+    readonly tfhecompactpublickey_safe_deserialize_conformant: (a: number, b: number, c: bigint, d: number) => [number, number, number];
+    readonly tfhecompactpublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+    readonly tfhecompactpublickey_serialize: (a: number) => [number, number, number, number];
+    readonly tfhecompressedcompactpublickey_decompress: (a: number) => [number, number, number];
+    readonly tfhecompressedcompactpublickey_deserialize: (a: number, b: number) => [number, number, number];
+    readonly tfhecompressedcompactpublickey_new: (a: number) => [number, number, number];
+    readonly tfhecompressedcompactpublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+    readonly tfhecompressedcompactpublickey_safe_deserialize_conformant: (a: number, b: number, c: bigint, d: number) => [number, number, number];
+    readonly tfhecompressedcompactpublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+    readonly tfhecompressedcompactpublickey_serialize: (a: number) => [number, number, number, number];
+    readonly tfhecompressedpublickey_decompress: (a: number) => [number, number, number];
+    readonly tfhecompressedpublickey_deserialize: (a: number, b: number) => [number, number, number];
+    readonly tfhecompressedpublickey_new: (a: number) => [number, number, number];
+    readonly tfhecompressedpublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+    readonly tfhecompressedpublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+    readonly tfhecompressedpublickey_serialize: (a: number) => [number, number, number, number];
+    readonly tfhecompressedserverkey_deserialize: (a: number, b: number) => [number, number, number];
+    readonly tfhecompressedserverkey_new: (a: number) => [number, number, number];
+    readonly tfhecompressedserverkey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+    readonly tfhecompressedserverkey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+    readonly tfhecompressedserverkey_serialize: (a: number) => [number, number, number, number];
+    readonly tfheconfigbuilder_build: (a: number) => number;
+    readonly tfheconfigbuilder_default: () => number;
+    readonly tfheconfigbuilder_use_custom_parameters: (a: number, b: number) => number;
+    readonly tfheconfigbuilder_use_dedicated_compact_public_key_parameters: (a: number, b: number) => number;
+    readonly tfheconfigbuilder_with_custom_parameters: (a: number) => number;
+    readonly tfhepublickey_deserialize: (a: number, b: number) => [number, number, number];
+    readonly tfhepublickey_new: (a: number) => [number, number, number];
+    readonly tfhepublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+    readonly tfhepublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+    readonly tfhepublickey_serialize: (a: number) => [number, number, number, number];
+    readonly tfheserverkey_new: (a: number) => [number, number, number];
+    readonly provencompactciphertextlist_len: (a: number) => number;
+    readonly provencompactciphertextlist_is_empty: (a: number) => number;
     readonly shortintparameters_lwe_noise_distribution: (a: number) => number;
+    readonly __wbg_boolean_free: (a: number, b: number) => void;
+    readonly __wbg_booleanciphertext_free: (a: number, b: number) => void;
+    readonly __wbg_booleanclientkey_free: (a: number, b: number) => void;
+    readonly __wbg_booleancompressedciphertext_free: (a: number, b: number) => void;
+    readonly __wbg_booleancompressedserverkey_free: (a: number, b: number) => void;
+    readonly __wbg_booleannoisedistribution_free: (a: number, b: number) => void;
+    readonly __wbg_booleanparameters_free: (a: number, b: number) => void;
+    readonly __wbg_booleanpublickey_free: (a: number, b: number) => void;
+    readonly __wbg_compactpkecrs_free: (a: number, b: number) => void;
+    readonly boolean_decompress_ciphertext: (a: number) => number;
+    readonly boolean_decrypt: (a: number, b: number) => number;
+    readonly boolean_deserialize_ciphertext: (a: number, b: number) => [number, number, number];
+    readonly boolean_deserialize_client_key: (a: number, b: number) => [number, number, number];
+    readonly boolean_deserialize_compressed_ciphertext: (a: number, b: number) => [number, number, number];
+    readonly boolean_deserialize_compressed_server_key: (a: number, b: number) => [number, number, number];
+    readonly boolean_deserialize_public_key: (a: number, b: number) => [number, number, number];
+    readonly boolean_encrypt: (a: number, b: number) => number;
+    readonly boolean_encrypt_compressed: (a: number, b: number) => number;
+    readonly boolean_encrypt_with_public_key: (a: number, b: number) => number;
+    readonly boolean_get_parameters: (a: number) => [number, number, number];
+    readonly boolean_new_client_key: (a: number) => number;
+    readonly boolean_new_client_key_from_seed_and_parameters: (a: bigint, b: bigint, c: number) => number;
+    readonly boolean_new_compressed_server_key: (a: number) => number;
+    readonly boolean_new_gaussian_from_std_dev: (a: number) => number;
+    readonly boolean_new_parameters: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => number;
+    readonly boolean_new_public_key: (a: number) => number;
+    readonly boolean_serialize_ciphertext: (a: number) => [number, number, number, number];
+    readonly boolean_serialize_client_key: (a: number) => [number, number, number, number];
+    readonly boolean_serialize_compressed_ciphertext: (a: number) => [number, number, number, number];
+    readonly boolean_serialize_compressed_server_key: (a: number) => [number, number, number, number];
+    readonly boolean_serialize_public_key: (a: number) => [number, number, number, number];
+    readonly boolean_trivial_encrypt: (a: number) => number;
+    readonly boolean_try_new_t_uniform: (a: number) => [number, number, number];
+    readonly compactpkecrs_deserialize: (a: number, b: number) => [number, number, number];
+    readonly compactpkecrs_deserialize_from_public_params: (a: number, b: number) => [number, number, number];
+    readonly compactpkecrs_from_config: (a: number, b: number) => [number, number, number];
+    readonly compactpkecrs_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+    readonly compactpkecrs_safe_deserialize_from_public_params: (a: number, b: number, c: bigint) => [number, number, number];
+    readonly compactpkecrs_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+    readonly compactpkecrs_serialize: (a: number, b: number) => [number, number, number, number];
+    readonly __wbg_tfhe_free: (a: number, b: number) => void;
     readonly __wbg_wbg_rayon_poolbuilder_free: (a: number, b: number) => void;
     readonly wbg_rayon_poolbuilder_build: (a: number) => void;
     readonly wbg_rayon_poolbuilder_numThreads: (a: number) => number;

package/tfhe.js

@@ -1,6 +1,7 @@
 /* @ts-self-types="./tfhe.d.ts" */
 import { startWorkers } from './snippets/wasm-bindgen-rayon-38edf6e439f6d70d/src/workerHelpers.js';
 
+
 export class Boolean {
     __destroy_into_raw() {
         const ptr = this.__wbg_ptr;
@@ -503,6 +504,15 @@ export class CompactCiphertextList {
         }
         return CompactCiphertextList.__wrap(ret[0]);
     }
+    /**
+     * @param {CompactCiphertextList} other
+     * @returns {boolean}
+     */
+    eq(other) {
+        _assertClass(other, CompactCiphertextList);
+        const ret = wasm.compactciphertextlist_eq(this.__wbg_ptr, other.__wbg_ptr);
+        return ret !== 0;
+    }
     /**
      * @returns {CompactCiphertextListExpander}
      */
@@ -615,6 +625,19 @@ export class CompactCiphertextListBuilder {
         }
         return CompactCiphertextList.__wrap(ret[0]);
     }
+    /**
+     * @param {Uint8Array} seed
+     * @returns {CompactCiphertextList}
+     */
+    build_packed_seeded(seed) {
+        const ptr0 = passArray8ToWasm0(seed, wasm.__wbindgen_malloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ret = wasm.compactciphertextlistbuilder_build_packed_seeded(this.__wbg_ptr, ptr0, len0);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return CompactCiphertextList.__wrap(ret[0]);
+    }
     /**
      * @param {CompactPkeCrs} crs
      * @param {Uint8Array} metadata
@@ -631,6 +654,25 @@ export class CompactCiphertextListBuilder {
         }
         return ProvenCompactCiphertextList.__wrap(ret[0]);
     }
+    /**
+     * @param {CompactPkeCrs} crs
+     * @param {Uint8Array} metadata
+     * @param {ZkComputeLoad} compute_load
+     * @param {Uint8Array} seed
+     * @returns {ProvenCompactCiphertextList}
+     */
+    build_with_proof_packed_seeded(crs, metadata, compute_load, seed) {
+        _assertClass(crs, CompactPkeCrs);
+        const ptr0 = passArray8ToWasm0(metadata, wasm.__wbindgen_malloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passArray8ToWasm0(seed, wasm.__wbindgen_malloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.compactciphertextlistbuilder_build_with_proof_packed_seeded(this.__wbg_ptr, crs.__wbg_ptr, ptr0, len0, compute_load, ptr1, len1);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return ProvenCompactCiphertextList.__wrap(ret[0]);
+    }
     /**
      * @param {boolean} value
      */
@@ -20844,6 +20886,15 @@ export class ProvenCompactCiphertextList {
         }
         return ProvenCompactCiphertextList.__wrap(ret[0]);
     }
+    /**
+     * @param {ProvenCompactCiphertextList} other
+     * @returns {boolean}
+     */
+    eq(other) {
+        _assertClass(other, ProvenCompactCiphertextList);
+        const ret = wasm.provencompactciphertextlist_eq(this.__wbg_ptr, other.__wbg_ptr);
+        return ret !== 0;
+    }
     /**
      * @returns {CompactCiphertextListExpander}
      */
@@ -21353,7 +21404,7 @@ export class ShortintCompactPublicKeyEncryptionParameters {
 if (Symbol.dispose) ShortintCompactPublicKeyEncryptionParameters.prototype[Symbol.dispose] = ShortintCompactPublicKeyEncryptionParameters.prototype.free;
 
 /**
- * @enum {0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14}
+ * @enum {0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16}
  */
 export const ShortintCompactPublicKeyEncryptionParametersName = Object.freeze({
     PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128: 0, "0": "PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128",
@@ -21371,6 +21422,8 @@ export const ShortintCompactPublicKeyEncryptionParametersName = Object.freeze({
     V1_4_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128_ZKV1: 12, "12": "V1_4_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128_ZKV1",
     V1_5_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128: 13, "13": "V1_5_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128",
     V1_5_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128_ZKV1: 14, "14": "V1_5_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128_ZKV1",
+    V1_6_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128: 15, "15": "V1_6_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128",
+    V1_6_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128_ZKV1: 16, "16": "V1_6_PARAM_PKE_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128_ZKV1",
 });
 
 export class ShortintCompressedCiphertext {
@@ -21558,7 +21611,7 @@ export class ShortintParameters {
      * @param {ShortintParametersName | null} [name]
      */
     constructor(name) {
-        const ret = wasm.shortintparameters_new(isLikeNone(name) ? 498 : name);
+        const ret = wasm.shortintparameters_new(isLikeNone(name) ? 569 : name);
         if (ret[2]) {
             throw takeFromExternrefTable0(ret[1]);
         }
@@ -21665,7 +21718,7 @@ export class ShortintParameters {
 if (Symbol.dispose) ShortintParameters.prototype[Symbol.dispose] = ShortintParameters.prototype.free;
 
 /**
- * @enum {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 | 256 | 257 | 258 | 259 | 260 | 261 | 262 | 263 | 264 | 265 | 266 | 267 | 268 | 269 | 270 | 271 | 272 | 273 | 274 | 275 | 276 | 277 | 278 | 279 | 280 | 281 | 282 | 283 | 284 | 285 | 286 | 287 | 288 | 289 | 290 | 291 | 292 | 293 | 294 | 295 | 296 | 297 | 298 | 299 | 300 | 301 | 302 | 303 | 304 | 305 | 306 | 307 | 308 | 309 | 310 | 311 | 312 | 313 | 314 | 315 | 316 | 317 | 318 | 319 | 320 | 321 | 322 | 323 | 324 | 325 | 326 | 327 | 328 | 329 | 330 | 331 | 332 | 333 | 334 | 335 | 336 | 337 | 338 | 339 | 340 | 341 | 342 | 343 | 344 | 345 | 346 | 347 | 348 | 349 | 350 | 351 | 352 | 353 | 354 | 355 | 356 | 357 | 358 | 359 | 360 | 361 | 362 | 363 | 364 | 365 | 366 | 367 | 368 | 369 | 370 | 371 | 372 | 373 | 374 | 375 | 376 | 377 | 378 | 379 | 380 | 381 | 382 | 383 | 384 | 385 | 386 | 387 | 388 | 389 | 390 | 391 | 392 | 393 | 394 | 395 | 396 | 397 | 398 | 399 | 400 | 401 | 402 | 403 | 404 | 405 | 406 | 407 | 408 | 409 | 410 | 411 | 412 | 413 | 414 | 415 | 416 | 417 | 418 | 419 | 420 | 421 | 422 | 423 | 424 | 425 | 426 | 427 | 428 | 429 | 430 | 431 | 432 | 433 | 434 | 435 | 436 | 437 | 438 | 439 | 440 | 441 | 442 | 443 | 444 | 445 | 446 | 447 | 448 | 449 | 450 | 451 | 452 | 453 | 454 | 455 | 456 | 457 | 458 | 459 | 460 | 461 | 462 | 463 | 464 | 465 | 466 | 467 | 468 | 469 | 470 | 471 | 472 | 473 | 474 | 475 | 476 | 477 | 478 | 479 | 480 | 481 | 482 | 483 | 484 | 485 | 486 | 487 | 488 | 489 | 490 | 491 | 492 | 493 | 494 | 495 | 496 | 497}
+ * @enum {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 | 256 | 257 | 258 | 259 | 260 | 261 | 262 | 263 | 264 | 265 | 266 | 267 | 268 | 269 | 270 | 271 | 272 | 273 | 274 | 275 | 276 | 277 | 278 | 279 | 280 | 281 | 282 | 283 | 284 | 285 | 286 | 287 | 288 | 289 | 290 | 291 | 292 | 293 | 294 | 295 | 296 | 297 | 298 | 299 | 300 | 301 | 302 | 303 | 304 | 305 | 306 | 307 | 308 | 309 | 310 | 311 | 312 | 313 | 314 | 315 | 316 | 317 | 318 | 319 | 320 | 321 | 322 | 323 | 324 | 325 | 326 | 327 | 328 | 329 | 330 | 331 | 332 | 333 | 334 | 335 | 336 | 337 | 338 | 339 | 340 | 341 | 342 | 343 | 344 | 345 | 346 | 347 | 348 | 349 | 350 | 351 | 352 | 353 | 354 | 355 | 356 | 357 | 358 | 359 | 360 | 361 | 362 | 363 | 364 | 365 | 366 | 367 | 368 | 369 | 370 | 371 | 372 | 373 | 374 | 375 | 376 | 377 | 378 | 379 | 380 | 381 | 382 | 383 | 384 | 385 | 386 | 387 | 388 | 389 | 390 | 391 | 392 | 393 | 394 | 395 | 396 | 397 | 398 | 399 | 400 | 401 | 402 | 403 | 404 | 405 | 406 | 407 | 408 | 409 | 410 | 411 | 412 | 413 | 414 | 415 | 416 | 417 | 418 | 419 | 420 | 421 | 422 | 423 | 424 | 425 | 426 | 427 | 428 | 429 | 430 | 431 | 432 | 433 | 434 | 435 | 436 | 437 | 438 | 439 | 440 | 441 | 442 | 443 | 444 | 445 | 446 | 447 | 448 | 449 | 450 | 451 | 452 | 453 | 454 | 455 | 456 | 457 | 458 | 459 | 460 | 461 | 462 | 463 | 464 | 465 | 466 | 467 | 468 | 469 | 470 | 471 | 472 | 473 | 474 | 475 | 476 | 477 | 478 | 479 | 480 | 481 | 482 | 483 | 484 | 485 | 486 | 487 | 488 | 489 | 490 | 491 | 492 | 493 | 494 | 495 | 496 | 497 | 498 | 499 | 500 | 501 | 502 | 503 | 504 | 505 | 506 | 507 | 508 | 509 | 510 | 511 | 512 | 513 | 514 | 515 | 516 | 517 | 518 | 519 | 520 | 521 | 522 | 523 | 524 | 525 | 526 | 527 | 528 | 529 | 530 | 531 | 532 | 533 | 534 | 535 | 536 | 537 | 538 | 539 | 540 | 541 | 542 | 543 | 544 | 545 | 546 | 547 | 548 | 549 | 550 | 551 | 552 | 553 | 554 | 555 | 556 | 557 | 558 | 559 | 560 | 561 | 562 | 563 | 564 | 565 | 566 | 567 | 568}
  */
 export const ShortintParametersName = Object.freeze({
     PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128: 0, "0": "PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128",
@@ -22166,6 +22219,77 @@ export const ShortintParametersName = Object.freeze({
     V1_5_PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_PBS_KS_GAUSSIAN_2M128: 495, "495": "V1_5_PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_PBS_KS_GAUSSIAN_2M128",
     V1_5_PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_PBS_KS_GAUSSIAN_2M128: 496, "496": "V1_5_PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_PBS_KS_GAUSSIAN_2M128",
     V1_5_PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_PBS_KS_GAUSSIAN_2M128: 497, "497": "V1_5_PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_PBS_KS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_0_KS_PBS_GAUSSIAN_2M128: 498, "498": "V1_6_PARAM_MESSAGE_1_CARRY_0_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_1_KS_PBS_GAUSSIAN_2M128: 499, "499": "V1_6_PARAM_MESSAGE_1_CARRY_1_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_0_KS_PBS_GAUSSIAN_2M128: 500, "500": "V1_6_PARAM_MESSAGE_2_CARRY_0_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_2_KS_PBS_GAUSSIAN_2M128: 501, "501": "V1_6_PARAM_MESSAGE_1_CARRY_2_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_1_KS_PBS_GAUSSIAN_2M128: 502, "502": "V1_6_PARAM_MESSAGE_2_CARRY_1_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_0_KS_PBS_GAUSSIAN_2M128: 503, "503": "V1_6_PARAM_MESSAGE_3_CARRY_0_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_3_KS_PBS_GAUSSIAN_2M128: 504, "504": "V1_6_PARAM_MESSAGE_1_CARRY_3_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M128: 505, "505": "V1_6_PARAM_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_1_KS_PBS_GAUSSIAN_2M128: 506, "506": "V1_6_PARAM_MESSAGE_3_CARRY_1_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_4_CARRY_0_KS_PBS_GAUSSIAN_2M128: 507, "507": "V1_6_PARAM_MESSAGE_4_CARRY_0_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_4_KS_PBS_GAUSSIAN_2M128: 508, "508": "V1_6_PARAM_MESSAGE_1_CARRY_4_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_3_KS_PBS_GAUSSIAN_2M128: 509, "509": "V1_6_PARAM_MESSAGE_2_CARRY_3_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_2_KS_PBS_GAUSSIAN_2M128: 510, "510": "V1_6_PARAM_MESSAGE_3_CARRY_2_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_4_CARRY_1_KS_PBS_GAUSSIAN_2M128: 511, "511": "V1_6_PARAM_MESSAGE_4_CARRY_1_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_5_CARRY_0_KS_PBS_GAUSSIAN_2M128: 512, "512": "V1_6_PARAM_MESSAGE_5_CARRY_0_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_5_KS_PBS_GAUSSIAN_2M128: 513, "513": "V1_6_PARAM_MESSAGE_1_CARRY_5_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_4_KS_PBS_GAUSSIAN_2M128: 514, "514": "V1_6_PARAM_MESSAGE_2_CARRY_4_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_3_KS_PBS_GAUSSIAN_2M128: 515, "515": "V1_6_PARAM_MESSAGE_3_CARRY_3_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_4_CARRY_2_KS_PBS_GAUSSIAN_2M128: 516, "516": "V1_6_PARAM_MESSAGE_4_CARRY_2_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_5_CARRY_1_KS_PBS_GAUSSIAN_2M128: 517, "517": "V1_6_PARAM_MESSAGE_5_CARRY_1_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_6_CARRY_0_KS_PBS_GAUSSIAN_2M128: 518, "518": "V1_6_PARAM_MESSAGE_6_CARRY_0_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_6_KS_PBS_GAUSSIAN_2M128: 519, "519": "V1_6_PARAM_MESSAGE_1_CARRY_6_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_5_KS_PBS_GAUSSIAN_2M128: 520, "520": "V1_6_PARAM_MESSAGE_2_CARRY_5_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_4_KS_PBS_GAUSSIAN_2M128: 521, "521": "V1_6_PARAM_MESSAGE_3_CARRY_4_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_4_CARRY_3_KS_PBS_GAUSSIAN_2M128: 522, "522": "V1_6_PARAM_MESSAGE_4_CARRY_3_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_5_CARRY_2_KS_PBS_GAUSSIAN_2M128: 523, "523": "V1_6_PARAM_MESSAGE_5_CARRY_2_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_6_CARRY_1_KS_PBS_GAUSSIAN_2M128: 524, "524": "V1_6_PARAM_MESSAGE_6_CARRY_1_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_7_CARRY_0_KS_PBS_GAUSSIAN_2M128: 525, "525": "V1_6_PARAM_MESSAGE_7_CARRY_0_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_7_KS_PBS_GAUSSIAN_2M128: 526, "526": "V1_6_PARAM_MESSAGE_1_CARRY_7_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_6_KS_PBS_GAUSSIAN_2M128: 527, "527": "V1_6_PARAM_MESSAGE_2_CARRY_6_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_5_KS_PBS_GAUSSIAN_2M128: 528, "528": "V1_6_PARAM_MESSAGE_3_CARRY_5_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_4_CARRY_4_KS_PBS_GAUSSIAN_2M128: 529, "529": "V1_6_PARAM_MESSAGE_4_CARRY_4_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_5_CARRY_3_KS_PBS_GAUSSIAN_2M128: 530, "530": "V1_6_PARAM_MESSAGE_5_CARRY_3_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_6_CARRY_2_KS_PBS_GAUSSIAN_2M128: 531, "531": "V1_6_PARAM_MESSAGE_6_CARRY_2_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_7_CARRY_1_KS_PBS_GAUSSIAN_2M128: 532, "532": "V1_6_PARAM_MESSAGE_7_CARRY_1_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_8_CARRY_0_KS_PBS_GAUSSIAN_2M128: 533, "533": "V1_6_PARAM_MESSAGE_8_CARRY_0_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_1_PBS_KS_GAUSSIAN_2M128: 534, "534": "V1_6_PARAM_MESSAGE_1_CARRY_1_PBS_KS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_2_PBS_KS_GAUSSIAN_2M128: 535, "535": "V1_6_PARAM_MESSAGE_2_CARRY_2_PBS_KS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_3_PBS_KS_GAUSSIAN_2M128: 536, "536": "V1_6_PARAM_MESSAGE_3_CARRY_3_PBS_KS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_4_CARRY_4_PBS_KS_GAUSSIAN_2M128: 537, "537": "V1_6_PARAM_MESSAGE_4_CARRY_4_PBS_KS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 538, "538": "V1_6_PARAM_MESSAGE_1_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 539, "539": "V1_6_PARAM_MESSAGE_1_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_4_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 540, "540": "V1_6_PARAM_MESSAGE_1_CARRY_4_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_5_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 541, "541": "V1_6_PARAM_MESSAGE_1_CARRY_5_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_6_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 542, "542": "V1_6_PARAM_MESSAGE_1_CARRY_6_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_7_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 543, "543": "V1_6_PARAM_MESSAGE_1_CARRY_7_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 544, "544": "V1_6_PARAM_MESSAGE_2_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 545, "545": "V1_6_PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 546, "546": "V1_6_PARAM_MESSAGE_2_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_4_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 547, "547": "V1_6_PARAM_MESSAGE_2_CARRY_4_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_5_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 548, "548": "V1_6_PARAM_MESSAGE_2_CARRY_5_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_6_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 549, "549": "V1_6_PARAM_MESSAGE_2_CARRY_6_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 550, "550": "V1_6_PARAM_MESSAGE_3_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 551, "551": "V1_6_PARAM_MESSAGE_3_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 552, "552": "V1_6_PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_4_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 553, "553": "V1_6_PARAM_MESSAGE_3_CARRY_4_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_5_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 554, "554": "V1_6_PARAM_MESSAGE_3_CARRY_5_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_4_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 555, "555": "V1_6_PARAM_MESSAGE_4_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_4_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 556, "556": "V1_6_PARAM_MESSAGE_4_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_4_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 557, "557": "V1_6_PARAM_MESSAGE_4_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 558, "558": "V1_6_PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_5_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 559, "559": "V1_6_PARAM_MESSAGE_5_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_5_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 560, "560": "V1_6_PARAM_MESSAGE_5_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_5_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 561, "561": "V1_6_PARAM_MESSAGE_5_CARRY_3_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_6_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 562, "562": "V1_6_PARAM_MESSAGE_6_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_6_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 563, "563": "V1_6_PARAM_MESSAGE_6_CARRY_2_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_7_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128: 564, "564": "V1_6_PARAM_MESSAGE_7_CARRY_1_COMPACT_PK_KS_PBS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_1_CARRY_1_COMPACT_PK_PBS_KS_GAUSSIAN_2M128: 565, "565": "V1_6_PARAM_MESSAGE_1_CARRY_1_COMPACT_PK_PBS_KS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_PBS_KS_GAUSSIAN_2M128: 566, "566": "V1_6_PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_PBS_KS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_PBS_KS_GAUSSIAN_2M128: 567, "567": "V1_6_PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_PBS_KS_GAUSSIAN_2M128",
+    V1_6_PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_PBS_KS_GAUSSIAN_2M128: 568, "568": "V1_6_PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_PBS_KS_GAUSSIAN_2M128",
 });
 
 export class ShortintPublicKey {
@@ -22923,7 +23047,7 @@ export function shortint_params_name(param) {
     let deferred2_0;
     let deferred2_1;
     try {
-        const ret = wasm.shortint_params_name(isLikeNone(param) ? 498 : param);
+        const ret = wasm.shortint_params_name(isLikeNone(param) ? 569 : param);
         var ptr1 = ret[0];
         var len1 = ret[1];
         if (ret[3]) {
@@ -23013,89 +23137,88 @@ if (Symbol.dispose) wbg_rayon_PoolBuilder.prototype[Symbol.dispose] = wbg_rayon_
 export function wbg_rayon_start_worker(receiver) {
     wasm.wbg_rayon_start_worker(receiver);
 }
-
 function __wbg_get_imports(memory) {
     const import0 = {
         __proto__: null,
-        __wbg_BigInt_7882274c8d2ac74c: function() { return handleError(function (arg0) {
+        __wbg_BigInt_65bcea251e788083: function(arg0) {
             const ret = BigInt(arg0);
             return ret;
-        }, arguments); },
-        __wbg_BigInt_dea56efbbd197f86: function(arg0) {
+        },
+        __wbg_BigInt_ccbca793f456e582: function() { return handleError(function (arg0) {
             const ret = BigInt(arg0);
             return ret;
-        },
-        __wbg_Error_83742b46f01ce22d: function(arg0, arg1) {
+        }, arguments); },
+        __wbg_Error_960c155d3d49e4c2: function(arg0, arg1) {
             const ret = Error(getStringFromWasm0(arg0, arg1));
             return ret;
         },
-        __wbg___wbindgen_bigint_get_as_i64_447a76b5c6ef7bda: function(arg0, arg1) {
+        __wbg___wbindgen_bigint_get_as_i64_3d3aba5d616c6a51: function(arg0, arg1) {
             const v = arg1;
             const ret = typeof(v) === 'bigint' ? v : undefined;
             getDataViewMemory0().setBigInt64(arg0 + 8 * 1, isLikeNone(ret) ? BigInt(0) : ret, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, !isLikeNone(ret), true);
         },
-        __wbg___wbindgen_bit_and_dba6f4f3921eb91f: function(arg0, arg1) {
+        __wbg___wbindgen_bit_and_96f696c56b4950d5: function(arg0, arg1) {
             const ret = arg0 & arg1;
             return ret;
         },
-        __wbg___wbindgen_bit_or_d52c1d490c34939f: function(arg0, arg1) {
+        __wbg___wbindgen_bit_or_d564c2751fdac6c9: function(arg0, arg1) {
             const ret = arg0 | arg1;
             return ret;
         },
-        __wbg___wbindgen_debug_string_5398f5bb970e0daa: function(arg0, arg1) {
+        __wbg___wbindgen_debug_string_ab4b34d23d6778bd: function(arg0, arg1) {
             const ret = debugString(arg1);
             const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
             const len1 = WASM_VECTOR_LEN;
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg___wbindgen_is_function_3c846841762788c1: function(arg0) {
+        __wbg___wbindgen_is_function_3baa9db1a987f47d: function(arg0) {
             const ret = typeof(arg0) === 'function';
             return ret;
         },
-        __wbg___wbindgen_is_object_781bc9f159099513: function(arg0) {
+        __wbg___wbindgen_is_object_63322ec0cd6ea4ef: function(arg0) {
             const val = arg0;
             const ret = typeof(val) === 'object' && val !== null;
             return ret;
         },
-        __wbg___wbindgen_is_string_7ef6b97b02428fae: function(arg0) {
+        __wbg___wbindgen_is_string_6df3bf7ef1164ed3: function(arg0) {
             const ret = typeof(arg0) === 'string';
             return ret;
         },
-        __wbg___wbindgen_is_undefined_52709e72fb9f179c: function(arg0) {
+        __wbg___wbindgen_is_undefined_29a43b4d42920abd: function(arg0) {
             const ret = arg0 === undefined;
             return ret;
         },
-        __wbg___wbindgen_jsval_eq_ee31bfad3e536463: function(arg0, arg1) {
+        __wbg___wbindgen_jsval_eq_d3465d8a07697228: function(arg0, arg1) {
             const ret = arg0 === arg1;
             return ret;
         },
-        __wbg___wbindgen_lt_8327de055fabd03f: function(arg0, arg1) {
+        __wbg___wbindgen_lt_78bab382628fb48f: function(arg0, arg1) {
             const ret = arg0 < arg1;
             return ret;
         },
-        __wbg___wbindgen_memory_edb3f01e3930bbf6: function() {
+        __wbg___wbindgen_memory_dfa12096f400c9bd: function() {
             const ret = wasm.memory;
             return ret;
         },
-        __wbg___wbindgen_module_bf945c07123bafe2: function() {
+        __wbg___wbindgen_module_b5e6fb95dbdb7d7e: function() {
             const ret = wasmModule;
             return ret;
         },
-        __wbg___wbindgen_neg_23fd9afe84ba8be3: function(arg0) {
+        __wbg___wbindgen_neg_8d39d23ef65c9fdb: function(arg0) {
             const ret = -arg0;
             return ret;
         },
-        __wbg___wbindgen_shl_602e1a0d3a841bf5: function(arg0, arg1) {
+        __wbg___wbindgen_shl_c7ea4173387a1669: function(arg0, arg1) {
             const ret = arg0 << arg1;
             return ret;
         },
-        __wbg___wbindgen_shr_2669cdfc0644ce0d: function(arg0, arg1) {
+        __wbg___wbindgen_shr_436553cbaef41a66: function(arg0, arg1) {
             const ret = arg0 >> arg1;
             return ret;
         },
-        __wbg___wbindgen_string_get_395e606bd0ee4427: function(arg0, arg1) {
+        __wbg___wbindgen_string_get_7ed5322991caaec5: function(arg0, arg1) {
             const obj = arg1;
             const ret = typeof(obj) === 'string' ? obj : undefined;
             var ptr1 = isLikeNone(ret) ? 0 : passStringToWasm0(ret, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
@@ -23103,10 +23226,10 @@ function __wbg_get_imports(memory) {
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg___wbindgen_throw_6ddd609b62940d55: function(arg0, arg1) {
+        __wbg___wbindgen_throw_6b64449b9b9ed33c: function(arg0, arg1) {
             throw new Error(getStringFromWasm0(arg0, arg1));
         },
-        __wbg_call_2d781c1f4d5c0ef8: function() { return handleError(function (arg0, arg1, arg2) {
+        __wbg_call_a24592a6f349a97e: function() { return handleError(function (arg0, arg1, arg2) {
             const ret = arg0.call(arg1, arg2);
             return ret;
         }, arguments); },
@@ -23128,11 +23251,11 @@ function __wbg_get_imports(memory) {
         __wbg_getRandomValues_c44a50d8cfdaebeb: function() { return handleError(function (arg0, arg1) {
             arg0.getRandomValues(arg1);
         }, arguments); },
-        __wbg_getTime_1dad7b5386ddd2d9: function(arg0) {
+        __wbg_getTime_da7c55f52b71e8c6: function(arg0) {
             const ret = arg0.getTime();
             return ret;
         },
-        __wbg_instanceof_Window_23e677d2c6843922: function(arg0) {
+        __wbg_instanceof_Window_cc64c86c8ef9e02b: function(arg0) {
             let result;
             try {
                 result = arg0 instanceof Window;
@@ -23142,7 +23265,7 @@ function __wbg_get_imports(memory) {
             const ret = result;
             return ret;
         },
-        __wbg_length_ea16607d7b61445b: function(arg0) {
+        __wbg_length_9f1775224cf1d815: function(arg0) {
             const ret = arg0.length;
             return ret;
         },
@@ -23150,7 +23273,7 @@ function __wbg_get_imports(memory) {
             const ret = arg0.msCrypto;
             return ret;
         },
-        __wbg_new_0_1dcafdf5e786e876: function() {
+        __wbg_new_0_4d657201ced14de3: function() {
             const ret = new Date();
             return ret;
         },
@@ -23158,7 +23281,7 @@ function __wbg_get_imports(memory) {
             const ret = new Error();
             return ret;
         },
-        __wbg_new_with_length_825018a1616e9e55: function(arg0) {
+        __wbg_new_with_length_8c854e41ea4dae9b: function(arg0) {
             const ret = new Uint8Array(arg0 >>> 0);
             return ret;
         },
@@ -23170,7 +23293,7 @@ function __wbg_get_imports(memory) {
             const ret = arg0.process;
             return ret;
         },
-        __wbg_prototypesetcall_d62e5099504357e6: function(arg0, arg1, arg2) {
+        __wbg_prototypesetcall_a6b02eb00b0f4ce2: function(arg0, arg1, arg2) {
             Uint8Array.prototype.set.call(getArrayU8FromWasm0(arg0, arg1), arg2);
         },
         __wbg_randomFillSync_6c25eac9869eb53c: function() { return handleError(function (arg0, arg1) {
@@ -23191,37 +23314,37 @@ function __wbg_get_imports(memory) {
             const ret = startWorkers(arg0, arg1, wbg_rayon_PoolBuilder.__wrap(arg2));
             return ret;
         },
-        __wbg_static_accessor_GLOBAL_8adb955bd33fac2f: function() {
+        __wbg_static_accessor_GLOBAL_8cfadc87a297ca02: function() {
             const ret = typeof global === 'undefined' ? null : global;
             return isLikeNone(ret) ? 0 : addToExternrefTable0(ret);
         },
-        __wbg_static_accessor_GLOBAL_THIS_ad356e0db91c7913: function() {
+        __wbg_static_accessor_GLOBAL_THIS_602256ae5c8f42cf: function() {
             const ret = typeof globalThis === 'undefined' ? null : globalThis;
             return isLikeNone(ret) ? 0 : addToExternrefTable0(ret);
         },
-        __wbg_static_accessor_SELF_f207c857566db248: function() {
+        __wbg_static_accessor_SELF_e445c1c7484aecc3: function() {
             const ret = typeof self === 'undefined' ? null : self;
             return isLikeNone(ret) ? 0 : addToExternrefTable0(ret);
         },
-        __wbg_static_accessor_WINDOW_bb9f1ba69d61b386: function() {
+        __wbg_static_accessor_WINDOW_f20e8576ef1e0f17: function() {
             const ret = typeof window === 'undefined' ? null : window;
             return isLikeNone(ret) ? 0 : addToExternrefTable0(ret);
         },
-        __wbg_subarray_a068d24e39478a8a: function(arg0, arg1, arg2) {
+        __wbg_subarray_f8ca46a25b1f5e0d: function(arg0, arg1, arg2) {
             const ret = arg0.subarray(arg1 >>> 0, arg2 >>> 0);
             return ret;
         },
-        __wbg_toString_f3426b54472f960a: function(arg0, arg1, arg2) {
+        __wbg_toString_6dc1a94e0bdba378: function(arg0) {
+            const ret = arg0.toString();
+            return ret;
+        },
+        __wbg_toString_c96dc76d5547a715: function(arg0, arg1, arg2) {
             const ret = arg1.toString(arg2);
             const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
             const len1 = WASM_VECTOR_LEN;
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg_toString_fca8b5e46235cfb4: function(arg0) {
-            const ret = arg0.toString();
-            return ret;
-        },
         __wbg_versions_276b2795b1c6a219: function(arg0) {
             const ret = arg0.versions;
             return ret;