@typeberry/native 0.0.4-68ac75d → 0.0.4-92ff682

package/index.d.ts

@@ -1,18 +1,82 @@
 declare namespace bandersnatch_d_exports {
-  export { InitInput$2 as InitInput, InitOutput$2 as InitOutput, SyncInitInput$2 as SyncInitInput, batch_verify_tickets, __wbg_init$2 as default, derive_public_key, initSync$2 as initSync, ring_commitment, verify_seal };
+  export { InitInput$2 as InitInput, InitOutput$2 as InitOutput, SyncInitInput$2 as SyncInitInput, batch_verify_tickets, __wbg_init$2 as default, derive_public_key, generate_seal, initSync$2 as initSync, ring_commitment, verify_header_seals, verify_seal, vrf_output_hash };
 }
 /* tslint:disable */
 /* eslint-disable */
+/**
+ * Generate seal that is verifiable using `verify_seal` function.
+ *
+ * # Arguments
+ * * `secret_seed` - Seed used to derive the secret key
+ * * `input` - VRF input data
+ * * `aux_data` - Auxiliary data for the VRF proof
+ *
+ * # Returns
+ * A byte vector with the following format:
+ * - On success (97 bytes):
+ *   - Byte 0: Status code `0` (RESULT_OK)
+ *   - Bytes 1-32: Serialized VRF output (32 bytes, compressed) NOTE: not output hash!
+ *   - Bytes 33-96: Serialized IETF VRF proof (64 bytes, compressed)
+ * - On error (1 byte):
+ *   - Byte 0: Status code `1` (RESULT_ERR)
+ *
+ * Returns an error if the input cannot be converted to a valid VRF input point
+ * or if serialization of the output or proof fails.
+ */
+declare function generate_seal(secret_seed: Uint8Array, input: Uint8Array, aux_data: Uint8Array): Uint8Array;
+/**
+ * Verify multiple tickets at once as defined in:
+ * https://graypaper.fluffylabs.dev/#/68eaa1f/0f3e000f3e00?v=0.6.4
+ *
+ * NOTE: the aux_data of VRF function is empty!
+ */
+declare function batch_verify_tickets(ring_size: number, commitment: Uint8Array, tickets_data: Uint8Array, vrf_input_data_len: number): Uint8Array;
+/**
+ * Compute VRF output hash from a secret seed and input data.
+ *
+ * This function derives a deterministic VRF output hash without generating a proof.
+ * Unlike `generate_seal`, this produces only the output hash, not a verifiable signature.
+ *
+ * # Arguments
+ * * `secret_seed` - Seed used to derive the secret key
+ * * `input` - VRF input data to be hashed
+ *
+ * # Returns
+ * A byte vector with the following format:
+ * - On success (33 bytes):
+ *   - Byte 0: Status code `0` (RESULT_OK)
+ *   - Bytes 1-32: VRF output hash (32 bytes)
+ * - On error (1 byte):
+ *   - Byte 0: Status code `1` (RESULT_ERR)
+ *
+ * Returns an error if the input cannot be converted to a valid VRF input point.
+ */
+declare function vrf_output_hash(secret_seed: Uint8Array, input: Uint8Array): Uint8Array;
 /**
  * Generate ring commitment given concatenation of ring keys.
  */
 declare function ring_commitment(keys: Uint8Array): Uint8Array;
 /**
- * Derive Private and Public Key from Seed
+ * Verifies both header seal and entropy source in a single call.
  *
- * returns: `Vec<u8>` containing the exit (1 byte) status followed by the (32 bytes) public key
+ * This combines seal verification (block author's VRF proof) with entropy
+ * verification (randomness derivation) as required by the JAM protocol.
+ *
+ * # Arguments
+ * * `signer_key` - Signer's public key (32 bytes, compressed)
+ * * `seal_data` - VRF signature for the seal (96 bytes)
+ * * `seal_payload` - VRF input data for seal verification
+ * * `unsealed_header` - Auxiliary data (unsealed header bytes)
+ * * `entropy_data` - VRF signature for entropy (96 bytes)
+ * * `entropy_prefix` - Prefix bytes for entropy payload construction
+ *
+ * # Returns
+ * A 65-byte vector:
+ * - Byte 0: Status code (`0` = success, `1` = error)
+ * - Bytes 1-32: Seal VRF output hash (zeros on error)
+ * - Bytes 33-64: Entropy VRF output hash (zeros on error)
  */
-declare function derive_public_key(seed: Uint8Array): Uint8Array;
+declare function verify_header_seals(signer_key: Uint8Array, seal_data: Uint8Array, seal_payload: Uint8Array, unsealed_header: Uint8Array, entropy_data: Uint8Array, entropy_prefix: Uint8Array): Uint8Array;
 /**
  * Seal verification as defined in:
  * https://graypaper.fluffylabs.dev/#/68eaa1f/0eff000eff00?v=0.6.4
@@ -21,19 +85,21 @@ declare function derive_public_key(seed: Uint8Array): Uint8Array;
  */
 declare function verify_seal(signer_key: Uint8Array, seal_data: Uint8Array, payload: Uint8Array, aux_data: Uint8Array): Uint8Array;
 /**
- * Verify multiple tickets at once as defined in:
- * https://graypaper.fluffylabs.dev/#/68eaa1f/0f3e000f3e00?v=0.6.4
+ * Derive Private and Public Key from Seed
  *
- * NOTE: the aux_data of VRF function is empty!
+ * returns: `Vec<u8>` containing the exit (1 byte) status followed by the (32 bytes) public key
  */
