@puzzlehq/aleo-wasm-web 0.6.8 → 0.6.9

package/aleo_wasm.d.ts

@@ -1,6 +1,15 @@
 /* tslint:disable */
 /* eslint-disable */
 /**
+*/
+export function init_panic_hook(): void;
+/**
+* @param {URL} url
+* @param {number} num_threads
+* @returns {Promise<void>}
+*/
+export function initThreadPool(url: URL, num_threads: number): Promise<void>;
+/**
 * Verify an execution with a single function and a single transition. Executions with multiple
 * transitions or functions will fail to verify. Also, this does not verify that the state root of
 * the execution is included in the Aleo Network ledger.
@@ -18,8 +27,9 @@
 */
 export function verifyFunctionExecution(execution: Execution, verifying_key: VerifyingKey, program: Program, function_id: string): boolean;
 /**
+* @param {number} receiver
 */
-export function init_panic_hook(): void;
+export function runRayonThread(receiver: number): void;
 /**
 * Public address of an Aleo account
 */
@@ -72,7 +82,7 @@ export class Address {
   verify(message: Uint8Array, signature: Signature): boolean;
 }
 /**
-* Execution of an Aleo program.
+* A program that can be executed on the Aleo blockchain.
 */
 export class Execution {
   free(): void;
@@ -104,57 +114,21 @@ export class ExecutionResponse {
 */
   getOutputs(): Array<any>;
 /**
-* Returns the execution object if present, null if otherwise.
+* Returns the execution object if present, null if otherwise. Please note that this function
+* removes the WebAssembly object from the response object and will return null if called a
+* second time.
 *
-* @returns {Execution | undefined} The execution object if present, null if otherwise
+* @returns {Execution} The execution object if present, null if otherwise
 * @returns {Execution | undefined}
 */
   getExecution(): Execution | undefined;
 /**
 * Returns the program keys if present
+* @param {string} program_id
+* @param {string} function_name
 * @returns {KeyPair}
 */
-  getKeys(): KeyPair;
-/**
-* Returns the proving_key if the proving key was cached in the Execution response.
-* Note the proving key is removed from the response object after the first call to this
-* function. Subsequent calls will return null.
-*
-* @returns {ProvingKey | undefined} The proving key
-* @returns {ProvingKey | undefined}
-*/
-  getProvingKey(): ProvingKey | undefined;
-/**
-* Returns the verifying_key associated with the program
-*
-* @returns {VerifyingKey} The verifying key
-* @returns {VerifyingKey}
-*/
-  getVerifyingKey(): VerifyingKey;
-/**
-* Returns the function identifier
-* @returns {string}
-*/
-  getFunctionId(): string;
-/**
-* Returns the program
-* @returns {Program}
-*/
-  getProgram(): Program;
-}
-/**
-*/
-export class Field {
-  free(): void;
-/**
-* @returns {string}
-*/
-  toString(): string;
-/**
-* @param {string} field
-* @returns {Field}
-*/
-  static fromString(field: string): Field;
+  getKeys(program_id: string, function_name: string): KeyPair;
 }
 /**
 */
@@ -176,7 +150,6 @@ export class JsField {
   static generate_message_clients(private_key: PrivateKey, message: Uint8Array, seed: Uint8Array): string;
 }
 /**
-* Key pair object containing both the function proving and verifying keys
 */
 export class KeyPair {
   free(): void;
@@ -206,38 +179,6 @@ export class KeyPair {
   verifyingKey(): VerifyingKey;
 }
 /**
-* An offline query object used to insert the global state root and state paths needed to create
-* a valid inclusion proof offline.
-*/
-export class OfflineQuery {
-  free(): void;
-/**
-* Creates a new offline query object. The state root is required to be passed in as a string
-* @param {string} state_root
-*/
-  constructor(state_root: string);
-/**
-* Add a new state path to the offline query object.
-*
-* @param {string} commitment: The commitment corresponding to a record inpout
-* @param {string} state_path: The state path corresponding to the commitment
-* @param {string} commitment
-* @param {string} state_path
-*/
-  addStatePath(commitment: string, state_path: string): void;
-/**
-* Get a json string representation of the offline query object
-* @returns {string}
-*/
-  toString(): string;
-/**
-* Create an offline query object from a json string representation
-* @param {string} s
-* @returns {OfflineQuery}
-*/
-  static fromString(s: string): OfflineQuery;
-}
-/**
 * Private key of an Aleo account
 */
 export class PrivateKey {
@@ -383,6 +324,10 @@ export class PrivateKeyCiphertext {
 }
 /**
 * Webassembly Representation of an Aleo program
+*
+* This object is required to create an Execution or Deployment transaction. It includes several
+* convenience methods for enumerating available functions and each functions' inputs in a
+* javascript object for usage in creation of web forms for input capture.
 */
 export class Program {
   free(): void;
@@ -634,6 +579,34 @@ export class Program {
 export class ProgramManager {
   free(): void;
 /**
+* Join two records together to create a new record with an amount of credits equal to the sum
+* of the credits of the two original records
+*
+* @param private_key The private key of the sender
+* @param record_1 The first record to combine
+* @param record_2 The second record to combine
+* @param fee_credits The amount of credits to pay as a fee
+* @param fee_record The record to spend the fee from
+* @param url The url of the Aleo network node to send the transaction to
+* @param join_proving_key (optional) Provide a proving key to use for the join function
+* @param join_verifying_key (optional) Provide a verifying key to use for the join function
+* @param fee_proving_key (optional) Provide a proving key to use for the fee execution
+* @param fee_verifying_key (optional) Provide a verifying key to use for the fee execution
+* @returns {Transaction | Error} Transaction object
+* @param {PrivateKey} private_key
+* @param {RecordPlaintext} record_1
+* @param {RecordPlaintext} record_2
+* @param {number} fee_credits
+* @param {RecordPlaintext | undefined} fee_record
+* @param {string} url
+* @param {ProvingKey | undefined} join_proving_key
+* @param {VerifyingKey | undefined} join_verifying_key
+* @param {ProvingKey | undefined} fee_proving_key
+* @param {VerifyingKey | undefined} fee_verifying_key
+* @returns {Promise<Transaction>}
+*/
+  static buildJoinTransaction(private_key: PrivateKey, record_1: RecordPlaintext, record_2: RecordPlaintext, fee_credits: number, fee_record: RecordPlaintext | undefined, url: string, join_proving_key?: ProvingKey, join_verifying_key?: VerifyingKey, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey): Promise<Transaction>;
+/**
 * Split an Aleo credits record into two separate records. This function does not require a fee.
 *
 * @param private_key The private key of the sender
@@ -647,13 +620,12 @@ export class ProgramManager {
 * @param {PrivateKey} private_key
 * @param {number} split_amount
 * @param {RecordPlaintext} amount_record
-* @param {string | undefined} url
+* @param {string} url
 * @param {ProvingKey | undefined} split_proving_key
 * @param {VerifyingKey | undefined} split_verifying_key
-* @param {OfflineQuery | undefined} offline_query
 * @returns {Promise<Transaction>}
 */
-  static buildSplitTransaction(private_key: PrivateKey, split_amount: number, amount_record: RecordPlaintext, url?: string, split_proving_key?: ProvingKey, split_verifying_key?: VerifyingKey, offline_query?: OfflineQuery): Promise<Transaction>;
+  static buildSplitTransaction(private_key: PrivateKey, split_amount: number, amount_record: RecordPlaintext, url: string, split_proving_key?: ProvingKey, split_verifying_key?: VerifyingKey): Promise<Transaction>;
 /**
 * Deploy an Aleo program
 *
@@ -676,14 +648,13 @@ export class ProgramManager {
 * @param {string} program
 * @param {number} fee_credits
 * @param {RecordPlaintext | undefined} fee_record
-* @param {string | undefined} url
+* @param {string} url
 * @param {object | undefined} imports
 * @param {ProvingKey | undefined} fee_proving_key
 * @param {VerifyingKey | undefined} fee_verifying_key
-* @param {OfflineQuery | undefined} offline_query
 * @returns {Promise<Transaction>}
 */
-  static buildDeploymentTransaction(private_key: PrivateKey, program: string, fee_credits: number, fee_record?: RecordPlaintext, url?: string, imports?: object, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey, offline_query?: OfflineQuery): Promise<Transaction>;
+  static buildDeploymentTransaction(private_key: PrivateKey, program: string, fee_credits: number, fee_record: RecordPlaintext | undefined, url: string, imports?: object, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey): Promise<Transaction>;
 /**
 * Estimate the fee for a program deployment
 *
@@ -713,6 +684,15 @@ export class ProgramManager {
 */
   static estimateProgramNameCost(name: string): bigint;
 /**
+* @param {string} program
+* @param {string} function_id
+* @param {Array<any>} inputs_str
+* @param {string} private_key
+* @param {object | undefined} imports
+* @returns {Promise<string>}
+*/
+  static authExecute(program: string, function_id: string, inputs_str: Array<any>, private_key: string, imports?: object): Promise<string>;
+/**
 * Execute an arbitrary function locally
 *
 * @param {PrivateKey} private_key The private key of the sender
@@ -740,11 +720,9 @@ export class ProgramManager {
 * @param {object | undefined} imports
 * @param {ProvingKey | undefined} proving_key
 * @param {VerifyingKey | undefined} verifying_key
-* @param {string | undefined} url
-* @param {OfflineQuery | undefined} offline_query
 * @returns {Promise<ExecutionResponse>}
 */
-  static executeFunctionOffline(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, prove_execution: boolean, cache: boolean, imports?: object, proving_key?: ProvingKey, verifying_key?: VerifyingKey, url?: string, offline_query?: OfflineQuery): Promise<ExecutionResponse>;
+  static executeFunctionOffline(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, prove_execution: boolean, cache: boolean, imports?: object, proving_key?: ProvingKey, verifying_key?: VerifyingKey): Promise<ExecutionResponse>;
 /**
 * Execute Aleo function and create an Aleo execution transaction
 *
@@ -773,16 +751,15 @@ export class ProgramManager {
 * @param {Array<any>} inputs
 * @param {number} fee_credits
 * @param {RecordPlaintext | undefined} fee_record
-* @param {string | undefined} url
+* @param {string} url
 * @param {object | undefined} imports
 * @param {ProvingKey | undefined} proving_key
 * @param {VerifyingKey | undefined} verifying_key
 * @param {ProvingKey | undefined} fee_proving_key
 * @param {VerifyingKey | undefined} fee_verifying_key
-* @param {OfflineQuery | undefined} offline_query
 * @returns {Promise<Transaction>}
 */
-  static buildExecutionTransaction(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, fee_credits: number, fee_record?: RecordPlaintext, url?: string, imports?: object, proving_key?: ProvingKey, verifying_key?: VerifyingKey, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey, offline_query?: OfflineQuery): Promise<Transaction>;
+  static buildExecutionTransaction(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, fee_credits: number, fee_record: RecordPlaintext | undefined, url: string, imports?: object, proving_key?: ProvingKey, verifying_key?: VerifyingKey, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey): Promise<Transaction>;
 /**
 * Estimate Fee for Aleo function execution. Note if "cache" is set to true, the proving and
 * verifying keys will be stored in the ProgramManager's memory and used for subsequent
@@ -805,14 +782,13 @@ export class ProgramManager {
 * @param {string} program
 * @param {string} _function
 * @param {Array<any>} inputs
-* @param {string | undefined} url
+* @param {string} url
 * @param {object | undefined} imports
 * @param {ProvingKey | undefined} proving_key
 * @param {VerifyingKey | undefined} verifying_key
-* @param {OfflineQuery | undefined} offline_query
 * @returns {Promise<bigint>}
 */
-  static estimateExecutionFee(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, url?: string, imports?: object, proving_key?: ProvingKey, verifying_key?: VerifyingKey, offline_query?: OfflineQuery): Promise<bigint>;
+  static estimateExecutionFee(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, url: string, imports?: object, proving_key?: ProvingKey, verifying_key?: VerifyingKey): Promise<bigint>;
 /**
 * Estimate the finalize fee component for executing a function. This fee is additional to the
 * size of the execution of the program in bytes. If the function does not have a finalize
@@ -851,15 +827,14 @@ export class ProgramManager {
 * @param {RecordPlaintext | undefined} amount_record
 * @param {number} fee_credits
 * @param {RecordPlaintext | undefined} fee_record
-* @param {string | undefined} url
+* @param {string} url
 * @param {ProvingKey | undefined} transfer_proving_key
 * @param {VerifyingKey | undefined} transfer_verifying_key
 * @param {ProvingKey | undefined} fee_proving_key
 * @param {VerifyingKey | undefined} fee_verifying_key
-* @param {OfflineQuery | undefined} offline_query
 * @returns {Promise<Transaction>}
 */
-  static buildTransferTransaction(private_key: PrivateKey, amount_credits: number, recipient: string, transfer_type: string, amount_record: RecordPlaintext | undefined, fee_credits: number, fee_record?: RecordPlaintext, url?: string, transfer_proving_key?: ProvingKey, transfer_verifying_key?: VerifyingKey, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey, offline_query?: OfflineQuery): Promise<Transaction>;
+  static buildTransferTransaction(private_key: PrivateKey, amount_credits: number, recipient: string, transfer_type: string, amount_record: RecordPlaintext | undefined, fee_credits: number, fee_record: RecordPlaintext | undefined, url: string, transfer_proving_key?: ProvingKey, transfer_verifying_key?: VerifyingKey, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey): Promise<Transaction>;
 /**
 * Synthesize proving and verifying keys for a program
 *
@@ -875,35 +850,6 @@ export class ProgramManager {
 * @returns {Promise<KeyPair>}
 */
   static synthesizeKeyPair(private_key: PrivateKey, program: string, function_id: string, inputs: Array<any>, imports?: object): Promise<KeyPair>;
-/**
-* Join two records together to create a new record with an amount of credits equal to the sum
-* of the credits of the two original records
-*
-* @param private_key The private key of the sender
-* @param record_1 The first record to combine
-* @param record_2 The second record to combine
-* @param fee_credits The amount of credits to pay as a fee
-* @param fee_record The record to spend the fee from
-* @param url The url of the Aleo network node to send the transaction to
-* @param join_proving_key (optional) Provide a proving key to use for the join function
-* @param join_verifying_key (optional) Provide a verifying key to use for the join function
-* @param fee_proving_key (optional) Provide a proving key to use for the fee execution
-* @param fee_verifying_key (optional) Provide a verifying key to use for the fee execution
-* @returns {Transaction | Error} Transaction object
-* @param {PrivateKey} private_key
-* @param {RecordPlaintext} record_1
-* @param {RecordPlaintext} record_2
-* @param {number} fee_credits
-* @param {RecordPlaintext | undefined} fee_record
-* @param {string | undefined} url
-* @param {ProvingKey | undefined} join_proving_key
-* @param {VerifyingKey | undefined} join_verifying_key
-* @param {ProvingKey | undefined} fee_proving_key
-* @param {VerifyingKey | undefined} fee_verifying_key
-* @param {OfflineQuery | undefined} offline_query
-* @returns {Promise<Transaction>}
-*/
-  static buildJoinTransaction(private_key: PrivateKey, record_1: RecordPlaintext, record_2: RecordPlaintext, fee_credits: number, fee_record?: RecordPlaintext, url?: string, join_proving_key?: ProvingKey, join_verifying_key?: VerifyingKey, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey, offline_query?: OfflineQuery): Promise<Transaction>;
 }
 /**
 * Proving key for a function within an Aleo program
@@ -911,20 +857,6 @@ export class ProgramManager {
 export class ProvingKey {
   free(): void;
 /**
-* Return the checksum of the proving key
-*
-* @returns {string} Checksum of the proving key
-* @returns {string}
-*/
-  checksum(): string;
-/**
-* Create a copy of the proving key
-*
-* @returns {ProvingKey} A copy of the proving key
-* @returns {ProvingKey}
-*/
-  copy(): ProvingKey;
-/**
 * Construct a new proving key from a byte array
 *
 * @param {Uint8Array} bytes Byte array representation of a proving key
@@ -934,14 +866,6 @@ export class ProvingKey {
 */
   static fromBytes(bytes: Uint8Array): ProvingKey;
 /**
-* Create a proving key from string
-*
-* @param {string | Error} String representation of the proving key
-* @param {string} string
-* @returns {ProvingKey}
-*/
-  static fromString(string: string): ProvingKey;
-/**
 * Return the byte representation of a proving key
 *
 * @returns {Uint8Array | Error} Byte array representation of a proving key
@@ -949,166 +873,12 @@ export class ProvingKey {
 */
   toBytes(): Uint8Array;
 /**
-* Get a string representation of the proving key
-*
-* @returns {string} String representation of the proving key
-* @returns {string}
-*/
-  toString(): string;
-/**
-* Verify if the proving key is for the bond_public function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("bond_public_proving_key.bin");
-* provingKey.isBondPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the bond_public function, false if otherwise
-* @returns {boolean}
-*/
-  isBondPublicProver(): boolean;
-/**
-* Verify if the proving key is for the claim_unbond function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("claim_unbond_proving_key.bin");
-* provingKey.isClaimUnbondProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the claim_unbond function, false if otherwise
-* @returns {boolean}
-*/
-  isClaimUnbondPublicProver(): boolean;
-/**
-* Verify if the proving key is for the fee_private function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("fee_private_proving_key.bin");
-* provingKey.isFeePrivateProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the fee_private function, false if otherwise
-* @returns {boolean}
-*/
-  isFeePrivateProver(): boolean;
-/**
-* Verify if the proving key is for the fee_public function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("fee_public_proving_key.bin");
-* provingKey.isFeePublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the fee_public function, false if otherwise
-* @returns {boolean}
-*/
-  isFeePublicProver(): boolean;
-/**
-* Verify if the proving key is for the inclusion function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("inclusion_proving_key.bin");
-* provingKey.isInclusionProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the inclusion function, false if otherwise
-* @returns {boolean}
-*/
-  isInclusionProver(): boolean;
-/**
-* Verify if the proving key is for the join function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("join_proving_key.bin");
-* provingKey.isJoinProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the join function, false if otherwise
-* @returns {boolean}
-*/
-  isJoinProver(): boolean;
-/**
-* Verify if the proving key is for the set_validator_state function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("set_validator_set_proving_key.bin");
-* provingKey.isSetValidatorStateProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the set_validator_state function, false if otherwise
-* @returns {boolean}
-*/
-  isSetValidatorStateProver(): boolean;
-/**
-* Verify if the proving key is for the split function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("split_proving_key.bin");
-* provingKey.isSplitProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the split function, false if otherwise
-* @returns {boolean}
-*/
-  isSplitProver(): boolean;
-/**
-* Verify if the proving key is for the transfer_private function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("transfer_private_proving_key.bin");
-* provingKey.isTransferPrivateProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the transfer_private function, false if otherwise
-* @returns {boolean}
-*/
-  isTransferPrivateProver(): boolean;
-/**
-* Verify if the proving key is for the transfer_private_to_public function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("transfer_private_to_public_proving_key.bin");
-* provingKey.isTransferPrivateToPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the transfer_private_to_public function, false if otherwise
-* @returns {boolean}
-*/
-  isTransferPrivateToPublicProver(): boolean;
-/**
-* Verify if the proving key is for the transfer_public function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("transfer_public_proving_key.bin");
-* provingKey.isTransferPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the transfer_public function, false if otherwise
-* @returns {boolean}
-*/
-  isTransferPublicProver(): boolean;
-/**
-* Verify if the proving key is for the transfer_public_to_private function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("transfer_public_to_private_proving_key.bin");
-* provingKey.isTransferPublicToPrivateProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the transfer_public_to_private function, false if otherwise
-* @returns {boolean}
-*/
-  isTransferPublicToPrivateProver(): boolean;
-/**
-* Verify if the proving key is for the unbond_delegator_as_validator function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("unbond_delegator_as_validator_proving_key.bin");
-* provingKey.isUnbondDelegatorAsValidatorProver() ? console.log("Key verified") : throw new Error("Invalid key");
-*
-* @returns {boolean} returns true if the proving key is for the unbond_delegator_as_validator function, false if otherwise
-* @returns {boolean}
-*/
-  isUnbondDelegatorAsValidatorProver(): boolean;
-/**
-* Verify if the proving key is for the unbond_delegator_as_delegator function
-*
-* @example
-* const provingKey = ProvingKey.fromBytes("unbond_delegator_as_delegator_proving_key.bin");
-* provingKey.isUnbondDelegatorAsDelegatorProver() ? console.log("Key verified") : throw new Error("Invalid key");
+* Create a copy of the proving key
 *
-* @returns {boolean} returns true if the proving key is for the unbond_delegator_as_delegator function, false if otherwise
-* @returns {boolean}
+* @returns {ProvingKey} A copy of the proving key
+* @returns {ProvingKey}
 */
-  isUnbondPublicProver(): boolean;
+  copy(): ProvingKey;
 }
 /**
 * Encrypted Aleo record
@@ -1157,12 +927,6 @@ export class RecordCiphertext {
 export class RecordPlaintext {
   free(): void;
 /**
-* @param {string} program_id
-* @param {string} record_name
-* @returns {Field}
-*/
-  commitment(program_id: string, record_name: string): Field;
-/**
 * Return a record plaintext from a string.
 *
 * @param {string} record String representation of a plaintext representation of an Aleo record
@@ -1230,6 +994,11 @@ export class Signature {
 */
   static sign_message(private_key: PrivateKey, message: Uint8Array, seed: Uint8Array): Signature;
 /**
+* Ignore the mess below -- me testing things
+* Turn a message into bits
+*
+* @param {Uint8Array} message Byte representation of the message to sign
+* @returns {Vec<bool>} Vec of bool of the message
 * Verify a signature of a message with an address
 *
 * @param {Address} address The address to verify the signature with
@@ -1307,216 +1076,6 @@ export class Transaction {
 export class VerifyingKey {
   free(): void;
 /**
-* Returns the verifying key for the bond_public function
-*
-* @returns {VerifyingKey} Verifying key for the bond_public function
-* @returns {VerifyingKey}
-*/
-  static bondPublicVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the claim_delegator function
-*
-* @returns {VerifyingKey} Verifying key for the claim_unbond_public function
-* @returns {VerifyingKey}
-*/
-  static claimUnbondPublicVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the fee_private function
-*
-* @returns {VerifyingKey} Verifying key for the fee_private function
-* @returns {VerifyingKey}
-*/
-  static feePrivateVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the fee_public function
-*
-* @returns {VerifyingKey} Verifying key for the fee_public function
-* @returns {VerifyingKey}
-*/
-  static feePublicVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the inclusion function
-*
-* @returns {VerifyingKey} Verifying key for the inclusion function
-* @returns {VerifyingKey}
-*/
-  static inclusionVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the join function
-*
-* @returns {VerifyingKey} Verifying key for the join function
-* @returns {VerifyingKey}
-*/
-  static joinVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the set_validator_state function
-*
-* @returns {VerifyingKey} Verifying key for the set_validator_state function
-* @returns {VerifyingKey}
-*/
-  static setValidatorStateVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the split function
-*
-* @returns {VerifyingKey} Verifying key for the split function
-* @returns {VerifyingKey}
-*/
-  static splitVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the transfer_private function
-*
-* @returns {VerifyingKey} Verifying key for the transfer_private function
-* @returns {VerifyingKey}
-*/
-  static transferPrivateVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the transfer_private_to_public function
-*
-* @returns {VerifyingKey} Verifying key for the transfer_private_to_public function
-* @returns {VerifyingKey}
-*/
-  static transferPrivateToPublicVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the transfer_public function
-*
-* @returns {VerifyingKey} Verifying key for the transfer_public function
-* @returns {VerifyingKey}
-*/
-  static transferPublicVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the transfer_public_to_private function
-*
-* @returns {VerifyingKey} Verifying key for the transfer_public_to_private function
-* @returns {VerifyingKey}
-*/
-  static transferPublicToPrivateVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the unbond_delegator_as_delegator function
-*
-* @returns {VerifyingKey} Verifying key for the unbond_delegator_as_delegator function
-* @returns {VerifyingKey}
-*/
-  static unbondDelegatorAsValidatorVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the unbond_delegator_as_delegator function
-*
-* @returns {VerifyingKey} Verifying key for the unbond_delegator_as_delegator function
-* @returns {VerifyingKey}
-*/
-  static unbondPublicVerifier(): VerifyingKey;
-/**
-* Returns the verifying key for the bond_public function
-*
-* @returns {VerifyingKey} Verifying key for the bond_public function
-* @returns {boolean}
-*/
-  isBondPublicVerifier(): boolean;
-/**
-* Verifies the verifying key is for the claim_delegator function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isClaimUnbondPublicVerifier(): boolean;
-/**
-* Verifies the verifying key is for the fee_private function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isFeePrivateVerifier(): boolean;
-/**
-* Verifies the verifying key is for the fee_public function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isFeePublicVerifier(): boolean;
-/**
-* Verifies the verifying key is for the inclusion function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isInclusionVerifier(): boolean;
-/**
-* Verifies the verifying key is for the join function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isJoinVerifier(): boolean;
-/**
-* Verifies the verifying key is for the set_validator_state function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isSetValidatorStateVerifier(): boolean;
-/**
-* Verifies the verifying key is for the split function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isSplitVerifier(): boolean;
-/**
-* Verifies the verifying key is for the transfer_private function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isTransferPrivateVerifier(): boolean;
-/**
-* Verifies the verifying key is for the transfer_private_to_public function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isTransferPrivateToPublicVerifier(): boolean;
-/**
-* Verifies the verifying key is for the transfer_public function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isTransferPublicVerifier(): boolean;
-/**
-* Verifies the verifying key is for the transfer_public_to_private function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isTransferPublicToPrivateVerifier(): boolean;
-/**
-* Verifies the verifying key is for the unbond_delegator_as_delegator function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isUnbondDelegatorAsValidatorVerifier(): boolean;
-/**
-* Verifies the verifying key is for the unbond_public function
-*
-* @returns {bool}
-* @returns {boolean}
-*/
-  isUnbondPublicVerifier(): boolean;
-/**
-* Get the checksum of the verifying key
-*
-* @returns {string} Checksum of the verifying key
-* @returns {string}
-*/
-  checksum(): string;
-/**
-* Create a copy of the verifying key
-*
-* @returns {VerifyingKey} A copy of the verifying key
-* @returns {VerifyingKey}
-*/
-  copy(): VerifyingKey;
-/**
 * Construct a new verifying key from a byte array
 *
 * @param {Uint8Array} bytes Byte representation of a verifying key
@@ -1526,6 +1085,13 @@ export class VerifyingKey {
 */
   static fromBytes(bytes: Uint8Array): VerifyingKey;
 /**
+* Create a byte array from a verifying key
+*
+* @returns {Uint8Array | Error} Byte representation of a verifying key
+* @returns {Uint8Array}
+*/
+  toBytes(): Uint8Array;
+/**
 * Create a verifying key from string
 *
 * @param {String} string String representation of a verifying key
@@ -1535,19 +1101,19 @@ export class VerifyingKey {
 */
   static fromString(string: string): VerifyingKey;
 /**
-* Create a byte array from a verifying key
-*
-* @returns {Uint8Array | Error} Byte representation of a verifying key
-* @returns {Uint8Array}
-*/
-  toBytes(): Uint8Array;
-/**
 * Get a string representation of the verifying key
 *
 * @returns {String} String representation of the verifying key
 * @returns {string}
 */
   toString(): string;
+/**
+* Create a copy of the verifying key
+*
+* @returns {VerifyingKey} A copy of the verifying key
+* @returns {VerifyingKey}
+*/
+  copy(): VerifyingKey;
 }
 /**
 */
@@ -1594,6 +1160,15 @@ export class ViewKey {
 * @returns {string}
 */
   decrypt(ciphertext: string): string;
+/**
+* @param {string} ciphertext
+* @param {string} tpk
+* @param {string} program_name
+* @param {string} function_name
+* @param {number} index
+* @returns {string}
+*/
+  decrypt_ciphertext(ciphertext: string, tpk: string, program_name: string, function_name: string, index: number): string;
 }
 
 export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
@@ -1617,69 +1192,49 @@ export interface InitOutput {
   readonly privatekey_newEncrypted: (a: number, b: number, c: number) => void;
   readonly privatekey_toCiphertext: (a: number, b: number, c: number, d: number) => void;
   readonly privatekey_fromPrivateKeyCiphertext: (a: number, b: number, c: number, d: number) => void;
+  readonly __wbg_viewkey_free: (a: number) => void;
+  readonly viewkey_from_string: (a: number, b: number) => number;
+  readonly viewkey_to_string: (a: number, b: number) => void;
+  readonly viewkey_decrypt: (a: number, b: number, c: number, d: number) => void;
+  readonly viewkey_decrypt_ciphertext: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number) => void;
+  readonly programmanager_buildJoinTransaction: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number) => number;
+  readonly __wbg_verifyingkey_free: (a: number) => void;
+  readonly verifyingkey_fromBytes: (a: number, b: number, c: number) => void;
+  readonly verifyingkey_toBytes: (a: number, b: number) => void;
+  readonly verifyingkey_fromString: (a: number, b: number, c: number) => void;
+  readonly verifyingkey_toString: (a: number, b: number) => void;
+  readonly verifyingkey_copy: (a: number) => number;
+  readonly viewkey_from_private_key: (a: number) => number;
+  readonly viewkey_to_address: (a: number) => number;
   readonly privatekey_to_address: (a: number) => number;
-  readonly __wbg_provingkey_free: (a: number) => void;
-  readonly provingkey_checksum: (a: number, b: number) => void;
-  readonly provingkey_copy: (a: number) => number;
-  readonly provingkey_fromBytes: (a: number, b: number, c: number) => void;
-  readonly provingkey_fromString: (a: number, b: number, c: number) => void;
-  readonly provingkey_toBytes: (a: number, b: number) => void;
-  readonly provingkey_toString: (a: number, b: number) => void;
-  readonly __wbg_keypair_free: (a: number) => void;
-  readonly keypair_new: (a: number, b: number) => number;
-  readonly keypair_provingKey: (a: number, b: number) => void;
-  readonly keypair_verifyingKey: (a: number, b: number) => void;
-  readonly __wbg_executionresponse_free: (a: number) => void;
-  readonly executionresponse_getOutputs: (a: number) => number;
-  readonly executionresponse_getExecution: (a: number) => number;
-  readonly executionresponse_getKeys: (a: number, b: number) => void;
-  readonly executionresponse_getProvingKey: (a: number) => number;
-  readonly executionresponse_getVerifyingKey: (a: number) => number;
-  readonly executionresponse_getFunctionId: (a: number, b: number) => void;
-  readonly executionresponse_getProgram: (a: number) => number;
   readonly __wbg_recordciphertext_free: (a: number) => void;
   readonly recordciphertext_fromString: (a: number, b: number, c: number) => void;
   readonly recordciphertext_toString: (a: number, b: number) => void;
   readonly recordciphertext_decrypt: (a: number, b: number, c: number) => void;
   readonly recordciphertext_isOwner: (a: number, b: number) => number;
+  readonly __wbg_keypair_free: (a: number) => void;
+  readonly keypair_new: (a: number, b: number) => number;
+  readonly keypair_provingKey: (a: number, b: number) => void;
+  readonly keypair_verifyingKey: (a: number, b: number) => void;
+  readonly initThreadPool: (a: number, b: number) => number;
+  readonly init_panic_hook: () => void;
   readonly __wbg_jsfield_free: (a: number) => void;
   readonly jsfield_generate_message_leo: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
   readonly jsfield_generate_message_clients: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
-  readonly programmanager_buildSplitTransaction: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
-  readonly __wbg_recordplaintext_free: (a: number) => void;
-  readonly recordplaintext_commitment: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
-  readonly recordplaintext_fromString: (a: number, b: number, c: number) => void;
-  readonly recordplaintext_toString: (a: number, b: number) => void;
-  readonly recordplaintext_microcredits: (a: number) => number;
-  readonly recordplaintext_nonce: (a: number, b: number) => void;
-  readonly recordplaintext_serialNumberString: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
-  readonly __wbg_offlinequery_free: (a: number) => void;
-  readonly offlinequery_new: (a: number, b: number, c: number) => void;
-  readonly offlinequery_addStatePath: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
-  readonly offlinequery_toString: (a: number, b: number) => void;
-  readonly offlinequery_fromString: (a: number, b: number, c: number) => void;
-  readonly provingkey_isBondPublicProver: (a: number) => number;
-  readonly provingkey_isClaimUnbondPublicProver: (a: number) => number;
-  readonly provingkey_isFeePrivateProver: (a: number) => number;
-  readonly provingkey_isFeePublicProver: (a: number) => number;
-  readonly provingkey_isInclusionProver: (a: number) => number;
-  readonly provingkey_isJoinProver: (a: number) => number;
-  readonly provingkey_isSetValidatorStateProver: (a: number) => number;
-  readonly provingkey_isSplitProver: (a: number) => number;
-  readonly provingkey_isTransferPrivateProver: (a: number) => number;
-  readonly provingkey_isTransferPrivateToPublicProver: (a: number) => number;
-  readonly provingkey_isTransferPublicProver: (a: number) => number;
-  readonly provingkey_isTransferPublicToPrivateProver: (a: number) => number;
-  readonly provingkey_isUnbondDelegatorAsValidatorProver: (a: number) => number;
-  readonly provingkey_isUnbondPublicProver: (a: number) => number;
+  readonly programmanager_buildSplitTransaction: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => number;
   readonly __wbg_privatekeyciphertext_free: (a: number) => void;
   readonly privatekeyciphertext_encryptPrivateKey: (a: number, b: number, c: number, d: number) => void;
   readonly privatekeyciphertext_decryptToPrivateKey: (a: number, b: number, c: number, d: number) => void;
   readonly privatekeyciphertext_toString: (a: number, b: number) => void;
   readonly privatekeyciphertext_fromString: (a: number, b: number, c: number) => void;
-  readonly programmanager_buildDeploymentTransaction: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number) => number;
+  readonly programmanager_buildDeploymentTransaction: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => number;
   readonly programmanager_estimateDeploymentFee: (a: number, b: number, c: number) => number;
   readonly programmanager_estimateProgramNameCost: (a: number, b: number, c: number) => void;
+  readonly programmanager_authExecute: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
+  readonly programmanager_executeFunctionOffline: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number) => number;
+  readonly programmanager_buildExecutionTransaction: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number, m: number, n: number, o: number) => number;
+  readonly programmanager_estimateExecutionFee: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number) => number;
+  readonly programmanager_estimateFinalizeFee: (a: number, b: number, c: number, d: number, e: number) => void;
   readonly __wbg_program_free: (a: number) => void;
   readonly program_fromString: (a: number, b: number, c: number) => void;
   readonly program_toString: (a: number, b: number) => void;
