@provablehq/wasm 0.8.2 → 0.8.6

package/README.md

@@ -58,4 +58,4 @@ wasm-pack test --[firefox/chrome/safari]
 Further documentation and tutorials as to how to use the modules built from this crate to build web apps will be built
 in the future. However, in the meantime, the [provable.tools](https://provable.tools) website is a good
 example of how to use these modules to build a web app. Its source code can be found in the
-[Aleo SDK](https://github.com/ProvableHQ/sdk) repo in the `website` folder.
+[Provable SDK](https://github.com/ProvableHQ/sdk) repo in the `website` folder.

package/dist/mainnet/aleo_wasm.d.ts

@@ -62,6 +62,114 @@ export class Address {
    */
   verify(message: Uint8Array, signature: Signature): boolean;
 }
+export class BHP1024 {
+  free(): void;
+  /**
+   * Create a BHP hasher with an input size of 1024 bits.
+   */
+  constructor();
+  /**
+   * Create a BHP hasher with an input size of 1024 bits with a custom domain separator.
+   */
+  static setup(domain_separator: string): BHP1024;
+  /**
+   * Returns the BHP hash with an input hasher of 1024 bits.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns a BHP hash with an input hasher of 1024 bits.
+   */
+  hashToGroup(input: Array<any>): Group;
+  /**
+   * Returns a BHP commitment with an input hasher of 1024 bits and randomizer.
+   */
+  commit(input: Array<any>, randomizer: Scalar): Field;
+  /**
+   * Returns a BHP commitment with an input hasher of 1024 bits and randomizer.
+   */
+  commitToGroup(input: Array<any>, randomizer: Scalar): Group;
+}
+export class BHP256 {
+  free(): void;
+  /**
+   * Create a BHP hasher with an input size of 256 bits.
+   */
+  constructor();
+  /**
+   * Create a BHP hasher with an input size of 256 bits with a custom domain separator.
+   */
+  static setup(domain_separator: string): BHP256;
+  /**
+   * Returns the BHP hash with an input hasher of 256 bits.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns a BHP hash with an input hasher of 256 bits.
+   */
+  hashToGroup(input: Array<any>): Group;
+  /**
+   * Returns a BHP commitment with an input hasher of 256 bits and randomizer.
+   */
+  commit(input: Array<any>, randomizer: Scalar): Field;
+  /**
+   * Returns a BHP commitment with an input hasher of 256 bits and randomizer.
+   */
+  commitToGroup(input: Array<any>, randomizer: Scalar): Group;
+}
+export class BHP512 {
+  free(): void;
+  /**
+   * Create a BHP hasher with an input size of 512 bits.
+   */
+  constructor();
+  /**
+   * Create a BHP hasher with an input size of 512 bits with a custom domain separator.
+   */
+  static setup(domain_separator: string): BHP512;
+  /**
+   * Returns the BHP hash with an input hasher of 512 bits.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns a BHP hash with an input hasher of 512 bits.
+   */
+  hashToGroup(input: Array<any>): Group;
+  /**
+   * Returns a BHP commitment with an input hasher of 512 bits and randomizer.
+   */
+  commit(input: Array<any>, randomizer: Scalar): Field;
+  /**
+   * Returns a BHP commitment with an input hasher of 512 bits and randomizer.
+   */
+  commitToGroup(input: Array<any>, randomizer: Scalar): Group;
+}
+export class BHP768 {
+  free(): void;
+  /**
+   * Create a BHP hasher with an input size of 768 bits.
+   */
+  constructor();
+  /**
+   * Create a BHP hasher with an input size of 768 bits with a custom domain separator.
+   */
+  static setup(domain_separator: string): BHP768;
+  /**
+   * Returns the BHP hash with an input hasher of 768 bits.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns a BHP hash with an input hasher of 768 bits.
+   */
+  hashToGroup(input: Array<any>): Group;
+  /**
+   * Returns a BHP commitment with an input hasher of 768 bits and randomizer.
+   */
+  commit(input: Array<any>, randomizer: Scalar): Field;
+  /**
+   * Returns a BHP commitment with an input hasher of 768 bits and randomizer.
+   */
+  commitToGroup(input: Array<any>, randomizer: Scalar): Group;
+}
 /**
  * SnarkVM Ciphertext object. A Ciphertext represents an symmetrically encrypted plaintext. This
  * object provides decryption methods to recover the plaintext from the ciphertext (given the
@@ -82,7 +190,16 @@ export class Ciphertext {
    */
   decrypt(view_key: ViewKey, nonce: Group): Plaintext;
   /**
-   * Decrypts a ciphertext into plaintext using the given transition view key.
+   * Decrypt a ciphertext using the view key of the transition signer, transition public key, and
+   * (program, function, index) tuple.
+   */
+  decrypt_with_transition_info(view_key: ViewKey, transition_public_key: Group, program: string, function_name: string, index: number): Plaintext;
+  /**
+   * Decrypt a ciphertext using the transition view key and a (program, function, index) tuple.
+   */
+  decrypt_with_transition_view_key(transition_view_key: Field, program: string, function_name: string, index: number): Plaintext;
+  /**
+   * Decrypts a ciphertext into plaintext using the given ciphertext view key.
    *
    * @param {Field} transition_view_key The transition view key that was used to encrypt the ciphertext.
    *
@@ -246,17 +363,37 @@ export class Field {
   private constructor();
   free(): void;
   /**
-   * Creates a field object from a string representation of a field.
+   * Creates a field object from a string representation of a field element.
    */
   static fromString(field: string): Field;
   /**
-   * Create a plaintext element from a group element.
+   * Returns the string representation of the field element.
+   */
+  toString(): string;
+  /**
+   * Create a field element from a Uint8Array of left endian bytes.
+   */
+  static fromBytesLe(bytes: Uint8Array): Field;
+  /**
+   * Encode the field element as a Uint8Array of left endian bytes.
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Reconstruct a field element from a boolean array representation.
+   */
+  static fromBitsLe(bits: Array<any>): Field;
+  /**
+   * Get the left endian boolean array representation of the field element.
+   */
+  toBitsLe(): Array<any>;
+  /**
+   * Create a plaintext from the field element.
    */
   toPlaintext(): Plaintext;
   /**
-   * Returns the string representation of the field.
+   * Clone the field element.
    */
-  toString(): string;
+  clone(): Field;
   /**
    * Generate a random field element.
    */
@@ -286,11 +423,11 @@ export class Field {
    */
   inverse(): Field;
   /**
-   * Get the zero element of the field.
+   * Get the additive identity element of the field.
    */
   static zero(): Field;
   /**
-   * Get the one element of the field.
+   * Get the multiplicative identity of the field.
    */
   static one(): Field;
   /**
@@ -337,13 +474,29 @@ export class Group {
   private constructor();
   free(): void;
   /**
-   * Creates a group object from a string representation of a group.
+   * Creates a group object from a string representation of a group element.
    */
   static fromString(group: string): Group;
   /**
-   * Returns the string representation of the group.
+   * Returns the string representation of the group element.
    */
   toString(): string;
+  /**
+   * Create a group element from a Uint8Array of left endian bytes.
+   */
+  static fromBytesLe(bytes: Uint8Array): Group;
+  /**
+   * Encode the group element as a Uint8Array of left endian bytes.
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Reconstruct a group element from a boolean array representation.
+   */
+  static fromBitsLe(bits: Array<any>): Group;
+  /**
+   * Get the left endian boolean array representation of the group element.
+   */
+  toBitsLe(): Array<any>;
   /**
    * Get the x-coordinate of the group element.
    */
@@ -352,6 +505,10 @@ export class Group {
    * Create a plaintext element from a group element.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Clone the group element.
+   */
+  clone(): Group;
   /**
    * Generate a random group element.
    */
@@ -471,6 +628,52 @@ export class OfflineQuery {
    */
   static fromString(s: string): OfflineQuery;
 }
+export class Pedersen128 {
+  free(): void;
+  /**
+   * Create a Pedersen hasher for a given (up to) 128-bit input.
+   */
+  constructor();
+  /**
+   * Create a Pedersen hasher for a given (up to) 128-bit input with a custom domain separator.
+   */
+  static setup(domain_separator: string): Pedersen128;
+  /**
+   * Returns the Pedersen hash for a given (up to) 128-bit input.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns a Pedersen commitment for the given (up to) 128-bit input and randomizer.
+   */
+  commit(input: Array<any>, randomizer: Scalar): Field;
+  /**
+   * Returns a Pedersen commitment for the given (up to) 128-bit input and randomizer.
+   */
+  commitToGroup(input: Array<any>, randomizer: Scalar): Group;
+}
+export class Pedersen64 {
+  free(): void;
+  /**
+   * Create a Pedersen hasher for a given (up to) 64-bit input.
+   */
+  constructor();
+  /**
+   * Create a Pedersen64 hasher for a given (up to) 64-bit input with a custom domain separator.
+   */
+  static setup(domain_separator: string): Pedersen64;
+  /**
+   * Returns the Pedersen hash for a given (up to) 64-bit input.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns a Pedersen commitment for the given (up to) 64-bit input and randomizer.
+   */
+  commit(input: Array<any>, randomizer: Scalar): Field;
+  /**
+   * Returns a Pedersen commitment for the given (up to) 64-bit input and randomizer.
+   */
+  commitToGroup(input: Array<any>, randomizer: Scalar): Group;
+}
 /**
  * SnarkVM Plaintext object. Plaintext is a fundamental monadic type used to represent Aleo
  * primitive types (boolean, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128,
@@ -552,6 +755,87 @@ export class Plaintext {
    */
   toObject(): any;
 }
+export class Poseidon2 {
+  free(): void;
+  /**
+   * Create a Poseidon hasher with an input rate of 2.
+   */
+  constructor();
+  /**
+   * Create a Poseidon hasher with an input rate of 2 and a custom domain separator.
+   */
+  static setup(domain_separator: string): Poseidon2;
+  /**
+   * Returns the Poseidon hash with an input rate of 2.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns the extended Poseidon hash with an input rate of 2.
+   */
+  hashMany(input: Array<any>, num_outputs: number): Array<any>;
+  /**
+   * Returns the Poseidon hash with an input rate of 2 on the scalar field.
+   */
+  hashToScalar(input: Array<any>): Scalar;
+  /**
+   * Returns the Poseidon hash with an input rate of 2 on the affine curve.
+   */
+  hashToGroup(input: Array<any>): Group;
+}
+export class Poseidon4 {
+  free(): void;
+  /**
+   * Create a Poseidon hasher with an input rate of 4.
+   */
+  constructor();
+  /**
+   * Create a Poseidon hasher with an input rate of 4 and a custom domain separator.
+   */
+  static setup(domain_separator: string): Poseidon4;
+  /**
+   * Returns the Poseidon hash with an input rate of 4.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns the extended Poseidon hash with an input rate of 4.
+   */
+  hashMany(input: Array<any>, num_outputs: number): Array<any>;
+  /**
+   * Returns the Poseidon hash with an input rate of 4 on the scalar field.
+   */
+  hashToScalar(input: Array<any>): Scalar;
+  /**
+   * Returns the Poseidon hash with an input rate of 4 on the affine curve.
+   */
+  hashToGroup(input: Array<any>): Group;
+}
+export class Poseidon8 {
+  free(): void;
+  /**
+   * Create a Poseidon hasher with an input rate of 8.
+   */
+  constructor();
+  /**
+   * Create a Poseidon hasher with an input rate of 8 and a custom domain separator.
+   */
+  static setup(domain_separator: string): Poseidon8;
+  /**
+   * Returns the Poseidon hash with an input rate of 8.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns the extended Poseidon hash with an input rate of 8.
+   */
+  hashMany(input: Array<any>, num_outputs: number): Array<any>;
+  /**
+   * Returns the Poseidon hash with an input rate of 8 on the scalar field.
+   */
+  hashToScalar(input: Array<any>): Scalar;
+  /**
+   * Returns the Poseidon hash with an input rate of 8 on the affine curve.
+   */
+  hashToGroup(input: Array<any>): Group;
+}
 /**
  * Private key of an Aleo account
  */
@@ -1432,19 +1716,39 @@ export class Scalar {
   private constructor();
   free(): void;
   /**
-   * Returns the string representation of the group.
+   * Creates a scalar object from a string representation of a scalar element.
+   */
+  static fromString(group: string): Scalar;
+  /**
+   * Returns the string representation of the scalar element.
    */
   toString(): string;
   /**
-   * Create a plaintext element from a group element.
+   * Create a scalar element from a Uint8Array of left endian bytes.
+   */
+  static fromBytesLe(bytes: Uint8Array): Scalar;
+  /**
+   * Encode the scalar element as a Uint8Array of left endian bytes.
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Reconstruct a scalar element from a boolean array representation.
+   */
+  static fromBitsLe(bits: Array<any>): Scalar;
+  /**
+   * Get the left endian boolean array representation of the scalar element.
+   */
+  toBitsLe(): Array<any>;
+  /**
+   * Create a plaintext element from a scalar element.
    */
   toPlaintext(): Plaintext;
   /**
-   * Creates a group object from a string representation of a group.
+   * Clone the scalar element.
    */
-  static fromString(group: string): Scalar;
+  clone(): Scalar;
   /**
-   * Generate a random group element.
+   * Generate a random scalar element.
    */
   static random(): Scalar;
   /**
@@ -1476,11 +1780,11 @@ export class Scalar {
    */
   inverse(): Scalar;
   /**
-   * Creates a one valued element of the scalar field.
+   * Get the multiplicative identity of the scalar field.
    */
   static one(): Scalar;
   /**
-   * Creates a zero valued element of the scalar field
+   * Get the additive identity of the scalar field.
    */
   static zero(): Scalar;
   /**
@@ -1792,6 +2096,10 @@ export class Transition {
    * Get the transition public key of the transition.
    */
   tpk(): Group;
+  /**
+   * Get the transition view key of the transition.
+   */
+  tvk(view_key: ViewKey): Field;
   /**
    * Get the transition commitment of the transition.
    */