@puzzlehq/aleo-wasm-web 0.6.2 → 0.6.4

package/aleo_wasm.d.ts

@@ -122,6 +122,13 @@ export class ExecutionResponse {
 * @returns {Execution | undefined}
 */
   getExecution(): Execution | undefined;
+/**
+* Returns the program keys if present
+* @param {string} program_id
+* @param {string} function_name
+* @returns {KeyPair}
+*/
+  getKeys(program_id: string, function_name: string): KeyPair;
 }
 /**
 */
@@ -572,100 +579,6 @@ 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 cache Cache the proving and verifying keys in the ProgramManager memory. If this is
-* set to `true` the keys synthesized (or passed in as optional parameters via the
-* `join_proving_key` and `join_verifying_key` arguments) will be stored in the
-* ProgramManager's memory and used for subsequent transactions. If this is set to `false` the
-* proving and verifying keys will be deallocated from memory after the transaction is executed
-* @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 {boolean} cache
-* @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>}
-*/
-  buildJoinTransaction(private_key: PrivateKey, record_1: RecordPlaintext, record_2: RecordPlaintext, fee_credits: number, fee_record: RecordPlaintext | undefined, url: string, cache: boolean, join_proving_key?: ProvingKey, join_verifying_key?: VerifyingKey, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey): Promise<Transaction>;
-/**
-*/
-  constructor();
-/**
-* Cache the proving and verifying keys for a program function in WASM memory. This method
-* will take a verifying and proving key and store them in the program manager's internal
-* in-memory cache. This memory is allocated in WebAssembly, so it is important to be mindful
-* of the amount of memory being used. This method will return an error if the keys are already
-* cached in memory.
-*
-* @param program_id The name of the program containing the desired function
-* @param function The name of the function to store the keys for
-* @param proving_key The proving key of the function
-* @param verifying_key The verifying key of the function
-* @param {string} program
-* @param {string} _function
-* @param {ProvingKey} proving_key
-* @param {VerifyingKey} verifying_key
-*/
-  cacheKeypairInWasmMemory(program: string, _function: string, proving_key: ProvingKey, verifying_key: VerifyingKey): void;
-/**
-* Get the proving & verifying keys cached in WASM memory for a specific function
-*
-* @param program_id The name of the program containing the desired function
-* @param function_id The name of the function to retrieve the keys for
-* @param {string} program_id
-* @param {string} _function
-* @returns {KeyPair}
-*/
-  getCachedKeypair(program_id: string, _function: string): KeyPair;
-/**
-* Synthesize a proving and verifying key for a program function. This method should be used
-* when there is a need to pre-synthesize keys (i.e. for caching purposes, etc.)
-*
-* @param program The source code of the program containing the desired function
-* @param function The name of the function to synthesize the key for
-* @param {string} program
-* @param {string} _function
-* @returns {KeyPair}
-*/
-  synthesizeKeypair(program: string, _function: string): KeyPair;
-/**
-* Clear key cache in wasm memory.
-*
-* This method will clear the key cache in wasm memory. It is important to note that this will
-* not DE-allocate the memory assigned to wasm as wasm memory cannot be shrunk. The total
-* memory allocated to wasm will remain constant but will be available for other usage after
-* calling this method.
-*/
-  clearKeyCache(): void;
-/**
-* Check if the cache contains a keypair for a specific function
-*
-* @param program_id The name of the program containing the desired function
-* @param function_id The name of the function to retrieve the keys for
-* @param {string} program_id
-* @param {string} function_id
-* @returns {boolean}
-*/
-  keyExists(program_id: string, function_id: string): boolean;
-/**
 * 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
@@ -673,11 +586,6 @@ export class ProgramManager {
 * value of the record and two new records will be created with the split amount and the remainder
 * @param amount_record The record to split
 * @param url The url of the Aleo network node to send the transaction to
-* @param cache Cache the proving and verifying keys in the ProgramManager memory. If this is
-* set to `true` the keys synthesized (or passed in as optional parameters via the
-* `split_proving_key` and `split_verifying_key` arguments) will be stored in the
-* ProgramManager's memory and used for subsequent transactions. If this is set to `false` the
-* proving and verifying keys will be deallocated from memory after the transaction is executed
 * @param split_proving_key (optional) Provide a proving key to use for the split function
 * @param split_verifying_key (optional) Provide a verifying key to use for the split function
 * @returns {Transaction | Error} Transaction object
@@ -685,73 +593,19 @@ export class ProgramManager {
 * @param {number} split_amount
 * @param {RecordPlaintext} amount_record
 * @param {string} url
-* @param {boolean} cache
 * @param {ProvingKey | undefined} split_proving_key
 * @param {VerifyingKey | undefined} split_verifying_key
 * @returns {Promise<Transaction>}
 */
