@puzzlehq/aleo-wasm-web 0.6.1 → 0.6.8

package/aleo_wasm.d.ts

@@ -1,19 +1,6 @@
 /* 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>;
-/**
-* @param {number} receiver
-*/
-export function runRayonThread(receiver: number): 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.
@@ -31,6 +18,9 @@ export function runRayonThread(receiver: number): void;
 */
 export function verifyFunctionExecution(execution: Execution, verifying_key: VerifyingKey, program: Program, function_id: string): boolean;
 /**
+*/
+export function init_panic_hook(): void;
+/**
 * Public address of an Aleo account
 */
 export class Address {
@@ -82,7 +72,7 @@ export class Address {
   verify(message: Uint8Array, signature: Signature): boolean;
 }
 /**
-* A program that can be executed on the Aleo blockchain.
+* Execution of an Aleo program.
 */
 export class Execution {
   free(): void;
@@ -114,14 +104,57 @@ export class ExecutionResponse {
 */
   getOutputs(): Array<any>;
 /**
-* 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 the execution object if present, null if otherwise.
 *
-* @returns {Execution} The execution object if present, null if otherwise
+* @returns {Execution | undefined} The execution object if present, null if otherwise
 * @returns {Execution | undefined}
 */
   getExecution(): Execution | undefined;
+/**
+* Returns the program keys if present
+* @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;
 }
 /**
 */
@@ -143,6 +176,7 @@ 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;
@@ -172,6 +206,38 @@ 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 {
@@ -209,6 +275,14 @@ export class PrivateKey {
 */
   to_string(): string;
 /**
+* Get a string representation of the seed. This function should be used very carefully
+* as it exposes the private key seed
+*
+* @returns {string} String representation of a private key seed
+* @returns {string}
+*/
+  to_seed(): string;
+/**
 * Get the view key corresponding to the private key
 *
 * @returns {ViewKey}
@@ -309,10 +383,6 @@ 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;
@@ -564,100 +634,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
@@ -665,24 +641,19 @@ 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
 * @param {PrivateKey} private_key
 * @param {number} split_amount
 * @param {RecordPlaintext} amount_record
-* @param {string} url
-* @param {boolean} cache
+* @param {string | undefined} url
 * @param {ProvingKey | undefined} split_proving_key
 * @param {VerifyingKey | undefined} split_verifying_key
+* @param {OfflineQuery | undefined} offline_query
 * @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, offline_query?: OfflineQuery): Promise<Transaction>;
 /**
 * Deploy an Aleo program
 *
@@ -695,7 +666,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 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" \}
@@ -706,31 +676,29 @@ export class ProgramManager {
 * @param {string} program
 * @param {number} fee_credits
 * @param {RecordPlaintext | undefined} fee_record
-* @param {string} url
-* @param {boolean} cache
+* @param {string | undefined} 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>}
 */
-  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>;
+  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>;
 /**
 * 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>;
+  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
@@ -743,7 +711,7 @@ export class ProgramManager {
 * @param {string} name
 * @returns {bigint}
 */
-  estimateProgramNameCost(name: string): bigint;
+  static estimateProgramNameCost(name: string): bigint;
 /**
 * Execute an arbitrary function locally
 *
@@ -754,11 +722,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" \}
@@ -773,9 +740,11 @@ 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>}
 */
-  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, url?: string, offline_query?: OfflineQuery): Promise<ExecutionResponse>;
 /**
 * Execute Aleo function and create an Aleo execution transaction
 *
@@ -786,7 +755,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
@@ -805,16 +773,16 @@ export class ProgramManager {
 * @param {Array<any>} inputs
 * @param {number} fee_credits
 * @param {RecordPlaintext | undefined} fee_record
-* @param {string} url
-* @param {boolean} cache
+* @param {string | undefined} 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>}
 */
-  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, url?: string, imports?: object, proving_key?: ProvingKey, verifying_key?: VerifyingKey, fee_proving_key?: ProvingKey, fee_verifying_key?: VerifyingKey, offline_query?: OfflineQuery): 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
@@ -827,7 +795,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" \}
@@ -838,14 +805,14 @@ export class ProgramManager {
 * @param {string} program
 * @param {string} _function
 * @param {Array<any>} inputs
-* @param {string} url
-* @param {boolean} cache
+* @param {string | undefined} url
 * @param {object | undefined} imports
 * @param {ProvingKey | undefined} proving_key
 * @param {VerifyingKey | undefined} verifying_key
+* @param {OfflineQuery | undefined} offline_query
 * @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, offline_query?: OfflineQuery): 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
@@ -860,7 +827,7 @@ export class ProgramManager {
 * @param {string} _function
 * @returns {bigint}
 */
-  estimateFinalizeFee(program: string, _function: string): bigint;
+  static estimateFinalizeFee(program: string, _function: string): bigint;
 /**
 * Send credits from one Aleo account to another
 *
@@ -872,13 +839,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
@@ -891,15 +851,59 @@ export class ProgramManager {
 * @param {RecordPlaintext | undefined} amount_record
 * @param {number} fee_credits
 * @param {RecordPlaintext | undefined} fee_record
-* @param {string} url
-* @param {boolean} cache
+* @param {string | undefined} 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>;
+/**
+* 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 | 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>}
 */
-  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 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
@@ -907,6 +911,20 @@ 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
@@ -916,6 +934,14 @@ 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
@@ -923,87 +949,247 @@ export class ProvingKey {
 */
   toBytes(): Uint8Array;
 /**
-* Create a copy of the proving key
+* Get a string representation of the proving key
 *
-* @returns {ProvingKey} A copy of the proving key
-* @returns {ProvingKey}
+* @returns {string} String representation of the proving key
+* @returns {string}
 */
-  copy(): ProvingKey;
-}
+  toString(): string;
 /**
-* Encrypted Aleo record
+* 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}
 */
-export class RecordCiphertext {
-  free(): void;
+  isBondPublicProver(): boolean;
 /**
-* Create a record ciphertext from a string
+* Verify if the proving key is for the claim_unbond function
 *
-* @param {string} record String representation of a record ciphertext
-* @returns {RecordCiphertext | Error} Record ciphertext
-* @param {string} record
-* @returns {RecordCiphertext}
+* @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}
 */
-  static fromString(record: string): RecordCiphertext;
+  isClaimUnbondPublicProver(): boolean;
 /**
-* Return the string reprensentation of the record ciphertext
+* Verify if the proving key is for the fee_private function
 *
-* @returns {string} String representation of the record ciphertext
-* @returns {string}
+* @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}
 */
-  toString(): string;
+  isFeePrivateProver(): boolean;
 /**
-* Decrypt the record ciphertext into plaintext using the view key. The record will only
-* decrypt if the record was encrypted by the account corresponding to the view key
+* Verify if the proving key is for the fee_public function
 *
-* @param {ViewKey} view_key View key used to decrypt the ciphertext
-* @returns {RecordPlaintext | Error} Record plaintext object
-* @param {ViewKey} view_key
-* @returns {RecordPlaintext}
+* @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}
 */
-  decrypt(view_key: ViewKey): RecordPlaintext;
+  isFeePublicProver(): boolean;
 /**
-* Determines if the account corresponding to the view key is the owner of the record
+* Verify if the proving key is for the inclusion function
 *
-* @param {ViewKey} view_key View key used to decrypt the ciphertext
-* @returns {boolean}
-* @param {ViewKey} view_key
+* @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}
 */
-  isOwner(view_key: ViewKey): boolean;
-}
+  isInclusionProver(): boolean;
 /**
-* Plaintext representation of an Aleo record
+* 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}
 */
-export class RecordPlaintext {
-  free(): void;
+  isJoinProver(): boolean;
 /**
-* Return a record plaintext from a string.
+* Verify if the proving key is for the set_validator_state function
 *
-* @param {string} record String representation of a plaintext representation of an Aleo record
-* @returns {RecordPlaintext | Error} Record plaintext
-* @param {string} record
-* @returns {RecordPlaintext}
+* @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}
 */
-  static fromString(record: string): RecordPlaintext;
+  isSetValidatorStateProver(): boolean;
 /**
-* Returns the record plaintext string
+* Verify if the proving key is for the split function
 *
-* @returns {string} String representation of the record plaintext
-* @returns {string}
+* @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}
 */
-  toString(): string;
+  isSplitProver(): boolean;
 /**
-* Returns the amount of microcredits in the record
+* Verify if the proving key is for the transfer_private function
 *
-* @returns {u64} Amount of microcredits in the record
-* @returns {bigint}
+* @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}
 */
-  microcredits(): bigint;
+  isTransferPrivateProver(): boolean;
 /**
-* Returns the nonce of the record. This can be used to uniquely identify a record.
+* Verify if the proving key is for the transfer_private_to_public function
 *
-* @returns {string} Nonce of the record
-* @returns {string}
+* @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");
+*
+* @returns {boolean} returns true if the proving key is for the unbond_delegator_as_delegator function, false if otherwise
+* @returns {boolean}
+*/
+  isUnbondPublicProver(): boolean;
+}
+/**
+* Encrypted Aleo record
+*/
+export class RecordCiphertext {
+  free(): void;
+/**
+* Create a record ciphertext from a string
+*
+* @param {string} record String representation of a record ciphertext
+* @returns {RecordCiphertext | Error} Record ciphertext
+* @param {string} record
+* @returns {RecordCiphertext}
+*/
+  static fromString(record: string): RecordCiphertext;
+/**
+* Return the string reprensentation of the record ciphertext
+*
+* @returns {string} String representation of the record ciphertext
+* @returns {string}
+*/
+  toString(): string;
+/**
+* Decrypt the record ciphertext into plaintext using the view key. The record will only
+* decrypt if the record was encrypted by the account corresponding to the view key
+*
+* @param {ViewKey} view_key View key used to decrypt the ciphertext
+* @returns {RecordPlaintext | Error} Record plaintext object
+* @param {ViewKey} view_key
+* @returns {RecordPlaintext}
+*/
+  decrypt(view_key: ViewKey): RecordPlaintext;
+/**
+* Determines if the account corresponding to the view key is the owner of the record
+*
+* @param {ViewKey} view_key View key used to decrypt the ciphertext
+* @returns {boolean}
+* @param {ViewKey} view_key
+* @returns {boolean}
+*/
+  isOwner(view_key: ViewKey): boolean;
+}
+/**
+* Plaintext representation of an Aleo record
+*/
+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
+* @returns {RecordPlaintext | Error} Record plaintext
+* @param {string} record
+* @returns {RecordPlaintext}
+*/
+  static fromString(record: string): RecordPlaintext;
+/**
+* Returns the record plaintext string
+*
+* @returns {string} String representation of the record plaintext
+* @returns {string}
+*/
+  toString(): string;
+/**
+* Returns the amount of microcredits in the record
+*
+* @returns {u64} Amount of microcredits in the record
+* @returns {bigint}
+*/
+  microcredits(): bigint;
+/**
+* Returns the nonce of the record. This can be used to uniquely identify a record.
+*
+* @returns {string} Nonce of the record
+* @returns {string}
 */
   nonce(): string;
 /**
@@ -1044,11 +1230,6 @@ 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
@@ -1126,6 +1307,216 @@ 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
@@ -1135,13 +1526,6 @@ 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
@@ -1151,19 +1535,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;
 }
 /**
 */
@@ -1216,37 +1600,86 @@ export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembl
 
 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_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_privatekey_free: (a: number) => void;
+  readonly privatekey_new: () => number;
+  readonly privatekey_from_seed_unchecked: (a: number, b: number) => number;
+  readonly privatekey_from_string: (a: number, b: number, c: number) => void;
+  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_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 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 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 __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 __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_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 __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_estimateDeploymentFee: (a: number, b: number, c: number) => number;
+  readonly programmanager_estimateProgramNameCost: (a: number, b: number, c: 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;
@@ -1260,69 +1693,74 @@ 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 __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 __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 __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 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_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 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_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 __wbg_privatekey_free: (a: number) => void;
-  readonly privatekey_new: () => number;
-  readonly privatekey_from_seed_unchecked: (a: number, b: number) => number;
-  readonly privatekey_from_string: (a: number, b: number, c: number) => void;
-  readonly privatekey_to_string: (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 __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_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 __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;