@recoillink/aleo-sdk 0.0.0-stage → 45.0.1

package/dist/utils/helper.node.js

@@ -0,0 +1,159 @@
+import { readFileSync } from 'fs';
+import { Program } from '@provablehq/sdk/mainnet.js';
+import { assert } from '@recoillink/utils';
+import { programRegistry } from '../artifacts.js';
+const upgradeAuthority = process.env['ALEO_UPGRADE_AUTHORITY'] || '';
+const skipSuffixes = JSON.parse(process.env['ALEO_SKIP_SUFFIXES'] || 'false');
+const customIsmSuffix = process.env['ALEO_ISM_MANAGER_SUFFIX'];
+// Env vars that point to pre-built .aleo files to deploy verbatim
+export const PROGRAM_FILE_ENV = {
+    credits: 'ALEO_CREDITS',
+    dispatch_proxy: 'ALEO_DISPATCH_PROXY',
+    hook_manager: 'ALEO_HOOK_MANAGER',
+    hyp_collateral: 'ALEO_HYP_COLLATERAL',
+    hyp_native: 'ALEO_HYP_NATIVE',
+    hyp_synthetic: 'ALEO_HYP_SYNTHETIC',
+    ism_manager: 'ALEO_ISM_MANAGER',
+    mailbox: 'ALEO_MAILBOX',
+    token_registry: 'ALEO_TOKEN_REGISTRY',
+    validator_announce: 'ALEO_VALIDATOR_ANNOUNCE',
+};
+function readFileOverride(programName) {
+    const envVar = PROGRAM_FILE_ENV[programName];
+    if (!envVar)
+        return undefined;
+    const filePath = process.env[envVar];
+    if (!filePath)
+        return undefined;
+    const content = readFileSync(filePath, 'utf8');
+    const match = content.match(/^program ([a-z0-9_]+\.aleo);/m);
+    assert(match, `Could not find program declaration in override file ${filePath}`);
+    const [, id] = match;
+    assert(id, `Program declaration has no id in override file ${filePath}`);
+    try {
+        Program.fromString(content);
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        throw new Error(`Invalid Aleo program in override file ${filePath} (${id}): ${msg}`);
+    }
+    return { id, program: content };
+}
+export function getFileOverrideProgramId(programName) {
+    return readFileOverride(programName)?.id;
+}
+function getCustomWarpSuffixFromEnv() {
+    return process.env['ALEO_WARP_SUFFIX'];
+}
+export function loadProgramsInDeployOrder(prefix, programName, coreSuffix, warpSuffix) {
+    // If a file override is set, deploy that file verbatim — no substitutions, no deps
+    const override = readFileOverride(programName);
+    if (override) {
+        return [{ id: override.id, name: programName, program: override.program }];
+    }
+    const visited = new Set();
+    let programs = [];
+    function visit(p) {
+        if (visited.has(p))
+            return;
+        visited.add(p);
+        const code = programRegistry[p];
+        if (!code)
+            throw new Error(`Program ${p} not found`);
+        const program = Program.fromString(code);
+        program
+            .getImports()
+            .map((dep) => dep.replace('.aleo', ''))
+            .forEach((dep) => visit(dep));
+        programs.push(program);
+    }
+    visit(programName);
+    programs = programs.map((p) => {
+        let output = p.toString();
+        for (const r of Object.keys(programRegistry)) {
+            if (r === 'credits' || r === 'token_registry') {
+                continue;
+            }
+            output = output.replaceAll(`${r}.aleo`, `${prefix}_${r.replaceAll('hyp_', '')}.aleo`);
+        }
+        return Program.fromString(output);
+    });
+    if (!skipSuffixes) {
+        programs = programs.map((p) => Program.fromString(p
+            .toString()
+            .replaceAll(/(mailbox|hook_manager|dispatch_proxy|validator_announce).aleo/g, (_, p1) => (coreSuffix ? `${p1}_${coreSuffix}.aleo` : `${p1}.aleo`))
+            .replaceAll(/(hyp_native|hyp_collateral|hyp_synthetic).aleo/g, (_, p1) => {
+            if (p1 === 'hyp_native') {
+                return `hyp_warp_token_credits.aleo`;
+            }
+            const effectiveSuffix = getCustomWarpSuffixFromEnv() || warpSuffix || coreSuffix;
+            return `hyp_warp_token_${effectiveSuffix}.aleo`;
+        })));
+        if (customIsmSuffix) {
+            programs = programs.map((p) => Program.fromString(p
+                .toString()
+                .replaceAll('ism_manager.aleo', `ism_manager_${customIsmSuffix}.aleo`)));
+        }
+    }
+    if (upgradeAuthority) {
+        if (new RegExp(/^(aleo1[a-z0-9]{58})$/).test(upgradeAuthority)) {
+            programs = programs.map((p) => Program.fromString(p.toString().replaceAll(`constructor:
+    assert.eq edition 0u16;`, `constructor:
+    assert.eq program_owner ${upgradeAuthority};`)));
+        }
+        else if (new RegExp(/^[a-z0-9_]+\.aleo$/).test(upgradeAuthority)) {
+            programs = programs.map((p) => Program.fromString(`import ${upgradeAuthority};\n` +
+                p.toString().replaceAll(`constructor:
+    assert.eq edition 0u16;`, `struct ChecksumEdition:
+    checksum as [u8; 32u32];
+    edition as u16;
+
+struct WalletEcdsaSigner:
+    wallet_id as address;
+    ecdsa_signer as [u8; 20u32];
+
+struct WalletSigningOpId:
+    wallet_id as address;
+    signing_op_id as field;
+
+struct AdminOp:
+    op as u8;
+    threshold as u8;
+    aleo_signer as address;
+    ecdsa_signer as [u8; 20u32];
+
+constructor:
+    gt edition 0u16 into r0;
+    branch.eq r0 false to end_then_0_2;
+    cast checksum edition into r1 as ChecksumEdition;
+    hash.bhp256 r1 into r2 as field;
+    cast ${p.id()} r2 into r3 as WalletSigningOpId;
+    hash.bhp256 r3 into r4 as field;
+    contains ${upgradeAuthority}/completed_signing_ops[r4] into r5;
+    assert.eq r5 true;
+    branch.eq true true to end_otherwise_0_3;
+    position end_then_0_2;
+    position end_otherwise_0_3;`)));
+        }
+        else {
+            throw new Error(`upgrade authority must be an aleo account address or the program id of a multisig program`);
+        }
+    }
+    return programs.map((p) => ({
+        id: p.id(),
+        name: Object.keys(programRegistry).find((r) => {
+            if (r === 'hyp_native') {
+                return p.id() === `${prefix}_warp_token_credits.aleo`;
+            }
+            if ((r === 'hyp_collateral' || r === 'hyp_synthetic') &&
+                r === programName &&
+                p.id().startsWith(`${prefix}_warp_token_`) &&
+                p.id() !== `${prefix}_warp_token_credits.aleo`) {
+                return true;
+            }
+            return p.id().startsWith(`${prefix}_${r.replaceAll('hyp_', '')}`);
+        }) || '',
+        program: p.toString(),
+    }));
+}
+//# sourceMappingURL=helper.node.js.map

