autrace 0.0.1

package/build/src/autrace.js

@@ -0,0 +1,335 @@
+import { SmartContractAnalyzer } from './ContractAnalyser.js';
+import { AccountUpdateAnalyzer } from './AccountUpdateAnalyzer.js';
+export class AUTrace {
+    constructor() {
+        this.transactionSnapshots = [];
+        this.traverseTransaction = (transaction) => {
+            if (!transaction)
+                return;
+            const accountUpdates = transaction.transaction.accountUpdates || [];
+            this.transactionState.metadata.accountUpdates = accountUpdates.length;
+            accountUpdates.forEach((au) => {
+                this.processAccountUpdate(au);
+            });
+        };
+        this.processAccountUpdate = (au) => {
+            const auMetadata = this.extractAUMetadata(au);
+            if (au.authorization.proof) {
+                this.transactionState.metadata.totalProofs++;
+            }
+            else if (au.authorization.signature) {
+                this.transactionState.metadata.totalSignatures++;
+            }
+            /*if (auMetadata.type === 'proof') {
+                this.transactionState.metadata.totalProofs++;
+            } else if (auMetadata.type === 'signature') {
+                this.transactionState.metadata.totalSignatures++;
+            }*/
+            // Calculate fees
+            if (au.body.balanceChange) {
+                const magnitude = au.body.balanceChange.magnitude.toString();
+                // If balance change is negative, it's a fee
+                if (au.body.balanceChange.isNegative()) {
+                    // Convert to nanomina
+                    const feesInNanomina = BigInt(magnitude);
+                    // Convert current total from MINA to nanomina for calculation
+                    const currentTotalNanomina = this.transactionState.metadata.totalFees === 0
+                        ? BigInt(0)
+                        : BigInt(this.transactionState.metadata.totalFees * 1e9);
+                    const newTotalNanomina = currentTotalNanomina + feesInNanomina;
+                    // Convert back to MINA and store as number
+                    this.transactionState.metadata.totalFees = Number(newTotalNanomina) / 1e9;
+                }
+            }
+            if (!this.transactionState.nodes.has(auMetadata.id)) {
+                const nodeType = this.determineNodeType(au);
+                const node = {
+                    id: auMetadata.id,
+                    type: nodeType,
+                    label: auMetadata.label,
+                    publicKey: auMetadata.publicKey,
+                    contractType: this.extractContractType(au)
+                };
+                this.transactionState.nodes.set(auMetadata.id, node);
+            }
+            this.auAnalyzer.processAccountUpdate(au);
+            this.updateBalanceState(auMetadata);
+        };
+        this.extractAUMetadata = (au) => {
+            return {
+                id: au.id.toString(),
+                label: au.label || 'Unnamed Update',
+                type: this.determineAuthorizationType(au),
+                publicKey: au.body.publicKey.toBase58(),
+                balanceChange: au.body.balanceChange.toString(),
+                methodName: au.lazyAuthorization?.methodName,
+                args: au.lazyAuthorization?.args
+            };
+        };
+        this.extractContractType = (au) => {
+            if (au.label) {
+                return au.label;
+            }
+            /*// Look for contract type patterns in the label
+            if (au.label.includes('FungibleTokenAdmin')) {
+                return 'FungibleTokenAdmin';
+            }
+            if (au.label.includes('FungibleToken')) {
+                return 'FungibleToken';
+            }
+            if (au.label.includes('TokenEscrow')) {
+                return 'TokenEscrow';
+            }
+            if (au.label.includes('ZkApp')) {
+                return 'SmartContract';
+            }*/
+            return undefined;
+        };
+        this.determineNodeType = (au) => {
+            const isContract = this.isContractAccount(au);
+            if (isContract) {
+                return 'contract';
+            }
+            return 'account';
+        };
+        this.updateBalanceState = (auMetadata) => {
+            const currentBalance = this.transactionState.balanceStates.get(auMetadata.id) || [0];
+            // Get the last known balance
+            const lastBalance = currentBalance[currentBalance.length - 1] ?? 0;
+            const balanceChange = auMetadata.balanceChange ?
+                BigInt(auMetadata.balanceChange) :
+                BigInt(0);
+            const newBalance = BigInt(lastBalance?.toString()) + balanceChange;
+            currentBalance.push(Number(newBalance));
+            this.transactionState.balanceStates.set(auMetadata.id, currentBalance);
+        };
+        this.clearTransactionState = () => {
+            this.transactionState = {
+                nodes: new Map(),
+                edges: [],
+                balanceStates: new Map(),
+                metadata: {
+                    totalProofs: 0,
+                    totalSignatures: 0,
+                    totalFees: 0,
+                    accountUpdates: 0
+                },
+                relationships: new Map()
+            };
+        };
+        this.getTransactionState = (transaction) => {
+            if (!this.transactionState) {
+                this.clearTransactionState();
+            }
+            else {
+                this.transactionState.nodes = new Map();
+                this.transactionState.edges = [];
+                this.transactionState.relationships = new Map();
+            }
+            this.traverseTransaction(transaction);
+            const auRelationships = this.auAnalyzer.getRelationships();
+            const plainRelationships = new Map();
+            auRelationships.forEach((rel, key) => {
+                const contractName = rel.method?.contract || '';
+                const contractAnalysis = this.contractAnalyzer.getContract(contractName);
+                const stateNames = contractAnalysis
+                    ? contractAnalysis.stateFields.map(f => f.name).join(', ')
+                    : '';
+                const expandedChildren = Array.isArray(rel.children) && rel.children.length > 0
+                    ? rel.children.join(', ')
+                    : '';
+                const expandedMethod = rel.method
+                    ? `Contract: ${rel.method.contract ?? ''}, Method: ${rel.method.name ?? ''}`
+                    : 'N/A';
+                const expandedStateChanges = Array.isArray(rel.stateChanges)
+                    ? rel.stateChanges
+                        .map(change => `Field: ${change.field ?? ''}, IsSome: ${change.value?.isSome ?? false}, Value: ${change.value?.value ?? '0'}`)
+                        .join(' | ')
+                    : 'No State Changes';
+                plainRelationships.set(key, {
+                    ...rel,
+                    children: expandedChildren,
+                    method: expandedMethod,
+                    onChainStates: stateNames,
+                    stateChanges: expandedStateChanges
+                });
+            });
+            const expandedEdges = this.buildEdgesFromRelationships(auRelationships)
+                .map(edge => {
+                const operation = edge.operation;
+                const amountValue = (typeof operation.amount?.value === 'number' && !isNaN(operation.amount.value))
+                    ? operation.amount.value
+                    : 0;
+                const denomination = operation.amount?.denomination || 'unknown';
+                // Build the amount string if amount exists
+                const amount = operation.amount
+                    ? `, Amount: ${amountValue} ${denomination}`
+                    : '';
+                // Validate fee
+                const fee = (typeof operation.fee === 'number' || typeof operation.fee === 'string')
+                    ? `, Fee: ${operation.fee}`
+                    : '';
+                const flattenedOperation = `Sequence: ${operation.sequence ?? 'N/A'}, Type: ${operation.type ?? 'N/A'}, Status: ${operation.status ?? 'N/A'}${amount}${fee}`;
+                return {
+                    id: edge.id,
+                    fromNode: edge.fromNode,
+                    toNode: edge.toNode,
+                    operation: flattenedOperation
+                };
+            });
+            /*const state = {
+                nodes: Object.fromEntries(this.transactionState.nodes),
+                edges: expandedEdges,
+                balanceStates: Object.fromEntries(this.transactionState.balanceStates),
+                metadata: this.transactionState.metadata,
+                relationships: Object.fromEntries(plainRelationships)
+            };*/
+            const finalState = {
+                nodes: this.transactionState.nodes,
+                edges: expandedEdges,
+                balanceStates: this.transactionState.balanceStates,
+                /*metadata: {
+                    ...this.transactionState.metadata,
+                    totalFees: this.getTotalFeesInMina()  // Add here to convert to MINA
+                },*/
+                metadata: this.transactionState.metadata,
+                relationships: plainRelationships
+            };
+            //this.transactionSnapshots = [...this.transactionSnapshots, state];
+            this.transactionSnapshots = [...this.transactionSnapshots, finalState];
+            return {
+                nodes: this.transactionState.nodes,
+                edges: expandedEdges,
+                balanceStates: this.transactionState.balanceStates,
+                /*metadata: {
+                    ...this.transactionState.metadata,
+                    totalFees: this.getTotalFeesInMina()  // Add here to convert to MINA
+                },*/
+                metadata: this.transactionState.metadata,
+                relationships: plainRelationships
+            };
+        };
+        this.getTransactions = (...transactionStates) => {
+            for (const txState of transactionStates) {
+                if (txState) {
+                    this.getTransactionState(txState);
+                }
+            }
+        };
+        this.auAnalyzer = new AccountUpdateAnalyzer();
+        this.contractAnalyzer = new SmartContractAnalyzer();
+        this.contractAnalysis = new Map();
+        this.transactionState = {
+            nodes: new Map(),
+            edges: [],
+            balanceStates: new Map(),
+            metadata: {
+                totalProofs: 0,
+                totalSignatures: 0,
+                totalFees: 0,
+                accountUpdates: 0
+            },
+            relationships: new Map()
+        };
+    }
+    initializeContracts(contracts) {
+        contracts.forEach(contract => {
+            this.contractAnalyzer.analyzeContractInstance(contract);
+        });
+        this.contractAnalysis = this.contractAnalyzer.getContracts();
+    }
+    getContractAnalysis() {
+        return this.contractAnalysis;
+    }
+    getContractAnalysisFor(contractName) {
+        return this.contractAnalysis.get(contractName);
+    }
+    getTotalFeesInMina() {
+        const feesInNanomina = BigInt(this.transactionState.metadata.totalFees);
+        const feesInMina = Number(feesInNanomina) / 1e9;
+        return Number(feesInMina);
+    }
+    determineAuthorizationType(au) {
+        if (au.lazyAuthorization?.kind === 'lazy-proof')
+            return 'proof';
+        if (au.lazyAuthorization?.kind === 'lazy-signature')
+            return 'signature';
+        return 'none';
+    }
+    isContractAccount(au) {
+        //console.log(`Verification Key of ${au.body.publicKey.toBase58()} : ${au.body?.update?.verificationKey.value.hash}`)
+        //console.log(`Auth kind of ${au.body.publicKey.toBase58()} : ${au.lazyAuthorization?.kind}`)
+        // 1. Check the label for contract indicators
+        if (au.label) {
+            const labelLower = au.label.toLowerCase();
+            //console.log('Label: ', labelLower)
+            if (labelLower.includes('contract') ||
+                labelLower.includes('zkapp') ||
+                labelLower.includes('deploy')) {
+                return true;
+            }
+        }
+        //2. Check for verification key updates
+        // Contracts typically have verification keys
+        if (au.body?.update?.verificationKey.value.data) {
+            return true;
+        }
+        /*
+        // 3. Check for proof-based permissions
+        // Contracts typically use proofs for authorization
+        if (au.body?.update?.permissions.value) {
+            const permissions = au.body.update.permissions.value;
+            const requiresProof = (
+                (
+                    permissions.editState.constant.toBoolean() === false &&
+                    permissions.editState?.signatureNecessary?.toBoolean() === false &&
+                    permissions.editState?.signatureSufficient?.toBoolean() === false
+                ) || (
+                    permissions.send?.constant?.toBoolean() === false &&
+                    permissions.send?.signatureNecessary?.toBoolean() === false &&
+                    permissions.send?.signatureSufficient?.toBoolean() === false
+                )
+            )
+            if (requiresProof) {
+                return true;
+            }
+        }*/
+        // 4. Check authorization type
+        // Contracts often use proof-based authorization
+        if (au.lazyAuthorization?.kind === 'lazy-proof') {
+            return true;
+        }
+        // If none of the above, it's probably a regular account
+        return false;
+    }
+    buildEdgesFromRelationships(relationships) {
+        const edges = [];
+        let sequence = 1;
+        relationships.forEach(relationship => {
+            if (relationship.parentId) {
+                const edge = {
+                    id: `op${sequence++}`,
+                    fromNode: relationship.parentId,
+                    toNode: relationship.id,
+                    operation: {
+                        sequence,
+                        type: relationship.method?.name || 'update',
+                        status: 'success'
+                    }
+                };
+                if (relationship.stateChanges?.length) {
+                    edge.operation.amount = {
+                        value: Number(relationship.stateChanges[0].value),
+                        denomination: 'USD'
+                    };
+                }
+                edges.push(edge);
+            }
+        });
+        return edges;
+    }
+    getStateHistory() {
+        return this.transactionSnapshots;
+    }
+}
+//# sourceMappingURL=autrace.js.map