-  buildSplitTransaction(private_key: PrivateKey, split_amount: number, amount_record: RecordPlaintext, url: string, cache: boolean, split_proving_key?: ProvingKey, split_verifying_key?: VerifyingKey): 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
-*
-* @param private_key The private key of the sender
-* @param program The source code of the program being deployed
-* @param imports A javascript object holding the source code of any imported programs in the
-* form \{"program_name1": "program_source_code", "program_name2": "program_source_code", ..\}.
-* Note that all imported programs must be deployed on chain before the main program in order
-* for the deployment to succeed
-* @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 cache Cache the synthesized keys for future use
-* @param imports (optional) Provide a list of imports to use for the program deployment in the
-* form of a javascript object where the keys are a string of the program name and the values
-* are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
-* @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}
+* @param {string} program_id
+* @param {string} function_id
+* @param {Array<any>} inputs_str
 * @param {PrivateKey} private_key
-* @param {string} program
-* @param {number} fee_credits
-* @param {RecordPlaintext | undefined} fee_record
-* @param {string} url
-* @param {boolean} cache
-* @param {object | undefined} imports
-* @param {ProvingKey | undefined} fee_proving_key
-* @param {VerifyingKey | undefined} fee_verifying_key
-* @returns {Promise<Transaction>}
-*/
-  buildDeploymentTransaction(private_key: PrivateKey, program: string, fee_credits: number, fee_record: RecordPlaintext | undefined, url: string, cache: boolean, imports?: object, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey): Promise<Transaction>;
-/**
-* Estimate the fee for a program deployment
-*
-* Disclaimer: Fee estimation is experimental and may not represent a correct estimate on any current or future network
-*
-* @param program The source code of the program being deployed
-* @param cache Cache the synthesized keys for future use
-* @param imports (optional) Provide a list of imports to use for the deployment fee estimation
-* in the form of a javascript object where the keys are a string of the program name and the values
-* are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
-* @returns {u64 | Error}
-* @param {string} program
-* @param {boolean} cache
-* @param {object | undefined} imports
-* @returns {Promise<bigint>}
-*/
-  estimateDeploymentFee(program: string, cache: boolean, imports?: object): Promise<bigint>;
-/**
-* Estimate the component of the deployment cost which comes from the fee for the program name.
-* Note that this cost does not represent the entire cost of deployment. It is additional to
-* the cost of the size (in bytes) of the deployment.
-*
-* Disclaimer: Fee estimation is experimental and may not represent a correct estimate on any current or future network
-*
-* @param name The name of the program to be deployed
-* @returns {u64 | Error}
-* @param {string} name
-* @returns {bigint}
+* @returns {Promise<string>}
 */