package/dist/utils/helper.node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helper.node.js","sourceRoot":"","sources":["../../src/utils/helper.node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAElC,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAErD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAGlD,MAAM,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,IAAI,EAAE,CAAC;AACrE,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,IAAI,OAAO,CAAC,CAAC;AAC9E,MAAM,eAAe,GAAG,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;AAE/D,kEAAkE;AAClE,MAAM,CAAC,MAAM,gBAAgB,GAAyC;IACpE,OAAO,EAAE,cAAc;IACvB,cAAc,EAAE,qBAAqB;IACrC,YAAY,EAAE,mBAAmB;IACjC,cAAc,EAAE,qBAAqB;IACrC,UAAU,EAAE,iBAAiB;IAC7B,aAAa,EAAE,oBAAoB;IACnC,WAAW,EAAE,kBAAkB;IAC/B,OAAO,EAAE,cAAc;IACvB,cAAc,EAAE,qBAAqB;IACrC,kBAAkB,EAAE,yBAAyB;CAC9C,CAAC;AAEF,SAAS,gBAAgB,CACvB,WAAwB;IAExB,MAAM,MAAM,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;IAC7D,MAAM,CACJ,KAAK,EACL,uDAAuD,QAAQ,EAAE,CAClE,CAAC;IACF,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC;IACrB,MAAM,CAAC,EAAE,EAAE,kDAAkD,QAAQ,EAAE,CAAC,CAAC;IACzE,IAAI,CAAC;QACH,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,KAAK,CACb,yCAAyC,QAAQ,KAAK,EAAE,MAAM,GAAG,EAAE,CACpE,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,WAAwB;IAExB,OAAO,gBAAgB,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,0BAA0B;IACjC,OAAO,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,MAAc,EACd,WAAwB,EACxB,UAAkB,EAClB,UAAmB;IAEnB,mFAAmF;IACnF,MAAM,QAAQ,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC/C,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,QAAQ,GAAc,EAAE,CAAC;IAE7B,SAAS,KAAK,CAAC,CAAc;QAC3B,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QAC3B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAEf,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;QAErD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAEzC,OAAO;aACJ,UAAU,EAAE;aACZ,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;aACtC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAEhC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,CAAC;IAEnB,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5B,IAAI,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;QAE1B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,gBAAgB,EAAE,CAAC;gBAC9C,SAAS;YACX,CAAC;YAED,MAAM,GAAG,MAAM,CAAC,UAAU,CACxB,GAAG,CAAC,OAAO,EACX,GAAG,MAAM,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAC7C,CAAC;QACJ,CAAC;QAED,OAAO,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5B,OAAO,CAAC,UAAU,CAChB,CAAC;aACE,QAAQ,EAAE;aACV,UAAU,CACT,gEAAgE,EAChE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,UAAU,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,CACpE;aACA,UAAU,CACT,iDAAiD,EACjD,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE;YACR,IAAI,EAAE,KAAK,YAAY,EAAE,CAAC;gBACxB,OAAO,6BAA6B,CAAC;YACvC,CAAC;YACD,MAAM,eAAe,GACnB,0BAA0B,EAAE,IAAI,UAAU,IAAI,UAAU,CAAC;YAC3D,OAAO,kBAAkB,eAAe,OAAO,CAAC;QAClD,CAAC,CACF,CACJ,CACF,CAAC;QAEF,IAAI,eAAe,EAAE,CAAC;YACpB,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5B,OAAO,CAAC,UAAU,CAChB,CAAC;iBACE,QAAQ,EAAE;iBACV,UAAU,CACT,kBAAkB,EAClB,eAAe,eAAe,OAAO,CACtC,CACJ,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,EAAE,CAAC;QACrB,IAAI,IAAI,MAAM,CAAC,uBAAuB,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC/D,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5B,OAAO,CAAC,UAAU,CAChB,CAAC,CAAC,QAAQ,EAAE,CAAC,UAAU,CACrB;4BACgB,EAChB;8BACkB,gBAAgB,GAAG,CACtC,CACF,CACF,CAAC;QACJ,CAAC;aAAM,IAAI,IAAI,MAAM,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACnE,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5B,OAAO,CAAC,UAAU,CAChB,UAAU,gBAAgB,KAAK;gBAC7B,CAAC,CAAC,QAAQ,EAAE,CAAC,UAAU,CACrB;4BACc,EACd;;;;;;;;;;;;;;;;;;;;;;;WAuBH,CAAC,CAAC,EAAE,EAAE;;eAEF,gBAAgB;;;;gCAIC,CACnB,CACJ,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CACb,2FAA2F,CAC5F,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1B,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;QACV,IAAI,EACF,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACtC,IAAI,CAAC,KAAK,YAAY,EAAE,CAAC;gBACvB,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,GAAG,MAAM,0BAA0B,CAAC;YACxD,CAAC;YACD,IACE,CAAC,CAAC,KAAK,gBAAgB,IAAI,CAAC,KAAK,eAAe,CAAC;gBACjD,CAAC,KAAK,WAAW;gBACjB,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,MAAM,cAAc,CAAC;gBAC1C,CAAC,CAAC,EAAE,EAAE,KAAK,GAAG,MAAM,0BAA0B,EAC9C,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QACpE,CAAC,CAAC,IAAI,EAAE;QACV,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;KACtB,CAAC,CAAC,CAAC;AACN,CAAC"}