package/build/src/autrace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"autrace.js","sourceRoot":"","sources":["../../src/autrace.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,MAAM,OAAO,OAAO;IAQhB;QAHQ,yBAAoB,GAAU,EAAE,CAAC;QAqCjC,wBAAmB,GAAG,CAAC,WAAgB,EAAQ,EAAE;YACrD,IAAI,CAAC,WAAW;gBAAE,OAAO;YAEzB,MAAM,cAAc,GAAG,WAAW,CAAC,WAAW,CAAC,cAAc,IAAI,EAAE,CAAC;YACpE,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC;YAEtE,cAAc,CAAC,OAAO,CAAC,CAAC,EAAiB,EAAE,EAAE;gBACzC,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;YAClC,CAAC,CAAC,CAAC;QACP,CAAC,CAAA;QAEO,yBAAoB,GAAG,CAAC,EAAiB,EAAQ,EAAE;YACvD,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;YAC9C,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;YACjD,CAAC;iBAAM,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,CAAC;gBACpC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC;YACrD,CAAC;YACD;;;;eAIG;YACH,iBAAiB;YACjB,IAAI,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;gBACxB,MAAM,SAAS,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;gBAC7D,4CAA4C;gBAC5C,IAAI,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,CAAC;oBACrC,sBAAsB;oBACtB,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;oBAEzC,8DAA8D;oBAC9D,MAAM,oBAAoB,GAAG,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,SAAS,KAAK,CAAC;wBACvE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;wBACX,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC;oBAE7D,MAAM,gBAAgB,GAAG,oBAAoB,GAAG,cAAc,CAAC;oBAE/D,2CAA2C;oBAC3C,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,SAAS,GAAG,MAAM,CAAC,gBAAgB,CAAC,GAAG,GAAG,CAAC;gBAC9E,CAAC;YACL,CAAC;YAED,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;gBAC5C,MAAM,IAAI,GAAoB;oBAC1B,EAAE,EAAE,UAAU,CAAC,EAAE;oBACjB,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,UAAU,CAAC,KAAK;oBACvB,SAAS,EAAE,UAAU,CAAC,SAAS;oBAC/B,YAAY,EAAE,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC;iBAC7C,CAAC;gBACF,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACzD,CAAC;YAED,IAAI,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;YACzC,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC,CAAA;QAGO,sBAAiB,GAAG,CAAC,EAAO,EAAc,EAAE;YAChD,OAAO;gBACH,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE;gBACpB,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,gBAAgB;gBACnC,IAAI,EAAE,IAAI,CAAC,0BAA0B,CAAC,EAAE,CAAC;gBACzC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;gBACvC,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE;gBAC/C,UAAU,EAAE,EAAE,CAAC,iBAAiB,EAAE,UAAU;gBAC5C,IAAI,EAAE,EAAE,CAAC,iBAAiB,EAAE,IAAI;aACnC,CAAC;QACN,CAAC,CAAA;QAcO,wBAAmB,GAAG,CAAC,EAAiB,EAAsB,EAAE;YACpE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;gBACX,OAAO,EAAE,CAAC,KAAK,CAAA;YACnB,CAAC;YACG;;;;;;;;;;;;eAYG;YACP,OAAO,SAAS,CAAA;QACpB,CAAC,CAAA;QAGO,sBAAiB,GAAG,CAAC,EAAiB,EAA0B,EAAE;YACtE,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAA;YAC7C,IAAI,UAAU,EAAE,CAAC;gBACb,OAAO,UAAU,CAAA;YACrB,CAAC;YACD,OAAO,SAAS,CAAA;QACpB,CAAC,CAAA;QAoDO,uBAAkB,GAAG,CAAC,UAAsB,EAAQ,EAAE;YAC1D,MAAM,cAAc,GAAG,IAAI,CAAC,gBAAgB,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrF,6BAA6B;YAC7B,MAAM,WAAW,GAAG,cAAc,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YACnE,MAAM,aAAa,GAAG,UAAU,CAAC,aAAa,CAAC,CAAC;gBAC5C,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;gBAClC,MAAM,CAAC,CAAC,CAAC,CAAC;YACd,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,QAAQ,EAAE,CAAC,GAAG,aAAa,CAAC;YACnE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;YACxC,IAAI,CAAC,gBAAgB,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;QAC3E,CAAC,CAAA;QAiCM,0BAAqB,GAAG,GAAS,EAAE;YACtC,IAAI,CAAC,gBAAgB,GAAG;gBACpB,KAAK,EAAE,IAAI,GAAG,EAAE;gBAChB,KAAK,EAAE,EAAE;gBACT,aAAa,EAAE,IAAI,GAAG,EAAE;gBACxB,QAAQ,EAAE;oBACN,WAAW,EAAE,CAAC;oBACd,eAAe,EAAE,CAAC;oBAClB,SAAS,EAAE,CAAC;oBACZ,cAAc,EAAE,CAAC;iBACpB;gBACD,aAAa,EAAE,IAAI,GAAG,EAAE;aAC3B,CAAC;QACN,CAAC,CAAC;QAEK,wBAAmB,GAAG,CAAC,WAAgB,EAAoB,EAAE;YAEhE,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACzB,IAAI,CAAC,qBAAqB,EAAE,CAAC;YACjC,CAAC;iBAAM,CAAC;gBACJ,IAAI,CAAC,gBAAgB,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;gBACxC,IAAI,CAAC,gBAAgB,CAAC,KAAK,GAAG,EAAE,CAAC;gBACjC,IAAI,CAAC,gBAAgB,CAAC,aAAa,GAAG,IAAI,GAAG,EAAE,CAAC;YACpD,CAAC;YAED,IAAI,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;YAEtC,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;YAC3D,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAqC,CAAC;YACxE,eAAe,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;gBAEjC,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC;gBAChD,MAAM,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;gBACzE,MAAM,UAAU,GAAG,gBAAgB;oBAC/B,CAAC,CAAC,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC1D,CAAC,CAAC,EAAE,CAAC;gBAET,MAAM,gBAAgB,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;oBAC3E,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBACzB,CAAC,CAAC,EAAE,CAAC;gBAET,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM;oBAC7B,CAAC,CAAC,aAAa,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,aAAa,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,EAAE;oBAC5E,CAAC,CAAC,KAAK,CAAC;gBAEZ,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC;oBACxD,CAAC,CAAC,GAAG,CAAC,YAAY;yBACX,GAAG,CAAC,MAAM,CAAC,EAAE,CACV,UAAU,MAAM,CAAC,KAAK,IAAI,EAAE,aAAa,MAAM,CAAC,KAAK,EAAE,MAAM,IAAI,KAAK,YAAY,MAAM,CAAC,KAAK,EAAE,KAAK,IAAI,GAAG,EAAE,CACjH;yBACA,IAAI,CAAC,KAAK,CAAC;oBAClB,CAAC,CAAC,kBAAkB,CAAC;gBAEzB,kBAAkB,CAAC,GAAG,CAAC,GAAG,EAAE;oBACxB,GAAG,GAAG;oBACN,QAAQ,EAAE,gBAAuB;oBACjC,MAAM,EAAE,cAAqB;oBAC7B,aAAa,EAAE,UAAU;oBACzB,YAAY,EAAE,oBAA2B;iBAC5C,CAAC,CAAC;YACP,CAAC,CAAC,CAAC;YAEH,MAAM,aAAa,GAAG,IAAI,CAAC,2BAA2B,CAAC,eAAe,CAAC;iBAClE,GAAG,CAAC,IAAI,CAAC,EAAE;gBACR,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;gBACjC,MAAM,WAAW,GAAG,CAAC,OAAO,SAAS,CAAC,MAAM,EAAE,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBAC/F,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK;oBACxB,CAAC,CAAC,CAAC,CAAC;gBAER,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,EAAE,YAAY,IAAI,SAAS,CAAC;gBAEjE,2CAA2C;gBAC3C,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM;oBAC3B,CAAC,CAAC,aAAa,WAAW,IAAI,YAAY,EAAE;oBAC5C,CAAC,CAAC,EAAE,CAAC;gBAET,eAAe;gBACf,MAAM,GAAG,GAAG,CAAC,OAAO,SAAS,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,SAAS,CAAC,GAAG,KAAK,QAAQ,CAAC;oBAChF,CAAC,CAAC,UAAU,SAAS,CAAC,GAAG,EAAE;oBAC3B,CAAC,CAAC,EAAE,CAAC;gBAET,MAAM,kBAAkB,GAAG,aAAa,SAAS,CAAC,QAAQ,IAAI,KAAK,WAAW,SAAS,CAAC,IAAI,IAAI,KAAK,aAAa,SAAS,CAAC,MAAM,IAAI,KAAK,GAAG,MAAM,GAAG,GAAG,EAAE,CAAC;gBAE7J,OAAO;oBACH,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,SAAS,EAAE,kBAAkB;iBAChC,CAAC;YACN,CAAC,CAAC,CAAC;YAEH;;;;;;gBAMI;YAEJ,MAAM,UAAU,GAAG;gBACf,KAAK,EAAE,IAAI,CAAC,gBAAgB,CAAC,KAAK;gBAClC,KAAK,EAAE,aAAoB;gBAC3B,aAAa,EAAE,IAAI,CAAC,gBAAgB,CAAC,aAAa;gBAClD;;;oBAGI;gBACJ,QAAQ,EAAE,IAAI,CAAC,gBAAgB,CAAC,QAAQ;gBACxC,aAAa,EAAE,kBAAkB;aACpC,CAAA;YAEL,oEAAoE;YACpE,IAAI,CAAC,oBAAoB,GAAG,CAAC,GAAG,IAAI,CAAC,oBAAoB,EAAE,UAAU,CAAC,CAAC;YAEvE,OAAO;gBACH,KAAK,EAAE,IAAI,CAAC,gBAAgB,CAAC,KAAK;gBAClC,KAAK,EAAE,aAAoB;gBAC3B,aAAa,EAAE,IAAI,CAAC,gBAAgB,CAAC,aAAa;gBAClD;;;oBAGI;gBACJ,QAAQ,EAAE,IAAI,CAAC,gBAAgB,CAAC,QAAQ;gBACxC,aAAa,EAAE,kBAAkB;aACpC,CAAC;QAEN,CAAC,CAAA;QAEM,oBAAe,GAAG,CAAC,GAAG,iBAAwB,EAAE,EAAE;YACrD,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;gBACtC,IAAI,OAAO,EAAE,CAAC;oBACV,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;gBACtC,CAAC;YACL,CAAC;QACL,CAAC,CAAA;QArXG,IAAI,CAAC,UAAU,GAAG,IAAI,qBAAqB,EAAE,CAAC;QAC9C,IAAI,CAAC,gBAAgB,GAAG,IAAI,qBAAqB,EAAE,CAAC;QACpD,IAAI,CAAC,gBAAgB,GAAG,IAAI,GAAG,EAAE,CAAC;QAClC,IAAI,CAAC,gBAAgB,GAAG;YACpB,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,KAAK,EAAE,EAAE;YACT,aAAa,EAAE,IAAI,GAAG,EAAE;YACxB,QAAQ,EAAE;gBACN,WAAW,EAAE,CAAC;gBACd,eAAe,EAAE,CAAC;gBAClB,SAAS,EAAE,CAAC;gBACZ,cAAc,EAAE,CAAC;aACpB;YACD,aAAa,EAAE,IAAI,GAAG,EAAE;SAC3B,CAAC;IAEN,CAAC;IAEM,mBAAmB,CAAC,SAA0B;QACjD,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;YACzB,IAAI,CAAC,gBAAgB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC,YAAY,EAAE,CAAC;IACjE,CAAC;IAEM,mBAAmB;QACtB,OAAO,IAAI,CAAC,gBAAgB,CAAC;IACjC,CAAC;IAEM,sBAAsB,CAAC,YAAoB;QAC9C,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACnD,CAAC;IA0EO,kBAAkB;QACtB,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACxE,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,GAAG,CAAC;QAChD,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IAEO,0BAA0B,CAAC,EAAO;QACtC,IAAI,EAAE,CAAC,iBAAiB,EAAE,IAAI,KAAK,YAAY;YAAE,OAAO,OAAO,CAAC;QAChE,IAAI,EAAE,CAAC,iBAAiB,EAAE,IAAI,KAAK,gBAAgB;YAAE,OAAO,WAAW,CAAC;QACxE,OAAO,MAAM,CAAC;IAClB,CAAC;IA+BO,iBAAiB,CAAC,EAAiB;QACvC,qHAAqH;QACrH,6FAA6F;QAC7F,6CAA6C;QAC7C,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,UAAU,GAAG,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YAC1C,oCAAoC;YACpC,IAAI,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAC/B,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAC5B,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAChC,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,uCAAuC;QACvC,6CAA6C;QAC7C,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC9C,OAAO,IAAI,CAAC;QAChB,CAAC;QACD;;;;;;;;;;;;;;;;;;;WAmBG;QAEH,8BAA8B;QAC9B,gDAAgD;QAChD,IAAI,EAAE,CAAC,iBAAiB,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;YAC9C,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,wDAAwD;QACxD,OAAO,KAAK,CAAC;IACjB,CAAC;IAcO,2BAA2B,CAAC,aAAqD;QACrF,MAAM,KAAK,GAAW,EAAE,CAAC;QACzB,IAAI,QAAQ,GAAG,CAAC,CAAC;QAEjB,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE;YACjC,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;gBACxB,MAAM,IAAI,GAAS;oBACf,EAAE,EAAE,KAAK,QAAQ,EAAE,EAAE;oBACrB,QAAQ,EAAE,YAAY,CAAC,QAAQ;oBAC/B,MAAM,EAAE,YAAY,CAAC,EAAE;oBACvB,SAAS,EAAE;wBACP,QAAQ;wBACR,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,IAAI,IAAI,QAAQ;wBAC3C,MAAM,EAAE,SAAS;qBACpB;iBACJ,CAAC;gBAEF,IAAI,YAAY,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC;oBACpC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG;wBACpB,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC,KAAM,CAAC;wBACnD,YAAY,EAAE,KAAK;qBACtB,CAAC;gBACN,CAAC;gBAED,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,KAAK,CAAC;IACjB,CAAC;IA0IM,eAAe;QAClB,OAAO,IAAI,CAAC,oBAAoB,CAAC;IACrC,CAAC;CACJ"}

