@nori-zk/mina-token-bridge
Version:
A Mina zk-program contract allowing users to mint tokens on Nori Bridge.
60 lines (59 loc) • 2.23 kB
TypeScript
export declare const depositMachine: import("xstate").StateMachine<{
activeDepositNumber: number | null;
depositMintTx: string | null;
computedEthProof: string | null;
}, import("xstate").AnyEventObject, {}, never, never, import("xstate").Values<{
hasComputedEthProof: {
type: "hasComputedEthProof";
params: unknown;
};
hasDepositMintTx: {
type: "hasDepositMintTx";
params: unknown;
};
hasActiveDepositNumber: {
type: "hasActiveDepositNumber";
params: unknown;
};
}>, never, "hasComputedEthProof" | "hasDepositMintTx" | "hasActiveDepositNumber" | "checking" | "noActiveDepositNumber", string, {}, {}, import("xstate").EventObject, import("xstate").MetaObject, {
readonly id: "deposit";
readonly initial: "checking";
readonly context: {
readonly activeDepositNumber: number;
readonly depositMintTx: string;
readonly computedEthProof: string;
};
readonly states: {
readonly checking: {
readonly entry: import("xstate").ActionFunction<{
activeDepositNumber: number | null;
depositMintTx: string | null;
computedEthProof: string | null;
}, import("xstate").AnyEventObject, import("xstate").AnyEventObject, undefined, never, never, never, never, never>;
readonly always: readonly [{
readonly target: "hasComputedEthProof";
readonly guard: "hasComputedEthProof";
}, {
readonly target: "hasDepositMintTx";
readonly guard: "hasDepositMintTx";
}, {
readonly target: "hasActiveDepositNumber";
readonly guard: "hasActiveDepositNumber";
}, {
readonly target: "noActiveDepositNumber";
}];
};
readonly hasComputedEthProof: {
readonly type: "final";
};
readonly hasDepositMintTx: {
readonly type: "final";
};
readonly hasActiveDepositNumber: {
readonly type: "final";
};
readonly noActiveDepositNumber: {
readonly type: "final";
};
};
}>;