package/dist/utils/helper.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=helper.test.d.ts.map

package/dist/utils/helper.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helper.test.d.ts","sourceRoot":"","sources":["../../src/utils/helper.test.ts"],"names":[],"mappings":""}

package/dist/utils/helper.test.js

@@ -0,0 +1,22 @@
+import { expect } from 'chai';
+import { ALEO_PROGRAMS } from '../programs.js';
+import { bytes32ToU128String, bytesLeToU128String, getProgramSuffix, } from './helper.js';
+describe('getProgramSuffix', () => {
+    it('uses the generated program metadata', () => {
+        expect(ALEO_PROGRAMS).to.include('mailbox');
+        expect(getProgramSuffix('hyp_mailbox_abc123.aleo')).to.equal('abc123');
+    });
+    it('removes the testnet prefix', () => {
+        expect(getProgramSuffix('test_hyp_mailbox_abc123.aleo')).to.equal('abc123');
+    });
+});
+describe('u128 byte encoding', () => {
+    it('encodes little-endian bytes without the Provable runtime', () => {
+        expect(bytesLeToU128String(Uint8Array.from([1, 1]))).to.equal('257u128');
+        expect(bytesLeToU128String(new Uint8Array(16).fill(255))).to.equal('340282366920938463463374607431768211455u128');
+    });
+    it('splits bytes32 values into little-endian u128 pairs', () => {
+        expect(bytes32ToU128String('0x0101000000000000000000000000000002000000000000000000000000000000')).to.equal('[257u128,2u128]');
+    });
+});
+//# sourceMappingURL=helper.test.js.map

package/dist/utils/helper.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helper.test.js","sourceRoot":"","sources":["../../src/utils/helper.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC5C,MAAM,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,gBAAgB,CAAC,8BAA8B,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACzE,MAAM,CAAC,mBAAmB,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAChE,6CAA6C,CAC9C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CACJ,mBAAmB,CACjB,oEAAoE,CACrE,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/utils/provable.d.ts

@@ -0,0 +1,4 @@
+import type * as AleoMainnetSdk from '@provablehq/sdk/mainnet.js';
+export type AleoSdk = typeof AleoMainnetSdk;
+export type AleoPlaintextRuntime = Pick<AleoSdk, 'Plaintext'>;
+//# sourceMappingURL=provable.d.ts.map

package/dist/utils/provable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provable.d.ts","sourceRoot":"","sources":["../../src/utils/provable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAElE,MAAM,MAAM,OAAO,GAAG,OAAO,cAAc,CAAC;AAE5C,MAAM,MAAM,oBAAoB,GAAG,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC"}

package/dist/utils/provable.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=provable.js.map

package/dist/utils/provable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provable.js","sourceRoot":"","sources":["../../src/utils/provable.ts"],"names":[],"mappings":""}

package/dist/utils/types.d.ts

