@provablehq/wasm 0.7.2 → 0.8.0

package/dist/mainnet/aleo_wasm.d.ts

@@ -51,6 +51,14 @@ export class Address {
 */
   static from_view_key(view_key: ViewKey): Address;
 /**
+* Derive an Aleo address from a compute key.
+*
+* @param {ComputeKey} compute_key The compute key to derive the address from
+* @param {ComputeKey} compute_key
+* @returns {Address}
+*/
+  static from_compute_key(compute_key: ComputeKey): Address;
+/**
 * Create an aleo address object from a string representation of an address
 *
 * @param {string} address String representation of an addressm
@@ -79,21 +87,155 @@ export class Address {
   verify(message: Uint8Array, signature: Signature): boolean;
 }
 /**
+* SnarkVM Ciphertext object. A Ciphertext represents an symmetrically encrypted plaintext. This
+* object provides decryption methods to recover the plaintext from the ciphertext (given the
+* api consumer has the proper decryption materials).
+*
+* @example
+*/
+export class Ciphertext {
+  free(): void;
+/**
+* Decrypt the ciphertext using the given view key.
+*
+* @param {ViewKey} The view key of the account that encrypted the ciphertext.
+* @param {Group} The nonce used to encrypt the ciphertext.
+*
+* @returns {Plaintext} The decrypted plaintext.
+* @param {ViewKey} view_key
+* @param {Group} nonce
+* @returns {Plaintext}
+*/
+  decrypt(view_key: ViewKey, nonce: Group): Plaintext;
+/**
+* Decrypts a ciphertext into plaintext using the given transition view key.
+*
+* @param {Field} transition_view_key The transition view key that was used to encrypt the ciphertext.
+*
+* @returns {Plaintext} The decrypted plaintext.
+* @param {Field} transition_view_key
+* @returns {Plaintext}
+*/
+  decryptSymmetric(transition_view_key: Field): Plaintext;
+/**
+* Deserialize a left endian byte array into a Ciphertext.
+*
+* @param {Uint8Array} bytes The byte array representing the Ciphertext.
+*
+* @returns {Ciphertext} The Ciphertext object.
+* @param {Uint8Array} bytes
+* @returns {Ciphertext}
+*/
+  static fromBytesLe(bytes: Uint8Array): Ciphertext;
+/**
+* Deserialize a Ciphertext string into a Ciphertext object.
+*
+* @param {string} ciphertext A string representation of the ciphertext.
+*
+* @returns {Ciphertext} The Ciphertext object.
+* @param {string} ciphertext
+* @returns {Ciphertext}
+*/
+  static fromString(ciphertext: string): Ciphertext;
+/**
+* Serialize a Ciphertext object into a byte array.
+*
+* @returns {Uint8Array} The serialized Ciphertext.
+* @returns {Uint8Array}
+*/
+  toBytes(): Uint8Array;
+/**
+* Serialize a Ciphertext into a js string.
+*
+* @returns {string} The serialized Ciphertext.
+* @returns {string}
+*/
+  toString(): string;
+}
+/**
+*/
+export class ComputeKey {
+  free(): void;
+/**
+* Create a new compute key from a private key.
+*
+* @param {PrivateKey} private_key Private key
+*
+* @returns {ComputeKey} Compute key
+* @param {PrivateKey} private_key
+* @returns {ComputeKey}
+*/
+  static from_private_key(private_key: PrivateKey): ComputeKey;
+/**
+* Get the address from the compute key.
+*
+* @returns {Address}
+* @returns {Address}
+*/
+  address(): Address;
+/**
+* Get the sk_prf of the compute key.
+*
+* @returns {Scalar} sk_prf
+* @returns {Scalar}
+*/
+  sk_prf(): Scalar;
+/**
+* Get the pr_tag of the compute key.
+*
+* @returns {Group} pr_tag
+* @returns {Group}
+*/
+  pk_sig(): Group;
+/**
+* Get the pr_sig of the compute key.
+*
+* @returns {Group} pr_sig
+* @returns {Group}
+*/
+  pr_sig(): Group;
+}
+/**
 * Execution of an Aleo program.
 */
 export class Execution {
   free(): void;
 /**
 * Returns the string representation of the execution.
+*
+* @returns {string} The string representation of the execution.
 * @returns {string}
 */
   toString(): string;
 /**
 * Creates an execution object from a string representation of an execution.
+*
+* @returns {Execution | Error} The wasm representation of an execution object.
 * @param {string} execution
 * @returns {Execution}
 */
   static fromString(execution: string): Execution;
+/**
+* Returns the global state root of the execution.
+*
+* @returns {Execution | Error} The global state root used in the execution.
+* @returns {string}
+*/
+  globalStateRoot(): string;
+/**
+* Returns the proof of the execution.
+*
+* @returns {string} The execution proof.
+* @returns {string}
+*/
+  proof(): string;
+/**
+* Returns the transitions present in the execution.
+*
+* @returns Array<Transition> the array of transitions present in the execution.
+* @returns {Array<any>}
+*/
+  transitions(): Array<any>;
 }
 /**
 * Webassembly Representation of an Aleo function execution response
@@ -150,18 +292,199 @@ export class ExecutionResponse {
   getProgram(): Program;
 }
 /**
+* Field element.
 */
 export class Field {
   free(): void;
 /**
+* Creates a field object from a string representation of a field.
+* @param {string} field
+* @returns {Field}
+*/
+  static fromString(field: string): Field;
+/**
+* Create a plaintext element from a group element.
+* @returns {Plaintext}
+*/
+  toPlaintext(): Plaintext;
+/**
+* Returns the string representation of the field.
 * @returns {string}
 */
   toString(): string;
 /**
-* @param {string} field
+* Generate a random field element.
 * @returns {Field}
 */
-  static fromString(field: string): Field;
+  static random(): Field;
+/**
+* Add two field elements.
+* @param {Field} other
+* @returns {Field}
+*/
+  add(other: Field): Field;
+/**
+* Subtract two field elements.
+* @param {Field} other
+* @returns {Field}
+*/
+  subtract(other: Field): Field;
+/**
+* Multiply two field elements.
+* @param {Field} other
+* @returns {Field}
+*/
+  multiply(other: Field): Field;
+/**
+* Divide two field elements.
+* @param {Field} other
+* @returns {Field}
+*/
+  divide(other: Field): Field;
+/**
+* Power of a field element.
+* @param {Field} other
+* @returns {Field}
+*/
+  pow(other: Field): Field;
+/**
+* Invert the field element.
+* @returns {Field}
+*/
+  inverse(): Field;
+/**
+* Get the zero element of the field.
+* @returns {Field}
+*/
+  static zero(): Field;
+/**
+* Get the one element of the field.
+* @returns {Field}
+*/
+  static one(): Field;
+/**
+* Double the field element.
+* @returns {Field}
+*/
+  double(): Field;
+/**
+* Check if one field element equals another.
+* @param {Field} other
+* @returns {boolean}
+*/
+  equals(other: Field): boolean;
+}
+/**
+*/
+export class GraphKey {
+  free(): void;
+/**
+* Create a new graph key from a view key.
+*
+* @param {ViewKey} view_key View key
+* @returns {GraphKey} Graph key
+* @param {ViewKey} view_key
+* @returns {GraphKey}
+*/
+  static from_view_key(view_key: ViewKey): GraphKey;
+/**
+* Create a new graph key from a string representation of a graph key
+*
+* @param {string} graph_key String representation of a graph key
+* @returns {GraphKey} Graph key
+* @param {string} graph_key
+* @returns {GraphKey}
+*/
+  static from_string(graph_key: string): GraphKey;
+/**
+* Get a string representation of a graph key
+*
+* @returns {string} String representation of a graph key
+* @returns {string}
+*/
+  to_string(): string;
+/**
+* Get the sk_tag of the graph key. Used to determine ownership of records.
+* @returns {Field}
+*/
+  sk_tag(): Field;
+}
+/**
+* Elliptic curve element.
+*/
+export class Group {
+  free(): void;
+/**
+* Creates a group object from a string representation of a group.
+* @param {string} group
+* @returns {Group}
+*/
+  static fromString(group: string): Group;
+/**
+* Returns the string representation of the group.
+* @returns {string}
+*/
+  toString(): string;
+/**
+* Get the x-coordinate of the group element.
+* @returns {Field}
+*/
+  toXCoordinate(): Field;
+/**
+* Create a plaintext element from a group element.
+* @returns {Plaintext}
+*/
+  toPlaintext(): Plaintext;
+/**
+* Generate a random group element.
+* @returns {Group}
+*/
+  static random(): Group;
+/**
+* Add two group elements.
+* @param {Group} other
+* @returns {Group}
+*/
+  add(other: Group): Group;
+/**
+* Subtract two group elements (equivalently: add the inverse of an element).
+* @param {Group} other
+* @returns {Group}
+*/
+  subtract(other: Group): Group;
+/**
+* Multiply a group element by a scalar element.
+* @param {Scalar} scalar
+* @returns {Group}
+*/
+  scalarMultiply(scalar: Scalar): Group;
+/**
+* Double the group element.
+* @returns {Group}
+*/
+  double(): Group;
+/**
+* Get the inverse of the group element. This is the reflection of the point about the axis
+* of symmetry i.e. (x,y) -> (x, -y).
+* @returns {Group}
+*/
+  inverse(): Group;
+/**
+* Check if one group element equals another.
+* @param {Group} other
+* @returns {boolean}
+*/
+  equals(other: Group): boolean;
+/**
+* Get the group identity element under the group operation (i.e. the point at infinity.)
+* @returns {Group}
+*/
+  static zero(): Group;
+/**
+* Get the generator of the group.
+* @returns {Group}
+*/
+  static generator(): Group;
 }
 /**
 * Key pair object containing both the function proving and verifying keys
@@ -316,6 +639,101 @@ export class OfflineQuery {
   static fromString(s: string): OfflineQuery;
 }
 /**
+* 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,
+* scalar, and signature), struct types, and array types.
+*
+* In the context of a web or NodeJS application, this type is useful for turning an Aleo type into
+* a JS value, object, or array that might be necessary for performing computations within the
+* application.
+*
+* @example
+* // Get the bond state of an existing address.
+* const bondState = await fetch(https://api.explorer.provable.com/v1/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
+* // Convert the bond state to a Plaintext object.
+* const bondStatePlaintext = Plaintext.fromString(bond_state);
+* // Convert the Plaintext object to a JS object.
+* const bondStateObject = bond_state_plaintext.toObject();
+* // Check if the bond state matches the expected object.
+* const expectedObject = { validator: "aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f", microcredits: 100000000u64 };
+* assert( JSON.stringify(bondStateObject) === JSON.stringify(expectedObject) );
+*/
+export class Plaintext {
+  free(): void;
+/**
+* Find plaintext member if the plaintext is a struct. Returns `null` if the plaintext is not
+* a struct or the member does not exist.
+*
+* @param {string} name The name of the plaintext member to find.
+*
+* @returns {Plaintext} The plaintext member.
+* @param {string} name
+* @returns {Plaintext}
+*/
+  find(name: string): Plaintext;
+/**
+* Encrypt a plaintext with an address and randomizer.
+* @param {Address} address
+* @param {Scalar} randomizer
+* @returns {Ciphertext}
+*/
+  encrypt(address: Address, randomizer: Scalar): Ciphertext;
+/**
+* Encrypt a plaintext with a transition view key.
+* @param {Field} transition_view_key
+* @returns {Ciphertext}
+*/
+  encryptSymmetric(transition_view_key: Field): Ciphertext;
+/**
+* Creates a plaintext object from a string representation of a plaintext.
+*
+* @param {string} plaintext The string representation of the plaintext.
+*
+* @returns {Plaintext} The plaintext object.
+* @param {string} plaintext
+* @returns {Plaintext}
+*/
+  static fromString(plaintext: string): Plaintext;
+/**
+* Get a plaintext object from a series of bytes.
+*
+* @param {Uint8Array} bytes A left endian byte array representing the plaintext.
+*
+* @returns {Plaintext} The plaintext object.
+* @param {Uint8Array} bytes
+* @returns {Plaintext}
+*/
+  static fromBytesLe(bytes: Uint8Array): Plaintext;
+/**
+* Generate a random plaintext element from a series of bytes.
+*
+* @param {Uint8Array} bytes A left endian byte array representing the plaintext.
+* @returns {Uint8Array}
+*/
+  toBytesLe(): Uint8Array;
+/**
+* Returns the string representation of the plaintext.
+*
+* @returns {string} The string representation of the plaintext.
+* @returns {string}
+*/
+  toString(): string;
+/**
+* Gives the type of the plaintext.
+*
+* @returns {string} The type of the plaintext.
+* @returns {string}
+*/
+  plaintextType(): string;
+/**
+* Attempt to convert the plaintext to a JS object.
+*
+* @returns {Object} The JS object representation of the plaintext.
+* @returns {any}
+*/
+  toObject(): any;
+}
+/**
 * Private key of an Aleo account
 */
 export class PrivateKey {
@@ -1238,6 +1656,18 @@ export class RecordCiphertext {
 * @returns {boolean}
 */
   isOwner(view_key: ViewKey): boolean;
+/**
+* Get the tag of the record using the graph key.
+*
+* @param {GraphKey} graph key of the account associatd with the record.
+* @param {Field} commitment of the record.
+*
+* @returns {Field} tag of the record.
+* @param {GraphKey} graph_key
+* @param {Field} commitment
+* @returns {Field}
+*/
+  static tag(graph_key: GraphKey, commitment: Field): Field;
 }
 /**
 * Plaintext representation of an Aleo record
@@ -1260,6 +1690,69 @@ export class RecordPlaintext {
 */
   static fromString(record: string): RecordPlaintext;
 /**
+* @param {string} input
+* @returns {Plaintext}
+*/
+  getMember(input: string): Plaintext;
+/**
+* Get the owner of the record.
+* @returns {Address}
+*/
+  owner(): Address;
+/**
+* Get a representation of a record as a javascript object for usage in client side
+* computations. Note that this is not a reversible operation and exists for the convenience
+* of discovering and using properties of the record.
+*
+* The conversion guide is as follows:
+* - u8, u16, u32, i8, i16 i32 --> Number
+* - u64, u128, i64, i128 --> BigInt
+* - Address, Field, Group, Scalar --> String.
+*
+* Address, Field, Group, and Scalar will all be converted to their bech32 string
+* representation. These string representations can be converted back to their respective wasm
+* types using the fromString method on the Address, Field, Group, and Scalar objects in this
+* library.
+*
+* @example
+* # Create a wasm record from a record string.
+* let record_plaintext_wasm = RecordPlainext.from_string("{
+*   owner: aleo1kh5t7m30djl0ecdn4f5vuzp7dx0tcwh7ncquqjkm4matj2p2zqpqm6at48.private,
+*   metadata: {
+*     player1: aleo1kh5t7m30djl0ecdn4f5vuzp7dx0tcwh7ncquqjkm4matj2p2zqpqm6at48.private,
+*     player2: aleo1dreuxnmg9cny8ee9v2u0wr4v4affnwm09u2pytfwz0f2en2shgqsdsfjn6.private,
+*     nonce: 660310649780728486489183263981322848354071976582883879926426319832534836534field.private
+*   },
+*   id: 1953278585719525811355617404139099418855053112960441725284031425961000152405field.private,
+*   positions: 50794271u64.private,
+*   attempts: 0u64.private,
+*   hits: 0u64.private,
+*   _nonce: 5668100912391182624073500093436664635767788874314097667746354181784048204413group.public
+* }");
+*
+* let expected_object = {
+*   owner: "aleo1kh5t7m30djl0ecdn4f5vuzp7dx0tcwh7ncquqjkm4matj2p2zqpqm6at48",
+*   metadata: {
+*     player1: "aleo1kh5t7m30djl0ecdn4f5vuzp7dx0tcwh7ncquqjkm4matj2p2zqpqm6at48",
+*     player2: "aleo1dreuxnmg9cny8ee9v2u0wr4v4affnwm09u2pytfwz0f2en2shgqsdsfjn6",
+*     nonce: "660310649780728486489183263981322848354071976582883879926426319832534836534field"
+*   },
+*   id: "1953278585719525811355617404139099418855053112960441725284031425961000152405field",
+*   positions: 50794271,
+*   attempts: 0,
+*   hits: 0,
+*   _nonce: "5668100912391182624073500093436664635767788874314097667746354181784048204413group"
+* };
+*
+* # Create the expected object
+* let record_plaintext_object = record_plaintext_wasm.to_js_object();
+* assert(JSON.stringify(record_plaintext_object) == JSON.stringify(expected_object));
+*
+* @returns {Object} Javascript object representation of the record
+* @returns {object}
+*/
+  toJsObject(): object;
+/**
 * Returns the record plaintext string
 *
 * @returns {string} String representation of the record plaintext
@@ -1286,6 +1779,7 @@ export class RecordPlaintext {
 * @param {PrivateKey} private_key Private key of the account that owns the record
 * @param {string} program_id Program ID of the program that the record is associated with
 * @param {string} record_name Name of the record
+*
 * @returns {string} Serial number of the record
 * @param {PrivateKey} private_key
 * @param {string} program_id
@@ -1293,6 +1787,96 @@ export class RecordPlaintext {
 * @returns {string}
 */
   serialNumberString(private_key: PrivateKey, program_id: string, record_name: string): string;
+/**
+* Get the tag of the record using the graph key.
+* @param {GraphKey} graph_key
+* @param {Field} commitment
+* @returns {Field}
+*/
+  tag(graph_key: GraphKey, commitment: Field): Field;
+}
+/**
+* Scalar field element.
+*/
+export class Scalar {
+  free(): void;
+/**
+* Returns the string representation of the group.
+* @returns {string}
+*/
+  toString(): string;
+/**
+* Create a plaintext element from a group element.
+* @returns {Plaintext}
+*/
+  toPlaintext(): Plaintext;
+/**
+* Creates a group object from a string representation of a group.
+* @param {string} group
+* @returns {Scalar}
+*/
+  static fromString(group: string): Scalar;
+/**
+* Generate a random group element.
+* @returns {Scalar}
+*/
+  static random(): Scalar;
+/**
+* Add two scalar elements.
+* @param {Scalar} other
+* @returns {Scalar}
+*/
+  add(other: Scalar): Scalar;
+/**
+* Subtract two scalar elements.
+* @param {Scalar} other
+* @returns {Scalar}
+*/
+  subtract(other: Scalar): Scalar;
+/**
+* Multiply two scalar elements.
+* @param {Scalar} other
+* @returns {Scalar}
+*/
+  multiply(other: Scalar): Scalar;
+/**
+* Divide two scalar elements.
+* @param {Scalar} other
+* @returns {Scalar}
+*/
+  divide(other: Scalar): Scalar;
+/**
+* Double the scalar element.
+* @returns {Scalar}
+*/
+  double(): Scalar;
+/**
+* Power of a scalar element.
+* @param {Scalar} other
+* @returns {Scalar}
+*/
+  pow(other: Scalar): Scalar;
+/**
+* Invert the scalar element.
+* @returns {Scalar}
+*/
+  inverse(): Scalar;
+/**
+* Creates a one valued element of the scalar field.
+* @returns {Scalar}
+*/
+  static one(): Scalar;
+/**
+* Creates a zero valued element of the scalar field
+* @returns {Scalar}
+*/
+  static zero(): Scalar;
+/**
+* Check if one scalar element equals another.
+* @param {Scalar} other
+* @returns {boolean}
+*/
+  equals(other: Scalar): boolean;
 }
 /**
 * Cryptographic signature of a message signed by an Aleo account
@@ -1311,6 +1895,23 @@ export class Signature {
 */
   static sign(private_key: PrivateKey, message: Uint8Array): Signature;
 /**
+* Get an address from a signature.
+*
+* @returns {Address} Address object
+* @returns {Address}
+*/
+  to_address(): Address;
+/**
+* Get the challenge of a signature.
+* @returns {Scalar}
+*/
+  challenge(): Scalar;
+/**
+* Get the response of a signature.
+* @returns {Scalar}
+*/
+  response(): Scalar;
+/**
 * Verify a signature of a message with an address
 *
 * @param {Address} address The address to verify the signature with
@@ -1356,6 +1957,15 @@ export class Transaction {
 */
   static fromString(transaction: string): Transaction;
 /**
+* Create a transaction from a Uint8Array of left endian bytes.
+*
+* @param {Uint8Array} Uint8Array of left endian bytes encoding a Transaction.
+* @returns {Transaction}
+* @param {Uint8Array} bytes
+* @returns {Transaction}
+*/
+  static fromBytesLe(bytes: Uint8Array): Transaction;
+/**
 * Get the transaction as a string. If you want to submit this transaction to the Aleo Network
 * this function will create the string that should be submitted in the `POST` data.
 *
@@ -1364,23 +1974,287 @@ export class Transaction {
 */
   toString(): string;
 /**
+* Get the transaction as a Uint8Array of left endian bytes.
+*
+* @returns {Uint8Array} Uint8Array representation of the transaction
+* @returns {Uint8Array}
+*/
+  toBytesLe(): Uint8Array;
+/**
+* Returns true if the transaction contains the given serial number.
+*
+* @param {boolean} True if the transaction contains the given serial number.
+* @param {Field} serial_number
+* @returns {boolean}
+*/
+  constainsSerialNumber(serial_number: Field): boolean;
+/**
+* Returns true if the transaction contains the given commitment.
+*
+* @param {boolean} True if the transaction contains the given commitment.
+* @param {Field} commitment
+* @returns {boolean}
+*/
+  constainsCommitment(commitment: Field): boolean;
+/**
+* Find a record in the transaction by the record's commitment.
+* @param {Field} commitment
+* @returns {RecordCiphertext | undefined}
+*/
+  findRecord(commitment: Field): RecordCiphertext | undefined;
+/**
+* Returns the transaction's base fee.
+* @returns {bigint}
+*/
+  baseFeeAmount(): bigint;
+/**
+* Returns the transaction's total fee.
+* @returns {bigint}
+*/
+  feeAmount(): bigint;
+/**
+* Returns the transaction's priority fee.
+*
+* returns {bigint} The transaction's priority fee.
+* @returns {bigint}
+*/
+  priorityFeeAmount(): bigint;
+/**
+* Returns true if the transaction is a deployment transaction.
+*
+* @returns {boolean} True if the transaction is a deployment transaction
+* @returns {boolean}
+*/
+  isDeploy(): boolean;
+/**
+* Returns true if the transaction is an execution transaction.
+*
+* @returns {boolean} True if the transaction is an execution transaction
+* @returns {boolean}
+*/
+  isExecute(): boolean;
+/**
+* Returns true if the transaction is a fee transaction.
+*
+* @returns {boolean} True if the transaction is a fee transaction
+* @returns {boolean}
+*/
+  isFee(): boolean;
+/**
+* Returns the program deployed within the transaction if the transaction is a deployment
+* transaction.
+*
+* @returns {Program | undefined} The program deployed within the transaction.
+* @returns {Program | undefined}
+*/
+  deployedProgram(): Program | undefined;
+/**
+* Returns the execution within the transaction (if present).
+*
+* @returns {Execution | undefined} The execution within the transaction.
+* @returns {Execution | undefined}
+*/
+  execution(): Execution | undefined;
+/**
+* Get the record plaintext present in a transaction owned by a specific view key.
+*
+* @param {ViewKey} view_key View key used to decrypt the ciphertext
+*
+* @returns {Array<RecordPlaintext>} Array of record plaintext objects
+* @param {ViewKey} view_key
+* @returns {Array<any>}
+*/
+  ownedRecords(view_key: ViewKey): Array<any>;
+/**
+* Get the records present in a transaction and their commitments.
+*
+* @returns {Array<{commitment: Field, record: RecordCiphertext}>} Array of record ciphertext objects
+* @returns {Array<any>}
+*/
+  records(): Array<any>;
+/**
+* Get a summary of the transaction within a javascript object.
+*
+* If the transaction is an execution transaction, this function will return a list of the
+* transitions and their inputs and outputs.
+*
+* If the transaction is a deployment transaction, this function will return the program id and
+* a list of the functions and their verifying keys, constraint, and variable counts.
+*
+* @param {boolean} convert_to_js If true the inputs and outputs will be converted to JS objects,
+* if false the inputs and outputs will be in wasm format.
+*
+* @returns {Object} Transaction summary
+* @param {boolean} convert_to_js
+* @returns {object}
+*/
+  summary(convert_to_js: boolean): object;
+/**
 * Get the id of the transaction. This is the merkle root of the transaction's inclusion proof.
 *
 * This value can be used to query the status of the transaction on the Aleo Network to see
 * if it was successful. If successful, the transaction will be included in a block and this
 * value can be used to lookup the transaction data on-chain.
 *
-* @returns {string} Transaction id
+* @returns {string} TransactionId
 * @returns {string}
 */
-  transactionId(): string;
+  id(): string;
 /**
+* Get the
 * Get the type of the transaction (will return "deploy" or "execute")
 *
 * @returns {string} Transaction type
 * @returns {string}
 */
   transactionType(): string;
+/**
+* Get the transitions in a transaction.
+*
+* @returns {Array<Transition>} Array of transition objects
+* @returns {Array<any>}
+*/
+  transitions(): Array<any>;
+/**
+* Get the verifying keys in a transaction.
+*
+* @returns {Array<Object>} Array of verifying keys.
+* @returns {Array<any>}
+*/
+  verifyingKeys(): Array<any>;
+}
+/**
+*/
+export class Transition {
+  free(): void;
+/**
+* Get the transition ID
+*
+* @returns {string} The transition ID
+* @returns {string}
+*/
+  id(): string;
+/**
+* Create a transition from a string
+*
+* @param {string} transition String representation of a transition
+* @returns {Transition}
+* @param {string} transition
+* @returns {Transition}
+*/
+  static fromString(transition: string): Transition;
+/**
+* Create a transition from a Uint8Array of left endian bytes.
+*
+* @param {Uint8Array} Uint8Array of left endian bytes encoding a Transition.
+* @returns {Transition}
+* @param {Uint8Array} bytes
+* @returns {Transition}
+*/
+  static fromBytesLe(bytes: Uint8Array): Transition;
+/**
+* Get the transition as a string. If you want to submit this transition to the Aleo Network
+* this function will create the string that should be submitted in the `POST` data.
+*
+* @returns {string} String representation of the transition
+* @returns {string}
+*/
+  toString(): string;
+/**
+* Get the transition as a Uint8Array of left endian bytes.
+*
+* @returns {Uint8Array} Uint8Array representation of the transition
+* @returns {Uint8Array}
+*/
+  toBytesLe(): Uint8Array;
+/**
+* Get the program ID of the transition.
+* @returns {string}
+*/
+  programId(): string;
+/**
+* Get the function name of the transition.
+* @returns {string}
+*/
+  functionName(): string;
+/**
+* Returns true if the transition contains the given commitment.
+*
+* @param {boolean} True if the transition contains the given commitment.
+* @param {Field} commitment
+* @returns {boolean}
+*/
+  containsCommitment(commitment: Field): boolean;
+/**
+* Check if the transition contains a serial number.
+*
+* @param {Field} serial_number The serial number to check for
+*
+* @returns {bool} True if the transition contains a serial number, false otherwise
+* @param {Field} serial_number
+* @returns {boolean}
+*/
+  containsSerialNumber(serial_number: Field): boolean;
+/**
+* Find a record in the transition by the record's commitment.
+* @param {Field} commitment
+* @returns {RecordCiphertext | undefined}
+*/
+  findRecord(commitment: Field): RecordCiphertext | undefined;
+/**
+* Get the record plaintext present in a transition owned by a specific view key.
+*
+* @param {ViewKey} view_key The view key of the record owner.
+*
+* @returns {Array<RecordPlaintext>} Array of record plaintext objects
+* @param {ViewKey} view_key
+* @returns {Array<any>}
+*/
+  ownedRecords(view_key: ViewKey): Array<any>;
+/**
+* Get the records present in a transition and their commitments.
+*
+* @returns {Array<{commitment: Field, record: RecordCiphertext}>} Array of record ciphertext objects
+* @returns {Array<any>}
+*/
+  records(): Array<any>;
+/**
+* Get the inputs of the transition.
+*
+* @param {bool} convert_to_js If true the inputs will be converted to JS objects, if false
+* the inputs will be in wasm format.
+*
+* @returns {Array} Array of inputs
+* @param {boolean} convert_to_js
+* @returns {Array<any>}
+*/
+  inputs(convert_to_js: boolean): Array<any>;
+/**
+* Get the outputs of the transition.
+*
+* @param {bool} convert_to_js If true the outputs will be converted to JS objects, if false
+* the outputs will be in wasm format.
+*
+* @returns {Array} Array of outputs
+* @param {boolean} convert_to_js
+* @returns {Array<any>}
+*/
+  outputs(convert_to_js: boolean): Array<any>;
+/**
+* Get the transition public key of the transition.
+* @returns {Group}
+*/
+  tpk(): Group;
+/**
+* Get the transition commitment of the transition.
+* @returns {Field}
+*/
+  tcm(): Field;
+/**
+* Get the transition signer commitment of the transition.
+* @returns {Field}
+*/
+  scm(): Field;
 }
 /**
 * Verifying key for a function within an Aleo program
@@ -1681,6 +2555,11 @@ export class ViewKey {
 */
   to_address(): Address;
 /**
+* Get the underlying scalar of a view key.
+* @returns {Scalar}
+*/
+  to_scalar(): Scalar;
+/**
 * Decrypt a record ciphertext with a view key
 *
 * @param {string} ciphertext String representation of a record ciphertext