@@ -1693,68 +1248,33 @@ export interface InitOutput {
   readonly program_id: (a: number, b: number) => void;
   readonly program_isEqual: (a: number, b: number) => number;
   readonly program_getImports: (a: number) => number;
-  readonly verifyingkey_bondPublicVerifier: () => number;
-  readonly verifyingkey_claimUnbondPublicVerifier: () => number;
-  readonly verifyingkey_feePrivateVerifier: () => number;
-  readonly verifyingkey_feePublicVerifier: () => number;
-  readonly verifyingkey_inclusionVerifier: () => number;
-  readonly verifyingkey_joinVerifier: () => number;
-  readonly verifyingkey_setValidatorStateVerifier: () => number;
-  readonly verifyingkey_splitVerifier: () => number;
-  readonly verifyingkey_transferPrivateVerifier: () => number;
-  readonly verifyingkey_transferPrivateToPublicVerifier: () => number;
-  readonly verifyingkey_transferPublicVerifier: () => number;
-  readonly verifyingkey_transferPublicToPrivateVerifier: () => number;
-  readonly verifyingkey_unbondDelegatorAsValidatorVerifier: () => number;
-  readonly verifyingkey_unbondPublicVerifier: () => number;
-  readonly verifyingkey_isBondPublicVerifier: (a: number) => number;
-  readonly verifyingkey_isClaimUnbondPublicVerifier: (a: number) => number;
-  readonly verifyingkey_isFeePrivateVerifier: (a: number) => number;
-  readonly verifyingkey_isFeePublicVerifier: (a: number) => number;
-  readonly verifyingkey_isInclusionVerifier: (a: number) => number;
-  readonly verifyingkey_isJoinVerifier: (a: number) => number;
-  readonly verifyingkey_isSetValidatorStateVerifier: (a: number) => number;
-  readonly verifyingkey_isSplitVerifier: (a: number) => number;
-  readonly verifyingkey_isTransferPrivateVerifier: (a: number) => number;
-  readonly verifyingkey_isTransferPrivateToPublicVerifier: (a: number) => number;
-  readonly verifyingkey_isTransferPublicVerifier: (a: number) => number;
-  readonly verifyingkey_isTransferPublicToPrivateVerifier: (a: number) => number;
-  readonly verifyingkey_isUnbondDelegatorAsValidatorVerifier: (a: number) => number;
-  readonly verifyingkey_isUnbondPublicVerifier: (a: number) => number;
-  readonly __wbg_verifyingkey_free: (a: number) => void;
-  readonly verifyingkey_checksum: (a: number, b: number) => void;
-  readonly verifyingkey_copy: (a: number) => number;
-  readonly verifyingkey_fromBytes: (a: number, b: number, c: number) => void;
-  readonly verifyingkey_fromString: (a: number, b: number, c: number) => void;
-  readonly verifyingkey_toBytes: (a: number, b: number) => void;
-  readonly verifyingkey_toString: (a: number, b: number) => void;
-  readonly programmanager_executeFunctionOffline: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number, m: number, n: number) => number;
-  readonly programmanager_buildExecutionTransaction: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number, m: number, n: number, o: number, p: number) => number;
-  readonly programmanager_estimateExecutionFee: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number) => number;
-  readonly programmanager_estimateFinalizeFee: (a: number, b: number, c: number, d: number, e: number) => void;
-  readonly programmanager_buildTransferTransaction: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number, m: number, n: number, o: number, p: number) => number;
-  readonly programmanager_synthesizeKeyPair: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => number;
-  readonly __wbg_programmanager_free: (a: number) => void;
-  readonly viewkey_from_private_key: (a: number) => number;
-  readonly viewkey_from_string: (a: number, b: number) => number;
-  readonly viewkey_to_string: (a: number, b: number) => void;
-  readonly viewkey_to_address: (a: number) => number;
-  readonly viewkey_decrypt: (a: number, b: number, c: number, d: number) => void;
   readonly __wbg_execution_free: (a: number) => void;
   readonly execution_toString: (a: number, b: number) => void;
   readonly execution_fromString: (a: number, b: number, c: number) => void;
   readonly verifyFunctionExecution: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
