@typeberry/native 0.0.4-86135cc → 0.0.4-92ff682

package/index.d.ts

@@ -1,8 +1,36 @@
 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, generate_seal, initSync$2 as initSync, ring_commitment, verify_seal, vrf_output_hash };
+  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.
  *
@@ -24,17 +52,31 @@ declare namespace bandersnatch_d_exports {
  * 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;
-/**
- * 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;
 /**
  * Generate ring commitment given concatenation of ring keys.
  */
 declare function ring_commitment(keys: Uint8Array): Uint8Array;
+/**
+ * Verifies both header seal and entropy source in a single call.
+ *
+ * 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 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
@@ -42,27 +84,6 @@ declare function ring_commitment(keys: Uint8Array): Uint8Array;
  * https://graypaper.fluffylabs.dev/#/68eaa1f/0e54010e5401?v=0.6.4
  */
 declare function verify_seal(signer_key: Uint8Array, seal_data: Uint8Array, payload: Uint8Array, aux_data: Uint8Array): Uint8Array;
-/**
- * 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;
 /**
  * Derive Private and Public Key from Seed
  *
@@ -76,6 +97,7 @@ interface InitOutput$2 {
   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 vrf_output_hash: (a: number, b: number, c: number, d: number) => [number, number];
   readonly __wbindgen_export_0: WebAssembly.Table;