@@ -0,0 +1,104 @@
+import { type ConfirmedTransactionJSON, type ExecuteOptions } from '@provablehq/sdk';
+import { type RawWarpArtifactConfig } from '@recoillink/provider-sdk/warp';
+import { type Annotated } from '@recoillink/utils';
+import { AleoNetworkId } from '../constants.js';
+export { AleoNetworkId };
+export interface AleoTransaction extends ExecuteOptions {
+}
+export type AnnotatedAleoTransaction = Annotated<AleoTransaction>;
+export interface AleoReceipt extends ConfirmedTransactionJSON {
+    transactionHash: string;
+}
+export declare enum AleoTokenType {
+    NATIVE = 0,
+    SYNTHETIC = 1,
+    COLLATERAL = 2
+}
+export declare enum AleoHookType {
+    CUSTOM = 0,
+    MERKLE_TREE = 3,
+    INTERCHAIN_GAS_PAYMASTER = 4,
+    PAUSABLE = 7
+}
+export declare enum AleoIsmType {
+    TEST_ISM = 6,
+    ROUTING = 1,
+    MERKLE_ROOT_MULTISIG = 4,
+    MESSAGE_ID_MULTISIG = 5
+}
+export declare function toAleoNetworkId(chainId: number): AleoNetworkId;
+/**
+ * Internal Aleo-specific warp token configuration types.
+ * These are used by query and transaction functions, and converted to/from
+ * provider-sdk artifact types by reader/writer implementations.
+ */
+interface BaseAleoWarpTokenConfig {
+    owner: string;
+    mailbox: string;
+    ism?: string;
+    hook?: string;
+    remoteRouters: Record<number, {
+        address: string;
+        gas: string;
+    }>;
+}
+export interface AleoNativeWarpTokenConfig extends BaseAleoWarpTokenConfig {
+    type: AleoTokenType.NATIVE;
+    scale?: number;
+}
+export interface AleoCollateralWarpTokenConfig extends BaseAleoWarpTokenConfig {
+    type: AleoTokenType.COLLATERAL;
+    token: string;
+    name: string;
+    symbol: string;
+    decimals: number;
+    scale?: number;
+}
+export interface AleoSyntheticWarpTokenConfig extends BaseAleoWarpTokenConfig {
+    type: AleoTokenType.SYNTHETIC;
+    name: string;
+    symbol: string;
+    decimals: number;
+    scale?: number;
+}
+export type AleoWarpTokenConfig = AleoNativeWarpTokenConfig | AleoCollateralWarpTokenConfig | AleoSyntheticWarpTokenConfig;
+export interface OnChainArtifactManagers {
+    ismManagerAddress: string;
+    hookManagerAddress: string;
+}
+/**
+ * Transform Aleo warp token's common fields to provider-sdk artifact format.
+ * Handles ISM, remote routers, and destination gas transformations that are
+ * identical across all token types.
+ */
+export declare function aleoWarpFieldsToArtifactApi(token: Pick<AleoWarpTokenConfig, 'ism' | 'remoteRouters' | 'hook'>): Pick<RawWarpArtifactConfig, 'interchainSecurityModule' | 'hook' | 'remoteRouters' | 'destinationGas'>;
+/**
+ * Aleo mailbox config structure matching on-chain data
+ */
+export interface AleoMailboxData {
+    local_domain: number;
+    nonce: number;
+    process_count: number;
+    default_ism: string;
+    default_hook: string;
+    required_hook: string;
+    dispatch_proxy: string;
+    mailbox_owner: string;
+}
+/**
+ * Parsed mailbox configuration
+ */
+export interface AleoMailboxConfig {
+    address: string;
+    owner: string;
+    localDomain: number;
+    nonce: number;
+    defaultIsm: string;
+    defaultHook: string;
+    requiredHook: string;
+}
+export type AleoArtifactNetworkConfig = Readonly<{
+    domainId: number;
+    aleoNetworkId: AleoNetworkId;
+}>;
+//# sourceMappingURL=types.d.ts.map

package/dist/utils/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/utils/types.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,cAAc,EACpB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,KAAK,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAC3E,OAAO,EAAE,KAAK,SAAS,EAAU,MAAM,mBAAmB,CAAC;AAE3D,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,OAAO,EAAE,aAAa,EAAE,CAAC;AAEzB,MAAM,WAAW,eAAgB,SAAQ,cAAc;CAAG;AAC1D,MAAM,MAAM,wBAAwB,GAAG,SAAS,CAAC,eAAe,CAAC,CAAC;AAClE,MAAM,WAAW,WAAY,SAAQ,wBAAwB;IAC3D,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,oBAAY,aAAa;IACvB,MAAM,IAAI;IACV,SAAS,IAAI;IACb,UAAU,IAAI;CACf;AAED,oBAAY,YAAY;IACtB,MAAM,IAAI;IACV,WAAW,IAAI;IACf,wBAAwB,IAAI;IAC5B,QAAQ,IAAI;CACb;AAID,oBAAY,WAAW;IACrB,QAAQ,IAAI;IACZ,OAAO,IAAI;IACX,oBAAoB,IAAI;IACxB,mBAAmB,IAAI;CACxB;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,aAAa,CAM9D;AAED;;;;GAIG;AAEH,UAAU,uBAAuB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CACnB,MAAM,EACN;QACE,OAAO,EAAE,MAAM,CAAC;QAChB,GAAG,EAAE,MAAM,CAAC;KACb,CACF,CAAC;CACH;AAED,MAAM,WAAW,yBAA0B,SAAQ,uBAAuB;IACxE,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC;IAC3B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,6BAA8B,SAAQ,uBAAuB;IAC5E,IAAI,EAAE,aAAa,CAAC,UAAU,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,4BAA6B,SAAQ,uBAAuB;IAC3E,IAAI,EAAE,aAAa,CAAC,SAAS,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,mBAAmB,GAC3B,yBAAyB,GACzB,6BAA6B,GAC7B,4BAA4B,CAAC;AAEjC,MAAM,WAAW,uBAAuB;IACtC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,IAAI,CAAC,mBAAmB,EAAE,KAAK,GAAG,eAAe,GAAG,MAAM,CAAC,GACjE,IAAI,CACL,qBAAqB,EACrB,0BAA0B,GAAG,MAAM,GAAG,eAAe,GAAG,gBAAgB,CACzE,CA+BA;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAC/C,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,aAAa,CAAC;CAC9B,CAAC,CAAC"}

package/dist/utils/types.js

