@ottochain/sdk 2.3.0 → 2.5.0

package/dist/types/apps/markets/state-machines/market-universal.d.ts

@@ -99,7 +99,7 @@ export declare const marketUniversalDef: {
         readonly to: "OPEN";
         readonly eventName: "open";
         readonly guard: {
-            readonly "==": readonly [1, 1];
+            readonly '==': readonly [1, 1];
         };
         readonly effect: {
             readonly merge: readonly [{
@@ -107,7 +107,7 @@ export declare const marketUniversalDef: {
             }, {
                 readonly status: "OPEN";
                 readonly openedAt: {
-                    readonly var: "$timestamp";
+                    readonly var: "$ordinal";
                 };
             }];
         };
@@ -117,7 +117,7 @@ export declare const marketUniversalDef: {
         readonly to: "CANCELLED";
         readonly eventName: "cancel";
         readonly guard: {
-            readonly "==": readonly [1, 1];
+            readonly '==': readonly [1, 1];
         };
         readonly effect: {
             readonly merge: readonly [{
@@ -125,7 +125,7 @@ export declare const marketUniversalDef: {
             }, {
                 readonly status: "CANCELLED";
                 readonly cancelledAt: {
-                    readonly var: "$timestamp";
+                    readonly var: "$ordinal";
                 };
             }];
         };
@@ -135,7 +135,7 @@ export declare const marketUniversalDef: {
         readonly to: "OPEN";
         readonly eventName: "commit";
         readonly guard: {
-            readonly ">": readonly [{
+            readonly '>': readonly [{
                 readonly var: "event.amount";
             }, 0];
         };
@@ -144,7 +144,7 @@ export declare const marketUniversalDef: {
                 readonly var: "state";
             }, {
                 readonly totalCommitted: {
-                    readonly "+": readonly [{
+                    readonly '+': readonly [{
                         readonly var: "state.totalCommitted";
                     }, {
                         readonly var: "event.amount";
@@ -158,7 +158,7 @@ export declare const marketUniversalDef: {
         readonly to: "CLOSED";
         readonly eventName: "close";
         readonly guard: {
-            readonly "==": readonly [1, 1];
+            readonly '==': readonly [1, 1];
         };
         readonly effect: {
             readonly merge: readonly [{
@@ -166,7 +166,7 @@ export declare const marketUniversalDef: {
             }, {
                 readonly status: "CLOSED";
                 readonly closedAt: {
-                    readonly var: "$timestamp";
+                    readonly var: "$ordinal";
                 };
             }];
         };
@@ -176,7 +176,7 @@ export declare const marketUniversalDef: {
         readonly to: "SETTLED";
         readonly eventName: "settle";
         readonly guard: {
-            readonly "==": readonly [1, 1];
+            readonly '==': readonly [1, 1];
         };
         readonly effect: {
             readonly merge: readonly [{
@@ -184,7 +184,7 @@ export declare const marketUniversalDef: {
             }, {
                 readonly status: "SETTLED";
                 readonly settledAt: {
-                    readonly var: "$timestamp";
+                    readonly var: "$ordinal";
                 };
             }];
         };
@@ -194,7 +194,7 @@ export declare const marketUniversalDef: {
         readonly to: "CANCELLED";
         readonly eventName: "cancel";
         readonly guard: {
-            readonly "==": readonly [1, 1];
+            readonly '==': readonly [1, 1];
         };
         readonly effect: {
             readonly merge: readonly [{
@@ -202,7 +202,7 @@ export declare const marketUniversalDef: {
             }, {
                 readonly status: "CANCELLED";
                 readonly cancelledAt: {
-                    readonly var: "$timestamp";
+                    readonly var: "$ordinal";
                 };
             }];
         };

package/dist/types/apps/oracles/index.d.ts

@@ -7,7 +7,7 @@
  * @deprecated Use `@ottochain/sdk/apps/identity`
  * @packageDocumentation
  */
-export { IdentityState as OracleState, Reputation as OracleReputation, PenaltyEvent as SlashingEvent, Identity as Oracle, RegisterIdentityRequest as RegisterOracleRequest, ActivateIdentityRequest as ActivateOracleRequest, AddStakeRequest, WithdrawIdentityRequest as WithdrawOracleRequest, IdentityDefinition as OracleDefinition, identityStateFromJSON as oracleStateFromJSON, identityStateToJSON as oracleStateToJSON, } from "../identity/index.js";
+export { IdentityState as OracleState, Reputation as OracleReputation, PenaltyEvent as SlashingEvent, Identity as Oracle, RegisterIdentityRequest as RegisterOracleRequest, ActivateIdentityRequest as ActivateOracleRequest, AddStakeRequest, WithdrawIdentityRequest as WithdrawOracleRequest, IdentityDefinition as OracleDefinition, identityStateFromJSON as oracleStateFromJSON, identityStateToJSON as oracleStateToJSON, } from '../identity/index.js';
 /** @deprecated Use `getIdentityDefinition('oracle')` from `@ottochain/sdk/apps/identity` */
 export declare function getOracleDefinition(_type?: string): unknown;
 /** @deprecated Use `DEFAULT_REPUTATION_CONFIG` from `@ottochain/sdk/apps/identity` */

package/dist/types/apps/privacy/index.d.ts

@@ -0,0 +1,328 @@
+/**
+ * Privacy Application — note-layer privacy primitives.
+ *
+ * Σ-protocol / ZK-backed fibers that carry real privacy on the OttoChain note
+ * layer. The flagship is `sigma-mixer`, a CDS OR-of-`dhtuple` ring mixer whose
+ * anonymity comes from a `sigma_verify` ring proof and whose double-spend safety
+ * comes from a witness-bound nullifier (`Nf = x_j·H`, `H` a NUMS base of unknown
+ * dlog w.r.t. `G`).
+ *
+ * The std-lib UTXO primitive is `shielded-note-pool` ({@link notePoolDef}): a
+ * fixed-denomination Tornado-style private asset pool over the `zk-shielded`
+ * Groth16 circuit. ⚠ UNAUDITED / TEST-ASSETS-ONLY (BN254 ~100-bit, single trusted
+ * relayer for root advancement) — see note-pool.ts.
+ *
+ * @example
+ * ```typescript
+ * import { getPrivacyDefinition, PRIVACY_DEFINITIONS, sigmaDdhRingOf, notePoolDef } from '@ottochain/sdk/apps/privacy';
+ *
+ * const mixerDef = getPrivacyDefinition('sigma-mixer');
+ * // Build a custom n-member OR-of-dhtuple proposition for an audited H:
+ * const prop = sigmaDdhRingOf('state.points', 'event.nullifier', G_HEX, H_HEX, 8);
+ * // Instantiate a shielded note-pool (pin the circuit vkey + denomination + relayer):
+ * const pool = notePoolDef({ vkey, depth: 8, denom: 100, poolPolicyRef, feeAsset, relayer });
+ * ```
+ *
+ * @packageDocumentation
+ */
+import { mixerDdhRingDef, sigmaDdhRingOf, notePoolDef, NOTE_POOL_STATE, PV_LAYOUT, ZERO_WORD, pvField, pmtMembership, type NotePoolOptions, type ShieldedSpendPayload, type TransferPayload, type UnshieldPayload, type NoteMintedPayload } from './state-machines/index.js';
+import type { FiberAppDefinition } from '../../schema/fiber-app.js';
+export { mixerDdhRingDef, sigmaDdhRingOf, notePoolDef, NOTE_POOL_STATE, PV_LAYOUT, ZERO_WORD, pvField, pmtMembership, type NotePoolOptions, type ShieldedSpendPayload, type TransferPayload, type UnshieldPayload, type NoteMintedPayload, };
+/**
+ * A documented DEFAULT shielded-note-pool instance for the registry/lint surface, with PLACEHOLDER
+ * pin values (the real vkey comes from the SP1 `zk-shielded` toolchain; relayer/policy are
+ * deployment-specific). Downstream callers should build their own via {@link notePoolDef}; this
+ * instance exists so the privacy app group exposes a concrete `shielded-note-pool` definition.
+ * ⚠ UNAUDITED / TEST-ASSETS-ONLY.
+ */
+export declare const shieldedNotePoolDef: FiberAppDefinition<string, string>;
+/** All privacy (note-layer) state machine definitions. */
+export declare const PRIVACY_DEFINITIONS: {
+    readonly 'sigma-mixer': {
+        metadata: {
+            name: string;
+            app: string;
+            type: string;
+            version: string;
+            description: string;
+        };
+        createSchema: {
+            required: readonly ["mixerId", "denomination", "anonymityTarget"];
+            properties: {
+                mixerId: {
+                    type: "string";
+                    immutable: true;
+                    description: string;
+                };
+                denomination: {
+                    type: "integer";
+                    immutable: true;
+                    description: string;
+                };
+                nullifierBaseH: {
+                    type: "string";
+                    immutable: true;
+                    description: string;
+                };
+                anonymityTarget: {
+                    type: "integer";
+                    immutable: true;
+                    description: string;
+                };
+                points: {
+                    type: "array";
+                    items: {
+                        type: "string";
+                    };
+                    default: never[];
+                    description: string;
+                };
+                spentNullifiers: {
+                    type: "object";
+                    default: {};
+                    description: string;
+                };
+                depositCount: {
+                    type: "integer";
+                    default: number;
+                };
+                withdrawCount: {
+                    type: "integer";
+                    default: number;
+                };
+                status: {
+                    type: "string";
+                    default: string;
+                    description: string;
+                };
+            };
+        };
+        stateSchema: {
+            properties: {
+                mixerId: {
+                    type: "string";
+                    immutable: true;
+                };
+                denomination: {
+                    type: "integer";
+                    immutable: true;
+                };
+                nullifierBaseH: {
+                    type: "string";
+                    immutable: true;
+                };
+                anonymityTarget: {
+                    type: "integer";
+                    immutable: true;
+                };
+                points: {
+                    type: "array";
+                    items: {
+                        type: "string";
+                    };
+                    computed: true;
+                };
+                spentNullifiers: {
+                    type: "object";
+                    computed: true;
+                };
+                depositCount: {
+                    type: "integer";
+                    computed: true;
+                };
+                withdrawCount: {
+                    type: "integer";
+                    computed: true;
+                };
+                status: {
+                    type: "string";
+                    computed: true;
+                };
+            };
+        };
+        eventSchemas: {
+            deposit: {
+                description: string;
+            };
+            withdraw: {
+                description: string;
+            };
+        };
+        states: {
+            filling: {
+                id: string;
+                isFinal: false;
+                metadata: {
+                    label: string;
+                    description: string;
+                    category: "active";
+                };
+            };
+            open: {
+                id: string;
+                isFinal: false;
+                metadata: {
+                    label: string;
+                    description: string;
+                    category: "active";
+                };
+            };
+            drained: {
+                id: string;
+                isFinal: true;
+                metadata: {
+                    label: string;
+                    description: string;
+                    category: "terminal";
+                };
+            };
+        };
+        initialState: "filling";
+        transitions: ({
+            from: "filling";
+            to: "open";
+            eventName: "deposit";
+            guard: {
+                and: ({
+                    '===': ({
+                        '+': (number | {
+                            var: string;
+                        })[];
+                        var?: undefined;
+                    } | {
+                        var: string;
+                        '+'?: undefined;
+                    })[];
+                    '!!'?: undefined;
+                    none?: undefined;
+                } | {
+                    '!!': {
+                        var: string;
+                    }[];
+                    '==='?: undefined;
+                    none?: undefined;
+                } | {
+                    none: ({
+                        var: string;
+                        '==='?: undefined;
+                    } | {
+                        '===': {
+                            var: string;
+                        }[];
+                        var?: undefined;
+                    })[];
+                    '==='?: undefined;
+                    '!!'?: undefined;
+                })[];
+            };
+            effect: {
+                merge: ({
+                    var: string;
+                    points?: undefined;
+                    depositCount?: undefined;
+                    status?: undefined;
+                } | {
+                    points: {
+                        merge: ({
+                            var: string;
+                        } | {
+                            var: string;
+                        }[])[];
+                    };
+                    depositCount: {
+                        '+': (number | {
+                            var: string;
+                        })[];
+                    };
+                    status: string;
+                    var?: undefined;
+                })[];
+            };
+            dependencies: never[];
+        } | {
+            from: "filling";
+            to: "filling";
+            eventName: "deposit";
+            guard: {
+                and: ({
+                    '<': ({
+                        '+': (number | {
+                            var: string;
+                        })[];
+                        var?: undefined;
+                    } | {
+                        var: string;
+                        '+'?: undefined;
+                    })[];
+                    '!!'?: undefined;
+                    none?: undefined;
+                } | {
+                    '!!': {
+                        var: string;
+                    }[];
+                    '<'?: undefined;
+                    none?: undefined;
+                } | {
+                    none: ({
+                        var: string;
+                        '==='?: undefined;
+                    } | {
+                        '===': {
+                            var: string;
+                        }[];
+                        var?: undefined;
+                    })[];
+                    '<'?: undefined;
+                    '!!'?: undefined;
+                })[];
+            };
+            effect: {
+                merge: ({
+                    var: string;
+                    points?: undefined;
+                    depositCount?: undefined;
+                } | {
+                    points: {
+                        merge: ({
+                            var: string;
+                        } | {
+                            var: string;
+                        }[])[];
+                    };
+                    depositCount: {
+                        '+': (number | {
+                            var: string;
+                        })[];
+                    };
+                    var?: undefined;
+                })[];
+            };
+            dependencies: never[];
+        } | {
+            from: "open";
+            to: "drained";
+            eventName: "withdraw";
+            guard: {
+                and: import("../../schema/fiber-app.js").JsonLogicRule[];
+            };
+            effect: import("../../schema/fiber-app.js").JsonLogicRule;
+            dependencies: never[];
+        } | {
+            from: "open";
+            to: "open";
+            eventName: "withdraw";
+            guard: {
+                and: import("../../schema/fiber-app.js").JsonLogicRule[];
+            };
+            effect: import("../../schema/fiber-app.js").JsonLogicRule;
+            dependencies: never[];
+        })[];
+    };
+    readonly 'shielded-note-pool': FiberAppDefinition<string, string>;
+};
+export type PrivacyDefType = keyof typeof PRIVACY_DEFINITIONS;
+/**
+ * Get a privacy state machine definition by type.
+ * @param type - 'sigma-mixer' (default) | 'shielded-note-pool'.
+ */
+export declare function getPrivacyDefinition(type?: PrivacyDefType): FiberAppDefinition;

package/dist/types/apps/privacy/state-machines/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Privacy (note-layer) state machine definitions.
+ * Re-exports from TypeScript definition files.
+ */
+export { mixerDdhRingDef, sigmaDdhRingOf } from './mixer-ddhRing.js';
+export { notePoolDef, NOTE_POOL_STATE, PV_LAYOUT, ZERO_WORD, pvField, pmtMembership, type NotePoolOptions, type ShieldedSpendPayload, type TransferPayload, type UnshieldPayload, type NoteMintedPayload, } from './note-pool.js';