-  estimateProgramNameCost(name: string): bigint;
+  authExecute(program_id: string, function_id: string, inputs_str: Array<any>, private_key: PrivateKey): Promise<string>;
 /**
 * Execute an arbitrary function locally
 *
@@ -762,11 +616,10 @@ export class ProgramManager {
 * @param {boolean} prove_execution If true, the execution will be proven and an execution object
 * containing the proof and the encrypted inputs and outputs needed to verify the proof offline
 * will be returned.
-* @param {boolean} cache Cache the proving and verifying keys in the ProgramManager's memory.
-* If this is set to 'true' the keys synthesized (or passed in as optional parameters via the
-* `proving_key` and `verifying_key` arguments) will be stored in the ProgramManager's memory
-* and used for subsequent transactions. If this is set to 'false' the proving and verifying
-* keys will be deallocated from memory after the transaction is executed.
+* @param {boolean} cache Cache the proving and verifying keys in the Execution response.
+* If this is set to 'true' the keys synthesized will be stored in the Execution Response
+* and the `ProvingKey` and `VerifyingKey` can be retrieved from the response via the `.getKeys()`
+* method.
 * @param {Object | undefined} imports (optional) Provide a list of imports to use for the function execution in the
 * form of a javascript object where the keys are a string of the program name and the values
 * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
@@ -783,7 +636,7 @@ export class ProgramManager {
 * @param {VerifyingKey | undefined} verifying_key
 * @returns {Promise<ExecutionResponse>}
 */
-  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>;
+  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
 *