@@ -0,0 +1,64 @@
+import { ArtifactState } from '@recoillink/provider-sdk/artifact';
+import { assert } from '@recoillink/utils';
+import { AleoNetworkId } from '../constants.js';
+export { AleoNetworkId };
+export var AleoTokenType;
+(function (AleoTokenType) {
+    AleoTokenType[AleoTokenType["NATIVE"] = 0] = "NATIVE";
+    AleoTokenType[AleoTokenType["SYNTHETIC"] = 1] = "SYNTHETIC";
+    AleoTokenType[AleoTokenType["COLLATERAL"] = 2] = "COLLATERAL";
+})(AleoTokenType || (AleoTokenType = {}));
+export var AleoHookType;
+(function (AleoHookType) {
+    AleoHookType[AleoHookType["CUSTOM"] = 0] = "CUSTOM";
+    AleoHookType[AleoHookType["MERKLE_TREE"] = 3] = "MERKLE_TREE";
+    AleoHookType[AleoHookType["INTERCHAIN_GAS_PAYMASTER"] = 4] = "INTERCHAIN_GAS_PAYMASTER";
+    AleoHookType[AleoHookType["PAUSABLE"] = 7] = "PAUSABLE";
+})(AleoHookType || (AleoHookType = {}));
+// This must be kept in sync with the enum at
+// https://github.com/hyperlane-xyz/hyperlane-aleo/blob/50b9d0ba107939bf3d8f634d302fbd7db922165a/ism_manager/src/main.leo#L71-L74
+export var AleoIsmType;
+(function (AleoIsmType) {
+    AleoIsmType[AleoIsmType["TEST_ISM"] = 6] = "TEST_ISM";
+    AleoIsmType[AleoIsmType["ROUTING"] = 1] = "ROUTING";
+    AleoIsmType[AleoIsmType["MERKLE_ROOT_MULTISIG"] = 4] = "MERKLE_ROOT_MULTISIG";
+    AleoIsmType[AleoIsmType["MESSAGE_ID_MULTISIG"] = 5] = "MESSAGE_ID_MULTISIG";
+})(AleoIsmType || (AleoIsmType = {}));
+export function toAleoNetworkId(chainId) {
+    assert(chainId === AleoNetworkId.MAINNET || chainId === AleoNetworkId.TESTNET, `Unknown chain id ${chainId} for Aleo, only ${AleoNetworkId.MAINNET} or ${AleoNetworkId.TESTNET} allowed`);
+    return chainId;
+}
+/**
+ * Transform Aleo warp token's common fields to provider-sdk artifact format.
+ * Handles ISM, remote routers, and destination gas transformations that are
+ * identical across all token types.
+ */
+export function aleoWarpFieldsToArtifactApi(token) {
+    return {
+        interchainSecurityModule: token.ism
+            ? {
+                artifactState: ArtifactState.UNDERIVED,
+                deployed: {
+                    address: token.ism,
+                },
+            }
+            : undefined,
+        hook: token.hook
+            ? {
+                artifactState: ArtifactState.UNDERIVED,
+                deployed: {
+                    address: token.hook,
+                },
+            }
+            : undefined,
+        remoteRouters: Object.fromEntries(Object.entries(token.remoteRouters).map(([domainId, router]) => [
+            domainId,
+            { address: router.address },
+        ])),
+        destinationGas: Object.fromEntries(Object.entries(token.remoteRouters).map(([domainId, router]) => [
+            domainId,
+            router.gas,
+        ])),
+    };
+}
+//# sourceMappingURL=types.js.map

package/dist/utils/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/utils/types.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAElE,OAAO,EAAkB,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3D,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,OAAO,EAAE,aAAa,EAAE,CAAC;AAQzB,MAAM,CAAN,IAAY,aAIX;AAJD,WAAY,aAAa;IACvB,qDAAU,CAAA;IACV,2DAAa,CAAA;IACb,6DAAc,CAAA;AAChB,CAAC,EAJW,aAAa,KAAb,aAAa,QAIxB;AAED,MAAM,CAAN,IAAY,YAKX;AALD,WAAY,YAAY;IACtB,mDAAU,CAAA;IACV,6DAAe,CAAA;IACf,uFAA4B,CAAA;IAC5B,uDAAY,CAAA;AACd,CAAC,EALW,YAAY,KAAZ,YAAY,QAKvB;AAED,6CAA6C;AAC7C,iIAAiI;AACjI,MAAM,CAAN,IAAY,WAKX;AALD,WAAY,WAAW;IACrB,qDAAY,CAAA;IACZ,mDAAW,CAAA;IACX,6EAAwB,CAAA;IACxB,2EAAuB,CAAA;AACzB,CAAC,EALW,WAAW,KAAX,WAAW,QAKtB;AAED,MAAM,UAAU,eAAe,CAAC,OAAe;IAC7C,MAAM,CACJ,OAAO,KAAK,aAAa,CAAC,OAAO,IAAI,OAAO,KAAK,aAAa,CAAC,OAAO,EACtE,oBAAoB,OAAO,mBAAmB,aAAa,CAAC,OAAO,OAAO,aAAa,CAAC,OAAO,UAAU,CAC1G,CAAC;IACF,OAAO,OAAO,CAAC;AACjB,CAAC;AAsDD;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACzC,KAAkE;IAKlE,OAAO;QACL,wBAAwB,EAAE,KAAK,CAAC,GAAG;YACjC,CAAC,CAAC;gBACE,aAAa,EAAE,aAAa,CAAC,SAAS;gBACtC,QAAQ,EAAE;oBACR,OAAO,EAAE,KAAK,CAAC,GAAG;iBACnB;aACF;YACH,CAAC,CAAC,SAAS;QACb,IAAI,EAAE,KAAK,CAAC,IAAI;YACd,CAAC,CAAC;gBACE,aAAa,EAAE,aAAa,CAAC,SAAS;gBACtC,QAAQ,EAAE;oBACR,OAAO,EAAE,KAAK,CAAC,IAAI;iBACpB;aACF;YACH,CAAC,CAAC,SAAS;QACb,aAAa,EAAE,MAAM,CAAC,WAAW,CAC/B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC;YAC9D,QAAQ;YACR,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE;SAC5B,CAAC,CACH;QACD,cAAc,EAAE,MAAM,CAAC,WAAW,CAChC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC;YAC9D,QAAQ;YACR,MAAM,CAAC,GAAG;SACX,CAAC,CACH;KACF,CAAC;AACJ,CAAC"}

package/dist/validator-announce/validator-announce-artifact-manager.d.ts