-declare function batch_verify_tickets(ring_size: number, commitment: Uint8Array, tickets_data: Uint8Array, vrf_input_data_len: number): Uint8Array;
+declare function derive_public_key(seed: Uint8Array): Uint8Array;
 type InitInput$2 = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
 interface InitOutput$2 {
   readonly memory: WebAssembly.Memory;
-  readonly ring_commitment: (a: number, b: number) => [number, number];
+  readonly batch_verify_tickets: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number];
   readonly derive_public_key: (a: number, b: number) => [number, number];
+  readonly generate_seal: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number];
+  readonly ring_commitment: (a: number, b: number) => [number, number];
+  readonly verify_header_seals: (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, number];
   readonly verify_seal: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => [number, number];
-  readonly batch_verify_tickets: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number];
+  readonly vrf_output_hash: (a: number, b: number, c: number, d: number) => [number, number];
   readonly __wbindgen_export_0: WebAssembly.Table;
   readonly __wbindgen_malloc: (a: number, b: number) => number;
   readonly __wbindgen_free: (a: number, b: number, c: number) => void;
@@ -70,18 +136,14 @@ declare namespace ed25519_wasm_d_exports {
 /* eslint-disable */
 /**
  *
- * * Verify Ed25519 signatures one by one using strict verification.
+ * * Verify Ed25519 signatures one by one.
  * *
- * * This function is slower but does strict verification.
- * 
+ * *  ed25519-consensus always does strict verification (ZIP-215 compatible). 
  */
 declare function verify_ed25519(data: Uint8Array): Uint8Array;
 /**
  *
- * * Verify Ed25519 signatures using build-in batch verification.
- * *
- * * This function is faster but does not do strict verification.
- * * See https://crates.io/crates/ed25519-dalek#batch-verification for more information.
+ * * ed25519-consensus doesn't have built-in batch verification.
  * 
  */
 declare function verify_ed25519_batch(data: Uint8Array): boolean;
@@ -124,8 +186,8 @@ declare namespace reed_solomon_wasm_d_exports {
 }
 /* tslint:disable */
 /* eslint-disable */
-declare function encode(recovery_count: number, shards: ShardsCollection): ShardsCollection;
 declare function decode(original_count: number, recovery_count: number, shards: ShardsCollection): ShardsCollection;
+declare function encode(recovery_count: number, shards: ShardsCollection): ShardsCollection;
 /**
  * Collection of shards (either input or output).
  *
@@ -144,7 +206,6 @@ declare function decode(original_count: number, recovery_count: number, shards:
  */
 declare class ShardsCollection {
   free(): void;
-  constructor(shard_len: number, data: Uint8Array, indices?: Uint16Array | null);
   /**
    * Extract the `indices` from this shards container.
    *
@@ -152,6 +213,7 @@ declare class ShardsCollection {
    * NOTE that subsequent calls to that method will return `None`.
    */
   take_indices(): Uint16Array | undefined;
+  constructor(shard_len: number, data: Uint8Array, indices?: Uint16Array | null);
   /**
    * Take the underlying `data` to the JS side.
    *
@@ -171,16 +233,16 @@ declare class ShardsCollection {
 type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
 interface InitOutput {
   readonly memory: WebAssembly.Memory;
-  readonly __wbg_shardscollection_free: (a: number, b: number) => void;
   readonly __wbg_get_shardscollection_length: (a: number) => number;
-  readonly __wbg_set_shardscollection_length: (a: number, b: number) => void;
   readonly __wbg_get_shardscollection_shard_len: (a: number) => number;
+  readonly __wbg_set_shardscollection_length: (a: number, b: number) => void;
   readonly __wbg_set_shardscollection_shard_len: (a: number, b: number) => void;
+  readonly __wbg_shardscollection_free: (a: number, b: number) => void;
+  readonly decode: (a: number, b: number, c: number) => [number, number, number];
+  readonly encode: (a: number, b: number) => [number, number, number];
   readonly shardscollection_new: (a: number, b: any, c: number) => number;
-  readonly shardscollection_take_indices: (a: number) => any;
   readonly shardscollection_take_data: (a: number) => any;
-  readonly encode: (a: number, b: number) => [number, number, number];
-  readonly decode: (a: number, b: number, c: number) => [number, number, number];
+  readonly shardscollection_take_indices: (a: number) => any;
   readonly __wbindgen_export_0: WebAssembly.Table;
   readonly __externref_table_alloc: () => number;
   readonly __externref_table_dealloc: (a: number) => void;
@@ -214,9 +276,9 @@ declare function __wbg_init(module_or_path?: {
 //#region native/index.d.ts
 declare function initAll(): Promise<void>;
 declare const init: {
-  bandersnatch: () => Promise<InitOutput$2>;
-  ed25519: () => Promise<InitOutput$1>;
-  reedSolomon: () => Promise<InitOutput>;
+  bandersnatch: any;
+  ed25519: any;
+  reedSolomon: any;
 };
 //#endregion
 export { bandersnatch_d_exports as bandersnatch, ed25519_wasm_d_exports as ed25519, init, initAll, reed_solomon_wasm_d_exports as reedSolomon };