@@ -794,7 +647,6 @@ export class ProgramManager {
 * @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 cache Cache the proving and verifying keys in the ProgramManager's memory.
 * If this is set to 'true' the keys synthesized (or passed in as optional parameters via the
 * `proving_key` and `verifying_key` arguments) will be stored in the ProgramManager's memory
 * and used for subsequent transactions. If this is set to 'false' the proving and verifying
@@ -814,7 +666,6 @@ export class ProgramManager {
 * @param {number} fee_credits
 * @param {RecordPlaintext | undefined} fee_record
 * @param {string} url
-* @param {boolean} cache
 * @param {object | undefined} imports
 * @param {ProvingKey | undefined} proving_key
 * @param {VerifyingKey | undefined} verifying_key
@@ -822,7 +673,7 @@ export class ProgramManager {
 * @param {VerifyingKey | undefined} fee_verifying_key
 * @returns {Promise<Transaction>}
 */
-  buildExecutionTransaction(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, fee_credits: number, fee_record: RecordPlaintext | undefined, url: string, cache: boolean, imports?: object, proving_key?: ProvingKey, verifying_key?: VerifyingKey, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey): 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
@@ -835,7 +686,6 @@ export class ProgramManager {
 * @param function The name of the function to execute
 * @param inputs A javascript array of inputs to the function
 * @param url The url of the Aleo network node to send the transaction to
-* @param cache Cache the proving and verifying keys in the ProgramManager's memory.
 * @param imports (optional) Provide a list of imports to use for the fee estimation in the
 * form of a javascript object where the keys are a string of the program name and the values
 * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
@@ -847,13 +697,12 @@ export class ProgramManager {
 * @param {string} _function
 * @param {Array<any>} inputs
 * @param {string} url
-* @param {boolean} cache
 * @param {object | undefined} imports
 * @param {ProvingKey | undefined} proving_key
 * @param {VerifyingKey | undefined} verifying_key
 * @returns {Promise<bigint>}
 */
-  estimateExecutionFee(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, url: string, cache: boolean, imports?: object, proving_key?: ProvingKey, verifying_key?: VerifyingKey): 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
@@ -868,7 +717,64 @@ export class ProgramManager {
 * @param {string} _function
 * @returns {bigint}
 */
-  estimateFinalizeFee(program: string, _function: string): bigint;
+  static estimateFinalizeFee(program: string, _function: string): bigint;
+/**
+* Deploy an Aleo program
+*
+* @param private_key The private key of the sender
+* @param program The source code of the program being deployed
+* @param imports A javascript object holding the source code of any imported programs in the
+* form \{"program_name1": "program_source_code", "program_name2": "program_source_code", ..\}.
+* Note that all imported programs must be deployed on chain before the main program in order
+* for the deployment to succeed
+* @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 imports (optional) Provide a list of imports to use for the program deployment in the
+* form of a javascript object where the keys are a string of the program name and the values
+* are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
+* @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}
+* @param {PrivateKey} private_key
+* @param {string} program
+* @param {number} fee_credits
+* @param {RecordPlaintext | undefined} fee_record
+* @param {string} url
+* @param {object | undefined} imports
+* @param {ProvingKey | undefined} fee_proving_key
+* @param {VerifyingKey | undefined} fee_verifying_key
+* @returns {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
+*
+* Disclaimer: Fee estimation is experimental and may not represent a correct estimate on any current or future network
+*
+* @param program The source code of the program being deployed
+* @param imports (optional) Provide a list of imports to use for the deployment fee estimation
+* in the form of a javascript object where the keys are a string of the program name and the values
+* are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
+* @returns {u64 | Error}
+* @param {string} program
+* @param {object | undefined} imports
+* @returns {Promise<bigint>}
+*/
+  static estimateDeploymentFee(program: string, imports?: object): Promise<bigint>;
+/**
+* Estimate the component of the deployment cost which comes from the fee for the program name.
+* Note that this cost does not represent the entire cost of deployment. It is additional to
+* the cost of the size (in bytes) of the deployment.
+*
+* Disclaimer: Fee estimation is experimental and may not represent a correct estimate on any current or future network
+*
+* @param name The name of the program to be deployed
+* @returns {u64 | Error}
+* @param {string} name
+* @returns {bigint}
+*/
+  static estimateProgramNameCost(name: string): bigint;
 /**
 * Send credits from one Aleo account to another
 *
@@ -880,13 +786,6 @@ export class ProgramManager {
 * @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 cache Cache the proving and verifying keys in the ProgramManager memory. If this is
-* set to `true` the keys synthesized (or passed in as optional parameters via the
-* `transfer_proving_key` and `transfer_verifying_key` arguments) will be stored in the
-* ProgramManager's memory and used for subsequent transactions. If this is set to `false` the
-* proving and verifying keys will be deallocated from memory after the transaction is executed
-* @param transfer_proving_key (optional) Provide a proving key to use for the transfer
-* function
 * @param transfer_verifying_key (optional) Provide a verifying key to use for the transfer
 * function
 * @param fee_proving_key (optional) Provide a proving key to use for the fee execution
@@ -900,14 +799,56 @@ export class ProgramManager {
 * @param {number} fee_credits
 * @param {RecordPlaintext | undefined} fee_record
 * @param {string} url
-* @param {boolean} cache
 * @param {ProvingKey | undefined} transfer_proving_key
 * @param {VerifyingKey | undefined} transfer_verifying_key
 * @param {ProvingKey | undefined} fee_proving_key
 * @param {VerifyingKey | undefined} fee_verifying_key
 * @returns {Promise<Transaction>}
 */
-  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, cache: boolean, transfer_proving_key?: ProvingKey, transfer_verifying_key?: VerifyingKey, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey): 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
+*
+* @param program {string} The program source code of the program to synthesize keys for
+* @param function_id {string} The function to synthesize keys for
+* @param inputs {Array} The inputs to the function
+* @param imports {Object | undefined} The imports for the program
+* @param {PrivateKey} private_key
+* @param {string} program
+* @param {string} function_id
+* @param {Array<any>} inputs
+* @param {object | undefined} imports
+* @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} 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>;
 }
 /**
 * Proving key for a function within an Aleo program
@@ -1218,43 +1159,45 @@ 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;
 
 export interface InitOutput {
   readonly memory: WebAssembly.Memory;
-  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, m: number) => number;
-  readonly __wbg_programmanager_free: (a: number) => void;
-  readonly programmanager_new: () => number;
-  readonly programmanager_cacheKeypairInWasmMemory: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
-  readonly programmanager_getCachedKeypair: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
-  readonly programmanager_synthesizeKeypair: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
-  readonly programmanager_clearKeyCache: (a: number) => void;
-  readonly programmanager_keyExists: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
   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 initThreadPool: (a: number, b: number) => number;
-  readonly init_panic_hook: () => 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 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, i: number) => number;
+  readonly programmanager_buildSplitTransaction: (a: number, b: number, c: number, d: number, e: number, f: number, g: 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 runRayonThread: (a: number) => void;
-  readonly __wbg_executionresponse_free: (a: number) => void;
-  readonly executionresponse_getOutputs: (a: number) => number;
-  readonly executionresponse_getExecution: (a: number) => number;
+  readonly programmanager_authExecute: (a: number, b: number, c: number, d: number, e: number, f: number, g: 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;
@@ -1274,41 +1217,31 @@ export interface InitOutput {
   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 __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, l: number) => number;
-  readonly programmanager_estimateDeploymentFee: (a: number, b: number, c: number, d: number, e: number) => number;
-  readonly programmanager_estimateProgramNameCost: (a: number, b: number, c: number, d: 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) => number;
+  readonly programmanager_estimateDeploymentFee: (a: number, b: number, c: number) => number;
+  readonly programmanager_estimateProgramNameCost: (a: number, b: number, c: 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 __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;
-  readonly signature_verify: (a: number, b: number, c: number, d: number) => number;
-  readonly signature_from_string: (a: number, b: number) => number;
-  readonly signature_to_string: (a: number, b: number) => void;
-  readonly __wbg_viewkey_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 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_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_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_address_free: (a: number) => void;
-  readonly address_from_private_key: (a: number) => number;
-  readonly address_from_view_key: (a: number) => number;
-  readonly address_from_string: (a: number, b: number) => number;
-  readonly address_to_string: (a: number, b: number) => void;
-  readonly address_verify: (a: number, b: number, c: number, d: number) => number;
+  readonly __wbg_programmanager_free: (a: number) => void;
   readonly __wbg_privatekey_free: (a: number) => void;
   readonly privatekey_new: () => number;
   readonly privatekey_from_seed_unchecked: (a: number, b: number) => number;
@@ -1316,22 +1249,37 @@ export interface InitOutput {
   readonly privatekey_to_string: (a: number, b: number) => void;
   readonly privatekey_to_seed: (a: number, b: number) => void;
   readonly privatekey_to_view_key: (a: number) => number;
+  readonly privatekey_to_address: (a: number) => number;
   readonly privatekey_sign: (a: number, b: number, c: number) => number;
   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 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) => 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, q: 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, m: number) => number;
-  readonly programmanager_estimateFinalizeFee: (a: number, b: number, c: number, d: number, e: number, f: 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, q: number) => number;
+  readonly __wbg_signature_free: (a: number) => void;
+  readonly signature_sign_message: (a: number, b: number, c: number, d: number, e: number) => number;
+  readonly signature_verify: (a: number, b: number, c: number, d: number) => number;
+  readonly signature_from_string: (a: number, b: number) => number;
+  readonly signature_to_string: (a: number, b: 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 privatekey_to_address: (a: number) => number;
+  readonly signature_sign: (a: number, b: number, c: number) => number;
+  readonly __wbg_address_free: (a: number) => void;
+  readonly address_from_private_key: (a: number) => number;
+  readonly address_from_view_key: (a: number) => number;
+  readonly address_from_string: (a: number, b: number) => number;
+  readonly address_to_string: (a: number, b: number) => void;
+  readonly address_verify: (a: number, b: number, c: number, d: number) => number;
+  readonly __wbg_viewkey_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_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 viewkey_to_address: (a: number) => number;
   readonly __wbindgen_malloc: (a: number, b: number) => number;
   readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
   readonly __wbindgen_export_2: WebAssembly.Table;