@@ -0,0 +1,21 @@
+import { type ArtifactReader, type ArtifactWriter } from '@recoillink/provider-sdk/artifact';
+import { type DeployedValidatorAnnounceAddress, type IRawValidatorAnnounceArtifactManager, type RawValidatorAnnounceArtifactConfigs, type ValidatorAnnounceType } from '@recoillink/provider-sdk/validator-announce';
+import { type AnyAleoNetworkClient } from '../clients/base.js';
+import { type AleoSigner } from '../clients/signer.js';
+import { type AleoArtifactNetworkConfig } from '../utils/types.js';
+/**
+ * Aleo ValidatorAnnounce Artifact Manager implementing IRawValidatorAnnounceArtifactManager.
+ *
+ * This manager:
+ * - Provides factory methods for creating validator announce readers and writers
+ * - Handles validator announce deployment
+ */
+export declare class AleoValidatorAnnounceArtifactManager implements IRawValidatorAnnounceArtifactManager {
+    private readonly config;
+    private readonly aleoClient;
+    constructor(config: AleoArtifactNetworkConfig, aleoClient: AnyAleoNetworkClient);
+    readValidatorAnnounce(address: string): Promise<import("@recoillink/provider-sdk/artifact").ArtifactDeployed<import("@recoillink/provider-sdk/validator-announce").RawValidatorAnnounceConfig, DeployedValidatorAnnounceAddress>>;
+    createReader<T extends ValidatorAnnounceType>(_type: T): ArtifactReader<RawValidatorAnnounceArtifactConfigs[T], DeployedValidatorAnnounceAddress>;
+    createWriter<T extends ValidatorAnnounceType>(_type: T, signer: AleoSigner): ArtifactWriter<RawValidatorAnnounceArtifactConfigs[T], DeployedValidatorAnnounceAddress>;
+}
+//# sourceMappingURL=validator-announce-artifact-manager.d.ts.map

package/dist/validator-announce/validator-announce-artifact-manager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator-announce-artifact-manager.d.ts","sourceRoot":"","sources":["../../src/validator-announce/validator-announce-artifact-manager.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,cAAc,EACpB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,KAAK,gCAAgC,EACrC,KAAK,oCAAoC,EACzC,KAAK,mCAAmC,EACxC,KAAK,qBAAqB,EAC3B,MAAM,6CAA6C,CAAC;AAErD,OAAO,EAAE,KAAK,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,KAAK,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAOnE;;;;;;GAMG;AACH,qBAAa,oCAAqC,YAAW,oCAAoC;IAE7F,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,UAAU;IAF7B,YACmB,MAAM,EAAE,yBAAyB,EACjC,UAAU,EAAE,oBAAoB,EAC/C;IAEE,qBAAqB,CAAC,OAAO,EAAE,MAAM,6LAG1C;IAED,YAAY,CAAC,CAAC,SAAS,qBAAqB,EAC1C,KAAK,EAAE,CAAC,GACP,cAAc,CACf,mCAAmC,CAAC,CAAC,CAAC,EACtC,gCAAgC,CACjC,CAEA;IAED,YAAY,CAAC,CAAC,SAAS,qBAAqB,EAC1C,KAAK,EAAE,CAAC,EACR,MAAM,EAAE,UAAU,GACjB,cAAc,CACf,mCAAmC,CAAC,CAAC,CAAC,EACtC,gCAAgC,CACjC,CAMA;CACF"}

package/dist/validator-announce/validator-announce-artifact-manager.js

@@ -0,0 +1,27 @@
+import { AleoValidatorAnnounceReader, AleoValidatorAnnounceWriter, } from './validator-announce.js';
+/**
+ * Aleo ValidatorAnnounce Artifact Manager implementing IRawValidatorAnnounceArtifactManager.
+ *
+ * This manager:
+ * - Provides factory methods for creating validator announce readers and writers
+ * - Handles validator announce deployment
+ */
+export class AleoValidatorAnnounceArtifactManager {
+    config;
+    aleoClient;
+    constructor(config, aleoClient) {
+        this.config = config;
+        this.aleoClient = aleoClient;
+    }
+    async readValidatorAnnounce(address) {
+        const reader = this.createReader('validatorAnnounce');
+        return reader.read(address);
+    }
+    createReader(_type) {
+        return new AleoValidatorAnnounceReader(this.aleoClient);
+    }
+    createWriter(_type, signer) {
+        return new AleoValidatorAnnounceWriter(this.config, this.aleoClient, signer);
+    }
+}
+//# sourceMappingURL=validator-announce-artifact-manager.js.map

package/dist/validator-announce/validator-announce-artifact-manager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator-announce-artifact-manager.js","sourceRoot":"","sources":["../../src/validator-announce/validator-announce-artifact-manager.ts"],"names":[],"mappings":"AAeA,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AAEjC;;;;;;GAMG;AACH,MAAM,OAAO,oCAAoC;IAE5B,MAAM;IACN,UAAU;IAF7B,YACmB,MAAiC,EACjC,UAAgC;sBADhC,MAAM;0BACN,UAAU;IAC1B,CAAC;IAEJ,KAAK,CAAC,qBAAqB,CAAC,OAAe;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC,CAAC;QACtD,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,YAAY,CACV,KAAQ;QAKR,OAAO,IAAI,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1D,CAAC;IAED,YAAY,CACV,KAAQ,EACR,MAAkB;QAKlB,OAAO,IAAI,2BAA2B,CACpC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,MAAM,CACP,CAAC;IACJ,CAAC;CACF"}

package/dist/validator-announce/validator-announce-query.d.ts

@@ -0,0 +1,15 @@
+import { type AnyAleoNetworkClient } from '../clients/base.js';
+/**
+ * Query validator announce configuration from the chain.
+ *
+ * @param aleoClient - The Aleo network client
+ * @param validatorAnnounceAddress - The full validator announce address (e.g., "validator_announce.aleo/aleo1...")
+ * @returns The validator announce configuration with address and plain mailbox address (aleo1... format).
+ *   Note: The mailbox address is returned as a plain address because the validator announce program
+ *   does not import the mailbox program, so the program ID cannot be resolved from on-chain state.
+ */
+export declare function getValidatorAnnounceConfig(aleoClient: AnyAleoNetworkClient, validatorAnnounceAddress: string): Promise<{
+    address: string;
+    mailboxAddress: string;
+}>;
+//# sourceMappingURL=validator-announce-query.d.ts.map