-  readonly programmanager_buildJoinTransaction: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number) => number;
+  readonly __wbg_provingkey_free: (a: number) => void;
+  readonly provingkey_fromBytes: (a: number, b: number, c: number) => void;
+  readonly provingkey_toBytes: (a: number, b: number) => void;
+  readonly provingkey_copy: (a: number) => number;
+  readonly __wbg_recordplaintext_free: (a: number) => void;
+  readonly recordplaintext_fromString: (a: number, b: number, c: number) => void;
+  readonly recordplaintext_toString: (a: number, b: number) => void;
+  readonly recordplaintext_microcredits: (a: number) => number;
+  readonly recordplaintext_nonce: (a: number, b: number) => void;
+  readonly recordplaintext_serialNumberString: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+  readonly runRayonThread: (a: number) => void;
+  readonly programmanager_buildTransferTransaction: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number, m: number, n: number, o: number) => number;
+  readonly programmanager_synthesizeKeyPair: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => number;
   readonly __wbg_transaction_free: (a: number) => void;
   readonly transaction_fromString: (a: number, b: number, c: number) => void;
   readonly transaction_toString: (a: number, b: number) => void;
   readonly transaction_transactionId: (a: number, b: number) => void;
   readonly transaction_transactionType: (a: number, b: number) => void;
-  readonly __wbg_field_free: (a: number) => void;
-  readonly field_toString: (a: number, b: number) => void;
-  readonly field_fromString: (a: number, b: number, c: number) => void;
-  readonly init_panic_hook: () => void;
-  readonly __wbg_viewkey_free: (a: number) => void;
+  readonly __wbg_programmanager_free: (a: number) => void;
+  readonly __wbg_executionresponse_free: (a: number) => void;
+  readonly executionresponse_getOutputs: (a: number) => number;
+  readonly executionresponse_getExecution: (a: number) => number;
+  readonly executionresponse_getKeys: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
   readonly __wbg_signature_free: (a: number) => void;
   readonly signature_sign: (a: number, b: number, c: number) => number;
   readonly signature_sign_message: (a: number, b: number, c: number, d: number, e: number) => number;