@vouch-protocol-official/core-wasm 0.1.0 → 2.0.0

package/README.md

@@ -37,7 +37,7 @@ import init, * as core from '@vouch-protocol-official/core-wasm';
 await init(); // fetches the .wasm next to the module
 
 const kp = JSON.parse(core.generateEd25519());
-const signed = core.signCredential(
+const signed = core.sign(
   JSON.stringify(myCredential),
   kp.seed_b64,
   kp.did_key + '#key-1',
@@ -88,8 +88,8 @@ input. Highlights:
 - `encodeEd25519Multikey(public_b64) -> string`, `decodeMultikey(mk) -> {algorithm, raw_b64}`
 - `didKeyFromEd25519(public_b64) -> string`, `ed25519FromDidKey(did) -> string`
 - `buildProof(credentialJson, seed_b64, verificationMethod, createdIso) -> proofJson`
-- `signCredential(...)`, `verifyProof(credentialJson, public_b64) -> bool`
-- `verifyCredential(credentialJson, public_b64, nowIso, clockSkewSeconds) -> {proofValid, timeValid, valid}`
+- `sign(...)`, `verifyProof(credentialJson, public_b64) -> bool`
+- `verify(credentialJson, public_b64, nowIso, clockSkewSeconds) -> {proofValid, timeValid, valid}`
 - `verifyChainTimeBound(chainJson, nowIso, clockSkewSeconds) -> bool`
 - `generateMldsa44() -> {secret_b64, public_b64}`, `mldsa44Sign(...)`, `mldsa44Verify(...)`
 - `signDual(...)`, `verifyDual(...)`, `verifyComposite(...)`

package/package.json

@@ -5,7 +5,7 @@
     "Ramprasad Anandam Gaddam"
   ],
   "description": "Vouch Protocol canonical core (WASM): JCS canonicalization, Ed25519, did:key/multikey, Data Integrity (eddsa-jcs-2022), credentials, delegation, dual-proof ML-DSA-44, and BitstringStatusList revocation. One byte-exact Rust implementation shared across every Vouch SDK.",
-  "version": "0.1.0",
+  "version": "2.0.0",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",

package/vouch_core_wasm.d.ts

@@ -40,13 +40,229 @@ export function mldsa44Sign(secret_b64: string, public_b64: string, message_b64:
 
 export function mldsa44Verify(public_b64: string, message_b64: string, signature_b64: string): boolean;
 
-export function signCredential(credential_json: string, seed_b64: string, verification_method: string, created: string): string;
+export function roboticsAttachStatus(credential_json: string, signer_seed_b64: string, params_json: string): string;
+
+export function roboticsAttenuateForWear(params_json: string): string;
+
+export function roboticsAttenuates(parent_json: string, child_json: string): boolean;
+
+export function roboticsAttenuatesGrant(params_json: string): string;
+
+export function roboticsAuthorizeAccess(params_json: string, operator_public_b64: string, robot_public_b64: string): string;
+
+export function roboticsBlackboxAppend(key_b64: string, seq: bigint, event: string, payload_json: string, timestamp: string, prev_hash: string): string;
+
+export function roboticsBlackboxOpen(entry_json: string, key_b64: string): string;
+
+export function roboticsBuildAccept(signer_seed_b64: string, hello_json: string, hello_public_b64: string, policy_json: string, params_json: string): string;
+
+export function roboticsBuildAccessGrant(operator_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildAccessRequest(robot_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildActionApproval(approver_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildConfirm(signer_seed_b64: string, from_did: string, session_json: string, created: string): string;
+
+export function roboticsBuildConformanceAttestation(signer_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildDecommission(signer_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildEmbodiment(agent_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildFusedAttestation(robot_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildHandoff(receiver_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildHeartbeat(robot_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildHello(signer_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildKeyRotation(old_key_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildKillswitch(authority_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildLease(signer_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildOwnershipTransfer(current_owner_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildPassport(signer_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildPerception(robot_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildProvenance(signer_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildSafetyRecord(signer_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildScope(signer_seed_b64: string, params_json: string): string;
+
+export function roboticsBuildStatusEntry(status_list_credential: string, status_list_index: bigint, status_purpose: string, entry_id?: string | null): string;
+
+export function roboticsBuildWearAttestation(robot_seed_b64: string, params_json: string): string;
+
+export function roboticsCheckAction(scope_json: string, action_json: string): string;
+
+export function roboticsCheckConformance(credentials_json: string, profile_id: string): string;
+
+export function roboticsCheckNoFork(params_json: string): string;
+
+export function roboticsCheckStatus(credential_json: string, status_list_credential_json: string, status_purpose: string): boolean;
+
+export function roboticsConfigHash(config_json: string): string;
+
+export function roboticsDecodePassport(uri: string): string;
+
+export function roboticsEncodePassport(passport_json: string): string;
+
+export function roboticsFusionInputsDigest(params_json: string): string;
+
+export function roboticsGenesisPrevHash(): string;
+
+export function roboticsHashFrame(frame_b64: string): string;
+
+export function roboticsHashFusedOutput(output_b64: string): string;
+
+export function roboticsHolderAt(params_json: string): string;
+
+export function roboticsIsLive(credential_json: string, now_iso: string, interval_seconds: bigint | null | undefined, grace_intervals: bigint): boolean;
+
+export function roboticsIsPq(credential_json: string): boolean;
+
+export function roboticsLeasePermits(params_json: string): boolean;
+
+export function roboticsLocateConditionChange(params_json: string): string;
+
+export function roboticsMigrateToPq(credential_json: string, ed25519_seed_b64: string, mldsa_secret_b64: string, mldsa_public_b64: string, created: string): string;
+
+export function roboticsMintIdentity(robot_seed_b64: string, params_json: string): string;
+
+export function roboticsMotionDigest(params_json: string): string;
+
+export function roboticsPerceptionRecord(params_json: string): string;
+
+export function roboticsReportDigest(report_json: string): string;
+
+export function roboticsSafetyAppend(params_json: string): string;
+
+export function roboticsSignPq(credential_json: string, ed25519_seed_b64: string, mldsa_secret_b64: string, mldsa_public_b64: string, created: string): string;
+
+export function roboticsSummarizeSafety(entries_json: string, head?: string | null): string;
+
+export function roboticsValidateMotionDigest(digest_json: string): boolean;
+
+export function roboticsVerifyAccept(accept_json: string, accept_public_b64: string, expected_nonce: string, policy_json?: string | null): string;
+
+export function roboticsVerifyAccessGrant(credential_json: string, operator_public_b64: string): string;
+
+export function roboticsVerifyActionAuthorization(params_json: string): string;
+
+export function roboticsVerifyChain(entries_json: string, genesis_prev_hash?: string | null): string;
+
+export function roboticsVerifyConfirm(confirm_json: string, confirm_public_b64: string, session_id: string, expected_nonce: string): boolean;
+
+export function roboticsVerifyConformanceAttestation(credential_json: string, public_b64: string): string;
+
+export function roboticsVerifyContinuityChain(params_json: string, agent_public_b64: string): string;
+
+export function roboticsVerifyCustodyChain(params_json: string): string;
+
+export function roboticsVerifyDecommission(credential_json: string, public_b64: string, trusted_authorities_json?: string | null): string;
+
+export function roboticsVerifyEmbodiment(credential_json: string, agent_public_b64: string): string;
+
+export function roboticsVerifyFusedAttestation(credential_json: string, public_b64: string, fused_output_b64?: string | null): string;
+
+export function roboticsVerifyFusionInputs(params_json: string): string;
+
+export function roboticsVerifyHandoff(credential_json: string, receiver_public_b64: string): string;
+
+export function roboticsVerifyHandoffChain(params_json: string): string;
+
+export function roboticsVerifyHeartbeat(credential_json: string, robot_public_b64: string): string;
+
+export function roboticsVerifyIdentity(credential_json: string, robot_public_b64: string): string;
+
+export function roboticsVerifyKeyHistory(params_json: string): string;
+
+export function roboticsVerifyKeyRotation(credential_json: string, old_public_b64: string): string;
+
+export function roboticsVerifyKillswitch(credential_json: string, public_b64: string, trusted_authorities_json?: string | null): string;
+
+export function roboticsVerifyLease(credential_json: string, public_b64: string, now_iso?: string | null, parent_scope_json?: string | null): string;
+
+export function roboticsVerifyOwnershipTransfer(credential_json: string, public_b64: string): string;
+
+export function roboticsVerifyPassport(passport_json: string, public_b64: string, now_iso: string): string;
+
+export function roboticsVerifyPassportUri(uri: string, public_b64: string, now_iso: string): string;
+
+export function roboticsVerifyPerception(credential_json: string, public_b64: string, frame_b64?: string | null): string;
+
+export function roboticsVerifyPerceptionLog(entries_json: string, genesis_prev_hash?: string | null): string;
+
+/**
+ * Verify a hybrid robot credential. `mldsa44_public_b64` is base64 of raw
+ * 1312-byte bytes or of an ML-DSA-44 Multikey string (UTF-8).
+ */
+export function roboticsVerifyPq(credential_json: string, ed25519_public_b64: string, mldsa44_public_b64: string): boolean;
+
+export function roboticsVerifyProvenance(attestation_json: string, public_b64: string, config_json?: string | null): string;
+
+/**
+ * Dual verify auto-detected from the proof. `mldsa44_public_b64`, when present,
+ * is base64 of raw 1312-byte bytes or of an ML-DSA-44 Multikey string (UTF-8);
+ * a hybrid credential requires it, a classical credential ignores it.
+ */
+export function roboticsVerifyRobotCredential(credential_json: string, ed25519_public_b64: string, mldsa44_public_b64?: string | null): boolean;
+
+export function roboticsVerifySafetyLog(entries_json: string, genesis_prev_hash?: string | null): string;
+
+export function roboticsVerifySafetyRecord(credential_json: string, public_b64: string): string;
+
+export function roboticsVerifyWearAttestation(credential_json: string, public_b64: string): string;
+
+export function roboticsVerifyWearChain(params_json: string, public_b64: string): string;
+
+export function sign(credential_json: string, seed_b64: string, verification_method: string, created: string): string;
 
 /**
  * Build a dual proof (Ed25519 + ML-DSA-44) and attach it to the credential.
  */
 export function signDual(credential_json: string, ed25519_seed_b64: string, mldsa_secret_b64: string, mldsa_public_b64: string, ed25519_vm: string, mldsa_vm: string, created: string): string;
 
+/**
+ * Combine signature shares into the final signature. commitmentsJson and
+ * sharesJson map each signer's base64 identifier to its base64 commitment /
+ * signature share. groupPublicKeyJson is the group_public_key object from
+ * thresholdGenerateKey. Returns the base64-encoded 64-byte Ed25519 signature.
+ */
+export function thresholdAggregate(message_b64: string, commitments_json: string, shares_json: string, group_public_key_json: string): string;
+
+/**
+ * Round 1 for one signer (one entry from thresholdGenerateKey's shares
+ * array). Returns JSON {nonces, commitments}. nonces is SECRET: keep it on
+ * this signer's device only, use it for exactly one thresholdSignShare call,
+ * then discard it.
+ */
+export function thresholdCommit(key_share_json: string): string;
+
+/**
+ * Mint a fresh threshold-native Ed25519 identity: maxSigners key shares, any
+ * minSigners of which can sign together. Returns JSON
+ * {shares: [{identifier, key_package}, ...], group_public_key: {verifying_key, public_key_package}}.
+ */
+export function thresholdGenerateKey(min_signers: number, max_signers: number): string;
+
+/**
+ * Round 2 for one signer. messageB64 is the base64-encoded bytes to sign.
+ * commitmentsJson maps every participating signer's base64 identifier to its
+ * base64 commitment, including this signer's own. Returns the
+ * base64-encoded signature share.
+ */
+export function thresholdSignShare(message_b64: string, key_share_json: string, nonces_b64: string, commitments_json: string): string;
+
+export function verify(credential_json: string, public_b64: string, now_iso: string, clock_skew_seconds: number): string;
+
 /**
  * Validate the time-bound rule over a delegation chain (JSON array of links).
  */
@@ -54,8 +270,6 @@ export function verifyChainTimeBound(chain_json: string, now_iso: string, clock_
 
 export function verifyComposite(credential_json: string, ed25519_public_b64: string, mldsa_public_b64: string): boolean;
 
-export function verifyCredential(credential_json: string, public_b64: string, now_iso: string, clock_skew_seconds: number): string;
-
 export function verifyDual(credential_json: string, ed25519_public_b64: string, mldsa_public_b64: string): boolean;
 
 export function verifyProof(credential_json: string, public_b64: string): boolean;
@@ -84,11 +298,102 @@ export interface InitOutput {
     readonly generateMldsa44: (a: number) => void;
     readonly mldsa44Sign: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
     readonly mldsa44Verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
-    readonly signCredential: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => void;
+    readonly roboticsAttachStatus: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+    readonly roboticsAttenuateForWear: (a: number, b: number, c: number) => void;
+    readonly roboticsAttenuates: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsAttenuatesGrant: (a: number, b: number, c: number) => void;
+    readonly roboticsAuthorizeAccess: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+    readonly roboticsBlackboxAppend: (a: number, b: number, c: number, d: bigint, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number) => void;
+    readonly roboticsBlackboxOpen: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildAccept: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number) => void;
+    readonly roboticsBuildAccessGrant: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildAccessRequest: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildActionApproval: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildConfirm: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => void;
+    readonly roboticsBuildConformanceAttestation: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildDecommission: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildEmbodiment: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildFusedAttestation: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildHandoff: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildHeartbeat: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildHello: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildKeyRotation: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildKillswitch: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildLease: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildOwnershipTransfer: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildPassport: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildPerception: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildProvenance: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildSafetyRecord: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildScope: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsBuildStatusEntry: (a: number, b: number, c: number, d: bigint, e: number, f: number, g: number, h: number) => void;
+    readonly roboticsBuildWearAttestation: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsCheckAction: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsCheckConformance: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsCheckNoFork: (a: number, b: number, c: number) => void;
+    readonly roboticsCheckStatus: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+    readonly roboticsConfigHash: (a: number, b: number, c: number) => void;
+    readonly roboticsDecodePassport: (a: number, b: number, c: number) => void;
+    readonly roboticsEncodePassport: (a: number, b: number, c: number) => void;
+    readonly roboticsFusionInputsDigest: (a: number, b: number, c: number) => void;
+    readonly roboticsGenesisPrevHash: (a: number) => void;
+    readonly roboticsHashFrame: (a: number, b: number, c: number) => void;
+    readonly roboticsHashFusedOutput: (a: number, b: number, c: number) => void;
+    readonly roboticsHolderAt: (a: number, b: number, c: number) => void;
+    readonly roboticsIsLive: (a: number, b: number, c: number, d: number, e: number, f: number, g: bigint, h: bigint) => void;
+    readonly roboticsIsPq: (a: number, b: number, c: number) => void;
+    readonly roboticsLeasePermits: (a: number, b: number, c: number) => void;
+    readonly roboticsLocateConditionChange: (a: number, b: number, c: number) => void;
+    readonly roboticsMigrateToPq: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number) => void;
+    readonly roboticsMintIdentity: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsMotionDigest: (a: number, b: number, c: number) => void;
+    readonly roboticsPerceptionRecord: (a: number, b: number, c: number) => void;
+    readonly roboticsReportDigest: (a: number, b: number, c: number) => void;
+    readonly roboticsSafetyAppend: (a: number, b: number, c: number) => void;
+    readonly roboticsSignPq: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number) => void;
+    readonly roboticsSummarizeSafety: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsValidateMotionDigest: (a: number, b: number, c: number) => void;
+    readonly roboticsVerifyAccept: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => void;
+    readonly roboticsVerifyAccessGrant: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyActionAuthorization: (a: number, b: number, c: number) => void;
+    readonly roboticsVerifyChain: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyConfirm: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => void;
+    readonly roboticsVerifyConformanceAttestation: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyContinuityChain: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyCustodyChain: (a: number, b: number, c: number) => void;
+    readonly roboticsVerifyDecommission: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+    readonly roboticsVerifyEmbodiment: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyFusedAttestation: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+    readonly roboticsVerifyFusionInputs: (a: number, b: number, c: number) => void;
+    readonly roboticsVerifyHandoff: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyHandoffChain: (a: number, b: number, c: number) => void;
+    readonly roboticsVerifyHeartbeat: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyIdentity: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyKeyHistory: (a: number, b: number, c: number) => void;
+    readonly roboticsVerifyKeyRotation: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyKillswitch: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+    readonly roboticsVerifyLease: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => void;
+    readonly roboticsVerifyOwnershipTransfer: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyPassport: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+    readonly roboticsVerifyPassportUri: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+    readonly roboticsVerifyPerception: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+    readonly roboticsVerifyPerceptionLog: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyPq: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+    readonly roboticsVerifyProvenance: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+    readonly roboticsVerifyRobotCredential: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+    readonly roboticsVerifySafetyLog: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifySafetyRecord: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyWearAttestation: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly roboticsVerifyWearChain: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly sign: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => void;
     readonly signDual: (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) => void;
+    readonly thresholdAggregate: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => void;
+    readonly thresholdCommit: (a: number, b: number, c: number) => void;
+    readonly thresholdGenerateKey: (a: number, b: number, c: number) => void;
+    readonly thresholdSignShare: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => void;
+    readonly verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
     readonly verifyChainTimeBound: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
     readonly verifyComposite: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
-    readonly verifyCredential: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
     readonly verifyDual: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
     readonly verifyProof: (a: number, b: number, c: number, d: number, e: number) => void;
     readonly verifyStatus: (a: number, b: number, c: number, d: number, e: number) => void;