package/dist/validator-announce/validator-announce-query.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator-announce-query.d.ts","sourceRoot":"","sources":["../../src/validator-announce/validator-announce-query.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAQ/D;;;;;;;;GAQG;AACH,wBAAsB,0BAA0B,CAC9C,UAAU,EAAE,oBAAoB,EAChC,wBAAwB,EAAE,MAAM,GAC/B,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC,CAkCtD"}

package/dist/validator-announce/validator-announce-query.js

@@ -0,0 +1,32 @@
+import { Address } from '@provablehq/sdk';
+import { assert } from '@recoillink/utils';
+import { queryMappingValue } from '../utils/base-query.js';
+import { fromAleoAddress } from '../utils/helper.js';
+/**
+ * Query validator announce configuration from the chain.
+ *
+ * @param aleoClient - The Aleo network client
+ * @param validatorAnnounceAddress - The full validator announce address (e.g., "validator_announce.aleo/aleo1...")
+ * @returns The validator announce configuration with address and plain mailbox address (aleo1... format).
+ *   Note: The mailbox address is returned as a plain address because the validator announce program
+ *   does not import the mailbox program, so the program ID cannot be resolved from on-chain state.
+ */
+export async function getValidatorAnnounceConfig(aleoClient, validatorAnnounceAddress) {
+    const { programId } = fromAleoAddress(validatorAnnounceAddress);
+    assert(programId, `Program Id is required for reading the on chain validator announce config. Is the input address formatted as "programId/address"?`);
+    const validatorAnnounceData = await queryMappingValue(aleoClient, programId, 'validator_announce', 'true', (raw) => {
+        const data = raw;
+        assert(data?.mailbox, `Invalid validator announce data structure for validator announce ${validatorAnnounceAddress}, expected object with mailbox field`);
+        return data;
+    });
+    // Convert mailbox address from bytes to human-readable string
+    // The mailbox field is stored as [u8; 32u32] bytes on chain
+    // Note: Only the plain address is available because the validator announce
+    // program does not import the mailbox program on chain.
+    const mailboxAddress = Address.fromBytesLe(Uint8Array.from(validatorAnnounceData.mailbox)).to_string();
+    return {
+        address: validatorAnnounceAddress,
+        mailboxAddress,
+    };
+}
+//# sourceMappingURL=validator-announce-query.js.map

package/dist/validator-announce/validator-announce-query.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator-announce-query.js","sourceRoot":"","sources":["../../src/validator-announce/validator-announce-query.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE1C,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAG3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAMrD;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,UAAgC,EAChC,wBAAgC;IAEhC,MAAM,EAAE,SAAS,EAAE,GAAG,eAAe,CAAC,wBAAwB,CAAC,CAAC;IAChE,MAAM,CACJ,SAAS,EACT,mIAAmI,CACpI,CAAC;IAEF,MAAM,qBAAqB,GAAG,MAAM,iBAAiB,CACnD,UAAU,EACV,SAAS,EACT,oBAAoB,EACpB,MAAM,EACN,CAAC,GAAG,EAAyB,EAAE;QAC7B,MAAM,IAAI,GAAG,GAAwC,CAAC;QACtD,MAAM,CACJ,IAAI,EAAE,OAAO,EACb,oEAAoE,wBAAwB,sCAAsC,CACnI,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC,CACF,CAAC;IAEF,8DAA8D;IAC9D,4DAA4D;IAC5D,2EAA2E;IAC3E,wDAAwD;IACxD,MAAM,cAAc,GAAG,OAAO,CAAC,WAAW,CACxC,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAC/C,CAAC,SAAS,EAAE,CAAC;IAEd,OAAO;QACL,OAAO,EAAE,wBAAwB;QACjC,cAAc;KACf,CAAC;AACJ,CAAC"}

package/dist/validator-announce/validator-announce-tx.d.ts

@@ -0,0 +1,11 @@
+import { type AleoTransaction } from '../utils/types.js';
+/**
+ * Build transaction to create a validator announce
+ *
+ * @param validatorAnnounceProgramId - The validator announce program ID
+ * @param mailboxAddress - The plain mailbox address (without program prefix)
+ * @param localDomain - The local domain ID
+ * @returns The transaction object
+ */
+export declare function getCreateValidatorAnnounceTx(validatorAnnounceProgramId: string, mailboxAddress: string, localDomain: number): AleoTransaction;
+//# sourceMappingURL=validator-announce-tx.d.ts.map

package/dist/validator-announce/validator-announce-tx.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator-announce-tx.d.ts","sourceRoot":"","sources":["../../src/validator-announce/validator-announce-tx.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEzD;;;;;;;GAOG;AACH,wBAAgB,4BAA4B,CAC1C,0BAA0B,EAAE,MAAM,EAClC,cAAc,EAAE,MAAM,EACtB,WAAW,EAAE,MAAM,GAClB,eAAe,CAUjB"}

package/dist/validator-announce/validator-announce-tx.js