package/build/src/index.d.ts

@@ -0,0 +1,3 @@
+import { AUTrace } from "./autrace.js";
+import { AUVisualizer } from "./Visualiser.js";
+export { AUTrace, AUVisualizer };

package/build/src/index.js

@@ -0,0 +1,4 @@
+import { AUTrace } from "./autrace.js";
+import { AUVisualizer } from "./Visualiser.js";
+export { AUTrace, AUVisualizer };
+//# sourceMappingURL=index.js.map

package/build/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,OAAO,EAAC,OAAO,EAAE,YAAY,EAAC,CAAA"}

package/package.json

@@ -0,0 +1,27 @@
+{
+  "name": "autrace",
+  "version": "0.0.1",
+  "description": "Account Update analyser for MINA",
+  "main": "build/src/index.js",
+  "types": "build/src/index.d.ts",
+  "files": [
+    "build",
+    "README.md",
+    "LICENSE"
+  ],
+  "type": "module",
+  "scripts": {
+    "test": "echo \"Error: no test specified\" && exit 1",
+    "build": "tsc"
+  },
+  "author": "krish",
+  "license": "ISC",
+  "devDependencies": {
+    "@types/node": "^22.13.0",
+    "typescript": "^5.7.3"
+  },
+  "dependencies": {
+    "@mermaid-js/mermaid-cli": "^11.4.2",
+    "o1js": "^2.2.0"
+  }
+}