@@ -0,0 +1,20 @@
+import { fromAleoAddress } from '../utils/helper.js';
+/**
+ * Build transaction to create a validator announce
+ *
+ * @param validatorAnnounceProgramId - The validator announce program ID
+ * @param mailboxAddress - The plain mailbox address (without program prefix)
+ * @param localDomain - The local domain ID
+ * @returns The transaction object
+ */
+export function getCreateValidatorAnnounceTx(validatorAnnounceProgramId, mailboxAddress, localDomain) {
+    const { address: mailboxPlainAddress } = fromAleoAddress(mailboxAddress);
+    return {
+        programName: validatorAnnounceProgramId,
+        functionName: 'init',
+        priorityFee: 0,
+        privateFee: false,
+        inputs: [mailboxPlainAddress, `${localDomain}u32`],
+    };
+}
+//# sourceMappingURL=validator-announce-tx.js.map

package/dist/validator-announce/validator-announce-tx.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator-announce-tx.js","sourceRoot":"","sources":["../../src/validator-announce/validator-announce-tx.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGrD;;;;;;;GAOG;AACH,MAAM,UAAU,4BAA4B,CAC1C,0BAAkC,EAClC,cAAsB,EACtB,WAAmB;IAEnB,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;IAEzE,OAAO;QACL,WAAW,EAAE,0BAA0B;QACvC,YAAY,EAAE,MAAM;QACpB,WAAW,EAAE,CAAC;QACd,UAAU,EAAE,KAAK;QACjB,MAAM,EAAE,CAAC,mBAAmB,EAAE,GAAG,WAAW,KAAK,CAAC;KACnD,CAAC;AACJ,CAAC"}

package/dist/validator-announce/validator-announce.d.ts

@@ -0,0 +1,29 @@
+import { type ArtifactDeployed, type ArtifactNew, type ArtifactReader, type ArtifactWriter } from '@recoillink/provider-sdk/artifact';
+import { type DeployedValidatorAnnounceAddress, type RawValidatorAnnounceConfig } from '@recoillink/provider-sdk/validator-announce';
+import { type AnyAleoNetworkClient } from '../clients/base.js';
+import { type AleoSigner } from '../clients/signer.js';
+import { type AleoArtifactNetworkConfig, type AleoReceipt, type AnnotatedAleoTransaction } from '../utils/types.js';
+/**
+ * Reader for Aleo ValidatorAnnounce.
+ * Reads deployed validator announce configuration from the chain.
+ */
+export declare class AleoValidatorAnnounceReader implements ArtifactReader<RawValidatorAnnounceConfig, DeployedValidatorAnnounceAddress> {
+    protected readonly aleoClient: AnyAleoNetworkClient;
+    constructor(aleoClient: AnyAleoNetworkClient);
+    read(address: string): Promise<ArtifactDeployed<RawValidatorAnnounceConfig, DeployedValidatorAnnounceAddress>>;
+}
+/**
+ * Writer for Aleo ValidatorAnnounce.
+ * Handles deployment. ValidatorAnnounce is immutable after deployment.
+ */
+export declare class AleoValidatorAnnounceWriter extends AleoValidatorAnnounceReader implements ArtifactWriter<RawValidatorAnnounceConfig, DeployedValidatorAnnounceAddress> {
+    private readonly config;
+    private readonly signer;
+    constructor(config: AleoArtifactNetworkConfig, aleoClient: AnyAleoNetworkClient, signer: AleoSigner);
+    create(artifact: ArtifactNew<RawValidatorAnnounceConfig>): Promise<[
+        ArtifactDeployed<RawValidatorAnnounceConfig, DeployedValidatorAnnounceAddress>,
+        AleoReceipt[]
+    ]>;
+    update(_artifact: ArtifactDeployed<RawValidatorAnnounceConfig, DeployedValidatorAnnounceAddress>): Promise<AnnotatedAleoTransaction[]>;
+}
+//# sourceMappingURL=validator-announce.d.ts.map

package/dist/validator-announce/validator-announce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator-announce.d.ts","sourceRoot":"","sources":["../../src/validator-announce/validator-announce.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAChB,KAAK,cAAc,EAEnB,KAAK,cAAc,EACpB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,KAAK,gCAAgC,EACrC,KAAK,0BAA0B,EAChC,MAAM,6CAA6C,CAAC;AAGrD,OAAO,EAAE,KAAK,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAQvD,OAAO,EACL,KAAK,yBAAyB,EAC9B,KAAK,WAAW,EAChB,KAAK,wBAAwB,EAC9B,MAAM,mBAAmB,CAAC;AAK3B;;;GAGG;AACH,qBAAa,2BAA4B,YAAW,cAAc,CAChE,0BAA0B,EAC1B,gCAAgC,CACjC;IACa,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAE,oBAAoB;IAA/D,YAA+B,UAAU,EAAE,oBAAoB,EAAI;IAE7D,IAAI,CACR,OAAO,EAAE,MAAM,GACd,OAAO,CACR,gBAAgB,CACd,0BAA0B,EAC1B,gCAAgC,CACjC,CACF,CAeA;CACF;AAED;;;GAGG;AACH,qBAAa,2BACX,SAAQ,2BACR,YACE,cAAc,CACZ,0BAA0B,EAC1B,gCAAgC,CACjC;IAGD,OAAO,CAAC,QAAQ,CAAC,MAAM;IAEvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAHzB,YACmB,MAAM,EAAE,yBAAyB,EAClD,UAAU,EAAE,oBAAoB,EACf,MAAM,EAAE,UAAU,EAGpC;IAEK,MAAM,CACV,QAAQ,EAAE,WAAW,CAAC,0BAA0B,CAAC,GAChD,OAAO,CACR;QACE,gBAAgB,CACd,0BAA0B,EAC1B,gCAAgC,CACjC;QACD,WAAW,EAAE;KACd,CACF,CAmDA;IAEK,MAAM,CACV,SAAS,EAAE,gBAAgB,CACzB,0BAA0B,EAC1B,gCAAgC,CACjC,GACA,OAAO,CAAC,wBAAwB,EAAE,CAAC,CAGrC;CACF"}