@freedomofpress/ics23 0.1.0

package/dist/tests/testhelpers.js

@@ -0,0 +1,35 @@
+export function fromHex(hexstring) {
+    if (hexstring.length % 2 !== 0) {
+        throw new Error("hex string length must be a multiple of 2");
+    }
+    const listOfInts = [];
+    for (let i = 0; i < hexstring.length; i += 2) {
+        const hexByteAsString = hexstring.substr(i, 2);
+        if (!hexByteAsString.match(/[0-9a-f]{2}/i)) {
+            throw new Error("hex string contains invalid characters");
+        }
+        listOfInts.push(parseInt(hexByteAsString, 16));
+    }
+    return new Uint8Array(listOfInts);
+}
+export function toAscii(input) {
+    const toNums = (str) => str.split("").map((x) => {
+        const charCode = x.charCodeAt(0);
+        // 0x00–0x1F control characters
+        // 0x20–0x7E printable characters
+        // 0x7F delete character
+        // 0x80–0xFF out of 7 bit ascii range
+        if (charCode < 0x20 || charCode > 0x7e) {
+            throw new Error("Cannot encode character that is out of printable ASCII range: " +
+                charCode);
+        }
+        return charCode;
+    });
+    return Uint8Array.from(toNums(input));
+}
+export function toHex(bytes) {
+    return Array.from(bytes)
+        .map((byte) => byte.toString(16).padStart(2, "0"))
+        .join("");
+}
+//# sourceMappingURL=testhelpers.js.map

package/dist/tests/testhelpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"testhelpers.js","sourceRoot":"","sources":["../../src/tests/testhelpers.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,OAAO,CAAC,SAAiB;IACvC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAC5D,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAa;IACnC,MAAM,MAAM,GAAG,CAAC,GAAW,EAAY,EAAE,CACvC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE;QAC9B,MAAM,QAAQ,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,+BAA+B;QAC/B,iCAAiC;QACjC,wBAAwB;QACxB,qCAAqC;QACrC,IAAI,QAAQ,GAAG,IAAI,IAAI,QAAQ,GAAG,IAAI,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CACb,gEAAgE;gBAC9D,QAAQ,CACX,CAAC;QACJ,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,CAAC;IACL,OAAO,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,KAAiB;IACrC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;SACrB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SACjD,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC"}

package/dist/tests/testvectors.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/tests/testvectors.test.js

@@ -0,0 +1,229 @@
+import iavlExistLeft from "../../testdata/iavl/exist_left.json";
+import iavlExistMiddle from "../../testdata/iavl/exist_middle.json";
+import iavlExistRight from "../../testdata/iavl/exist_right.json";
+import iavlNonexistLeft from "../../testdata/iavl/nonexist_left.json";
+import iavlNonexistMiddle from "../../testdata/iavl/nonexist_middle.json";
+import iavlNonexistRight from "../../testdata/iavl/nonexist_right.json";
+import smtExistLeft from "../../testdata/smt/exist_left.json";
+import smtExistMiddle from "../../testdata/smt/exist_middle.json";
+import smtExistRight from "../../testdata/smt/exist_right.json";
+import smtNonexistLeft from "../../testdata/smt/nonexist_left.json";
+import smtNonexistMiddle from "../../testdata/smt/nonexist_middle.json";
+import smtNonexistRight from "../../testdata/smt/nonexist_right.json";
+import tendermintExistLeft from "../../testdata/tendermint/exist_left.json";
+import tendermintExistMiddle from "../../testdata/tendermint/exist_middle.json";
+import tendermintExistRight from "../../testdata/tendermint/exist_right.json";
+import tendermintNonexistLeft from "../../testdata/tendermint/nonexist_left.json";
+import tendermintNonexistMiddle from "../../testdata/tendermint/nonexist_middle.json";
+import tendermintNonexistRight from "../../testdata/tendermint/nonexist_right.json";
+import { compress } from "./../compress";
+import { batchVerifyMembership, batchVerifyNonMembership, verifyMembership, verifyNonMembership, } from "./../ics23";
+import { iavlSpec, smtSpec, tendermintSpec } from "./../proofs";
+import { fromHex } from "./testhelpers";
+import { describe, it, expect } from "vitest";
+import { CommitmentProof, } from "./../proto/cosmos/ics23/v1/proofs";
+describe("calculateExistenceRoot", () => {
+    function loadVector(vector) {
+        const { root, proof, key, value } = vector;
+        expect(proof).toBeDefined();
+        expect(root).toBeDefined();
+        expect(key).toBeDefined();
+        const commit = CommitmentProof.decode(fromHex(proof));
+        const data = {
+            root: fromHex(root),
+            key: fromHex(key),
+            value: value ? fromHex(value) : undefined,
+        };
+        return { proof: commit, data };
+    }
+    async function validateTestVector(vector, spec) {
+        const { proof, data: { root, key, value }, } = loadVector(vector);
+        if (value) {
+            const valid = await verifyMembership(proof, spec, root, key, value);
+            expect(valid).toBe(true);
+        }
+        else {
+            const valid = await verifyNonMembership(proof, spec, root, key);
+            expect(valid).toBe(true);
+        }
+    }
+    it("should parse iavl left", async () => {
+        await validateTestVector(iavlExistLeft, iavlSpec);
+    });
+    it("should parse iavl right", async () => {
+        await validateTestVector(iavlExistRight, iavlSpec);
+    });
+    it("should parse iavl middle", async () => {
+        await validateTestVector(iavlExistMiddle, iavlSpec);
+    });
+    it("should parse iavl left - nonexist", async () => {
+        await validateTestVector(iavlNonexistLeft, iavlSpec);
+    });
+    it("should parse iavl right - nonexist", async () => {
+        await validateTestVector(iavlNonexistRight, iavlSpec);
+    });
+    it("should parse iavl middle - nonexist", async () => {
+        await validateTestVector(iavlNonexistMiddle, iavlSpec);
+    });
+    it("should parse tendermint left", async () => {
+        await validateTestVector(tendermintExistLeft, tendermintSpec);
+    });
+    it("should parse tendermint right", async () => {
+        await validateTestVector(tendermintExistRight, tendermintSpec);
+    });
+    it("should parse tendermint middle", async () => {
+        await validateTestVector(tendermintExistMiddle, tendermintSpec);
+    });
+    it("should parse tendermint left - nonexist", async () => {
+        await validateTestVector(tendermintNonexistLeft, tendermintSpec);
+    });
+    it("should parse tendermint right - nonexist", async () => {
+        await validateTestVector(tendermintNonexistRight, tendermintSpec);
+    });
+    it("should parse tendermint middle - nonexist", async () => {
+        await validateTestVector(tendermintNonexistMiddle, tendermintSpec);
+    });
+    function loadBatch(vectors) {
+        let refs = [];
+        let entries = [];
+        for (const vector of vectors) {
+            const { proof, data } = loadVector(vector);
+            refs = [...refs, data];
+            if (proof.exist) {
+                entries = [...entries, { exist: proof.exist }];
+            }
+            else if (proof.nonexist) {
+                entries = [...entries, { nonexist: proof.nonexist }];
+            }
+        }
+        const commit = {
+            batch: {
+                entries: entries,
+            },
+        };
+        return {
+            proof: commit,
+            data: refs,
+        };
+    }
+    async function validateBatch(proof, spec, data) {
+        const { root, key, value } = data;
+        if (value) {
+            let valid = await verifyMembership(proof, spec, root, key, value);
+            expect(valid).toBe(true);
+            const items = new Map([[key, value]]);
+            valid = await batchVerifyMembership(proof, spec, root, items);
+            expect(valid).toBe(true);
+        }
+        else {
+            let valid = await verifyNonMembership(proof, spec, root, key);
+            expect(valid).toBe(true);
+            const keys = [key];
+            valid = await batchVerifyNonMembership(proof, spec, root, keys);
+            expect(valid).toBe(true);
+        }
+    }
+    it("should validate iavl batch exist", async () => {
+        const { proof, data } = loadBatch([
+            iavlExistLeft,
+            iavlExistRight,
+            iavlExistMiddle,
+            iavlNonexistLeft,
+            iavlNonexistRight,
+            iavlNonexistMiddle,
+        ]);
+        await validateBatch(proof, iavlSpec, data[0]);
+    });
+    it("should validate iavl batch nonexist", async () => {
+        const { proof, data } = loadBatch([
+            iavlExistLeft,
+            iavlExistRight,
+            iavlExistMiddle,
+            iavlNonexistLeft,
+            iavlNonexistRight,
+            iavlNonexistMiddle,
+        ]);
+        await validateBatch(proof, iavlSpec, data[5]);
+    });
+    it("should validate compressed iavl batch exist", async () => {
+        const { proof, data } = loadBatch([
+            iavlExistLeft,
+            iavlExistRight,
+            iavlExistMiddle,
+            iavlNonexistLeft,
+            iavlNonexistRight,
+            iavlNonexistMiddle,
+        ]);
+        const small = compress(proof);
+        // ensure this is actually a different format
+        const origBin = CommitmentProof.encode(proof).finish();
+        const origBin2 = CommitmentProof.encode(proof).finish();
+        const smallBin = CommitmentProof.encode(small).finish();
+        expect(origBin).toEqual(origBin2);
+        expect(origBin).not.toEqual(smallBin);
+        await validateBatch(small, iavlSpec, data[0]);
+    });
+    it("should validate compressed iavl batch nonexist", async () => {
+        const { proof, data } = loadBatch([
+            iavlExistLeft,
+            iavlExistRight,
+            iavlExistMiddle,
+            iavlNonexistLeft,
+            iavlNonexistRight,
+            iavlNonexistMiddle,
+        ]);
+        const small = compress(proof);
+        // ensure this is actually a different format
+        const origBin = CommitmentProof.encode(proof).finish();
+        const origBin2 = CommitmentProof.encode(proof).finish();
+        const smallBin = CommitmentProof.encode(small).finish();
+        expect(origBin).toEqual(origBin2);
+        expect(origBin).not.toEqual(smallBin);
+        await validateBatch(small, iavlSpec, data[5]);
+    });
+    it("should validate tendermint batch exist", async () => {
+        const { proof, data } = loadBatch([
+            tendermintExistLeft,
+            tendermintExistRight,
+            tendermintExistMiddle,
+            tendermintNonexistLeft,
+            tendermintNonexistRight,
+            tendermintNonexistMiddle,
+        ]);
+        await validateBatch(proof, tendermintSpec, data[2]);
+    });
+    it("should validate tendermint batch nonexist", async () => {
+        const { proof, data } = loadBatch([
+            tendermintExistLeft,
+            tendermintExistRight,
+            tendermintExistMiddle,
+            tendermintNonexistLeft,
+            tendermintNonexistRight,
+            tendermintNonexistMiddle,
+        ]);
+        await validateBatch(proof, tendermintSpec, data[3]);
+    });
+    it("should validate smt batch exist", async () => {
+        const { proof, data } = loadBatch([
+            smtExistLeft,
+            smtExistRight,
+            smtExistMiddle,
+            smtNonexistLeft,
+            smtNonexistRight,
+            smtNonexistMiddle,
+        ]);
+        await validateBatch(proof, smtSpec, data[2]);
+    });
+    it("should validate smt batch nonexist", async () => {
+        const { proof, data } = loadBatch([
+            smtExistLeft,
+            smtExistRight,
+            smtExistMiddle,
+            smtNonexistLeft,
+            smtNonexistRight,
+            smtNonexistMiddle,
+        ]);
+        await validateBatch(proof, smtSpec, data[3]);
+    });
+});
+//# sourceMappingURL=testvectors.test.js.map

package/dist/tests/testvectors.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"testvectors.test.js","sourceRoot":"","sources":["../../src/tests/testvectors.test.ts"],"names":[],"mappings":"AAAA,OAAO,aAAa,MAAM,qCAAqC,CAAC;AAChE,OAAO,eAAe,MAAM,uCAAuC,CAAC;AACpE,OAAO,cAAc,MAAM,sCAAsC,CAAC;AAClE,OAAO,gBAAgB,MAAM,wCAAwC,CAAC;AACtE,OAAO,kBAAkB,MAAM,0CAA0C,CAAC;AAC1E,OAAO,iBAAiB,MAAM,yCAAyC,CAAC;AACxE,OAAO,YAAY,MAAM,oCAAoC,CAAC;AAC9D,OAAO,cAAc,MAAM,sCAAsC,CAAC;AAClE,OAAO,aAAa,MAAM,qCAAqC,CAAC;AAChE,OAAO,eAAe,MAAM,uCAAuC,CAAC;AACpE,OAAO,iBAAiB,MAAM,yCAAyC,CAAC;AACxE,OAAO,gBAAgB,MAAM,wCAAwC,CAAC;AACtE,OAAO,mBAAmB,MAAM,2CAA2C,CAAC;AAC5E,OAAO,qBAAqB,MAAM,6CAA6C,CAAC;AAChF,OAAO,oBAAoB,MAAM,4CAA4C,CAAC;AAC9E,OAAO,sBAAsB,MAAM,8CAA8C,CAAC;AAClF,OAAO,wBAAwB,MAAM,gDAAgD,CAAC;AACtF,OAAO,uBAAuB,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EACL,qBAAqB,EACrB,wBAAwB,EACxB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAEL,eAAe,GAEhB,MAAM,mCAAmC,CAAC;AAE3C,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IAmBtC,SAAS,UAAU,CAAC,MAAsB;QACxC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAE1B,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAEtD,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;YACnB,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC;YACjB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;SAC1C,CAAC;QAEF,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACjC,CAAC;IAOD,KAAK,UAAU,kBAAkB,CAC/B,MAAsB,EACtB,IAAe;QAEf,MAAM,EACJ,KAAK,EACL,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAC3B,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QACvB,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,KAAK,GAAG,MAAM,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACpE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YAChE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,EAAE,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,kBAAkB,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,kBAAkB,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,0BAA0B,EAAE,KAAK,IAAI,EAAE;QACxC,MAAM,kBAAkB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,kBAAkB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,oCAAoC,EAAE,KAAK,IAAI,EAAE;QAClD,MAAM,kBAAkB,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,kBAAkB,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,KAAK,IAAI,EAAE;QAC5C,MAAM,kBAAkB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;QAC7C,MAAM,kBAAkB,CAAC,oBAAoB,EAAE,cAAc,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,gCAAgC,EAAE,KAAK,IAAI,EAAE;QAC9C,MAAM,kBAAkB,CAAC,qBAAqB,EAAE,cAAc,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,yCAAyC,EAAE,KAAK,IAAI,EAAE;QACvD,MAAM,kBAAkB,CAAC,sBAAsB,EAAE,cAAc,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;QACxD,MAAM,kBAAkB,CAAC,uBAAuB,EAAE,cAAc,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,kBAAkB,CAAC,wBAAwB,EAAE,cAAc,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,SAAS,SAAS,CAAC,OAAkC;QACnD,IAAI,IAAI,GAAuB,EAAE,CAAC;QAClC,IAAI,OAAO,GAA0B,EAAE,CAAC;QAExC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAI,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC;YACvB,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChB,OAAO,GAAG,CAAC,GAAG,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;YACjD,CAAC;iBAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC1B,OAAO,GAAG,CAAC,GAAG,OAAO,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAoB;YAC9B,KAAK,EAAE;gBACL,OAAO,EAAE,OAAuB;aACjC;SACF,CAAC;QAEF,OAAO;YACL,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;SACX,CAAC;IACJ,CAAC;IAED,KAAK,UAAU,aAAa,CAC1B,KAAsB,EACtB,IAAe,EACf,IAAa;QAEb,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;QAClC,IAAI,KAAK,EAAE,CAAC;YACV,IAAI,KAAK,GAAG,MAAM,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YAClE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YACtC,KAAK,GAAG,MAAM,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9D,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;aAAM,CAAC;YACN,IAAI,KAAK,GAAG,MAAM,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YAC9D,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,MAAM,IAAI,GAA0B,CAAC,GAAG,CAAC,CAAC;YAC1C,KAAK,GAAG,MAAM,wBAAwB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAChE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,EAAE,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;YAChC,aAAa;YACb,cAAc;YACd,eAAe;YACf,gBAAgB;YAChB,iBAAiB;YACjB,kBAAkB;SACnB,CAAC,CAAC;QACH,MAAM,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;YAChC,aAAa;YACb,cAAc;YACd,eAAe;YACf,gBAAgB;YAChB,iBAAiB;YACjB,kBAAkB;SACnB,CAAC,CAAC;QACH,MAAM,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;QAC3D,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;YAChC,aAAa;YACb,cAAc;YACd,eAAe;YACf,gBAAgB;YAChB,iBAAiB;YACjB,kBAAkB;SACnB,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAE9B,6CAA6C;QAC7C,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QACxD,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QACxD,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAClC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAEtC,MAAM,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;QAC9D,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;YAChC,aAAa;YACb,cAAc;YACd,eAAe;YACf,gBAAgB;YAChB,iBAAiB;YACjB,kBAAkB;SACnB,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAE9B,6CAA6C;QAC7C,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QACxD,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QACxD,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAClC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAEtC,MAAM,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,KAAK,IAAI,EAAE;QACtD,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;YAChC,mBAAmB;YACnB,oBAAoB;YACpB,qBAAqB;YACrB,sBAAsB;YACtB,uBAAuB;YACvB,wBAAwB;SACzB,CAAC,CAAC;QACH,MAAM,aAAa,CAAC,KAAK,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;YAChC,mBAAmB;YACnB,oBAAoB;YACpB,qBAAqB;YACrB,sBAAsB;YACtB,uBAAuB;YACvB,wBAAwB;SACzB,CAAC,CAAC;QACH,MAAM,aAAa,CAAC,KAAK,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;YAChC,YAAY;YACZ,aAAa;YACb,cAAc;YACd,eAAe;YACf,gBAAgB;YAChB,iBAAiB;SAClB,CAAC,CAAC;QACH,MAAM,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,KAAK,IAAI,EAAE;QAClD,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;YAChC,YAAY;YACZ,aAAa;YACb,cAAc;YACd,eAAe;YACf,gBAAgB;YAChB,iBAAiB;SAClB,CAAC,CAAC;QACH,MAAM,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/webcat.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/tests/webcat.test.js

@@ -0,0 +1,45 @@
+import leavesData from "../../testdata/webcat/leaves.json";
+import { describe, expect, it } from "vitest";
+import { calculateExistenceRoot, verifyExistence } from "../proofs";
+import { verifyWebcatProof, webcatSpec } from "../webcat";
+import { CommitmentProof } from "../proto/cosmos/ics23/v1/proofs";
+import { fromHex, toHex } from "./testhelpers";
+describe("verifyWebcatProof", () => {
+    it("verifies the provided leaf and canonical linkage", async () => {
+        const [elementBytes, canonicalBytes] = leavesData.proof.merkle_proof.proof_bytes;
+        const elementProof = CommitmentProof.decode(fromHex(elementBytes));
+        const canonicalProof = CommitmentProof.decode(fromHex(canonicalBytes));
+        const elementRoot = await calculateExistenceRoot(elementProof.exist);
+        const canonicalRoot = await calculateExistenceRoot(canonicalProof.exist);
+        const elementKey = new TextEncoder().encode(leavesData.proof.merkle_proof.representative_key.replace(/^canonical\//, ""));
+        const elementValue = fromHex(leavesData.leaves[1][1]);
+        expect(elementProof.exist?.key).toEqual(elementKey);
+        await expect(verifyExistence(elementProof.exist, webcatSpec, fromHex(leavesData.proof.canonical_root_hash), elementKey, elementValue)).resolves.not.toThrow();
+        await expect(verifyExistence(canonicalProof.exist, webcatSpec, fromHex(leavesData.proof.app_hash), new TextEncoder().encode("canonical"), fromHex(leavesData.proof.canonical_root_hash))).resolves.not.toThrow();
+        expect(toHex(elementRoot)).toBe(leavesData.proof.canonical_root_hash);
+        expect(toHex(canonicalRoot)).toBe(leavesData.proof.app_hash);
+        await expect(verifyWebcatProof(leavesData)).resolves.toBe(true);
+    });
+    it("fails when app hash linkage is modified", async () => {
+        const tampered = {
+            ...leavesData,
+            proof: {
+                ...leavesData.proof,
+                app_hash: "00" + leavesData.proof.app_hash.slice(2),
+            },
+        };
+        await expect(verifyWebcatProof(tampered)).resolves.toBe(false);
+    });
+    it("exposes the webcat spec for manual validation", async () => {
+        const proofBytes = leavesData.proof.merkle_proof.proof_bytes[0];
+        const proof = CommitmentProof.decode(fromHex(proofBytes));
+        const validation = await verifyWebcatProof({
+            ...leavesData,
+            proof: leavesData.proof,
+        });
+        expect(validation).toBe(true);
+        expect(webcatSpec.leafSpec?.prefix?.length).toBe(13);
+        expect(proof.exist?.leaf?.prefix).toEqual(webcatSpec.leafSpec?.prefix);
+    });
+});
+//# sourceMappingURL=webcat.test.js.map

package/dist/tests/webcat.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"webcat.test.js","sourceRoot":"","sources":["../../src/tests/webcat.test.ts"],"names":[],"mappings":"AAAA,OAAO,UAAU,MAAM,mCAAmC,CAAC;AAE3D,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAE/C,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;QAChE,MAAM,CAAC,YAAY,EAAE,cAAc,CAAC,GAClC,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC;QAC5C,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;QACnE,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;QACvE,MAAM,WAAW,GAAG,MAAM,sBAAsB,CAAC,YAAY,CAAC,KAAM,CAAC,CAAC;QACtE,MAAM,aAAa,GAAG,MAAM,sBAAsB,CAAC,cAAc,CAAC,KAAM,CAAC,CAAC;QAC1E,MAAM,UAAU,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CACzC,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,kBAAkB,CAAC,OAAO,CACtD,cAAc,EACd,EAAE,CACH,CACF,CAAC;QAEF,MAAM,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAEtD,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACpD,MAAM,MAAM,CACV,eAAe,CACb,YAAY,CAAC,KAAM,EACnB,UAAU,EACV,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAC7C,UAAU,EACV,YAAY,CACb,CACF,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACzB,MAAM,MAAM,CACV,eAAe,CACb,cAAc,CAAC,KAAM,EACrB,UAAU,EACV,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,EAClC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,EACrC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAC9C,CACF,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAEzB,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACtE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7D,MAAM,MAAM,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,KAAK,IAAI,EAAE;QACvD,MAAM,QAAQ,GAAG;YACf,GAAG,UAAU;YACb,KAAK,EAAE;gBACL,GAAG,UAAU,CAAC,KAAK;gBACnB,QAAQ,EAAE,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;aACpD;SACF,CAAC;QAEF,MAAM,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;QAC7D,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;QAE1D,MAAM,UAAU,GAAG,MAAM,iBAAiB,CAAC;YACzC,GAAG,UAAU;YACb,KAAK,EAAE,UAAU,CAAC,KAAK;SACxB,CAAC,CAAC;QACH,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/webcat.d.ts

@@ -0,0 +1,15 @@
+import { ProofSpec } from "./proto/cosmos/ics23/v1/proofs";
+export interface WebcatLeavesFile {
+    readonly block_height: number;
+    readonly leaves: readonly (readonly [string, string] | readonly string[])[];
+    readonly proof: {
+        readonly app_hash: string;
+        readonly canonical_root_hash: string;
+        readonly merkle_proof: {
+            readonly proof_bytes: readonly string[];
+            readonly representative_key: string;
+        };
+    };
+}
+export declare const webcatSpec: ProofSpec;
+export declare function verifyWebcatProof(data: WebcatLeavesFile): Promise<boolean>;

package/dist/webcat.js

@@ -0,0 +1,77 @@
+import { verifyExistence } from "./proofs";
+import { CommitmentProof, HashOp, LengthOp, } from "./proto/cosmos/ics23/v1/proofs";
+function fromHex(hexstring) {
+    if (hexstring.length % 2 !== 0) {
+        throw new Error("hex string length must be a multiple of 2");
+    }
+    const listOfInts = [];
+    for (let i = 0; i < hexstring.length; i += 2) {
+        const hexByteAsString = hexstring.substr(i, 2);
+        if (!hexByteAsString.match(/[0-9a-f]{2}/i)) {
+            throw new Error("hex string contains invalid characters");
+        }
+        listOfInts.push(parseInt(hexByteAsString, 16));
+    }
+    return new Uint8Array(listOfInts);
+}
+const utf8Encoder = new TextEncoder();
+const leafPrefix = utf8Encoder.encode("JMT::LeafNode");
+const innerPrefix = utf8Encoder.encode("JMT::InternalNode");
+export const webcatSpec = {
+    leafSpec: {
+        hash: HashOp.SHA256,
+        prehashKey: HashOp.SHA256,
+        prehashValue: HashOp.SHA256,
+        length: LengthOp.NO_PREFIX,
+        prefix: leafPrefix,
+    },
+    innerSpec: {
+        hash: HashOp.SHA256,
+        childOrder: [0, 1],
+        childSize: 32,
+        minPrefixLength: innerPrefix.length - 1,
+        maxPrefixLength: innerPrefix.length,
+        emptyChild: new Uint8Array(),
+    },
+    maxDepth: 256,
+    minDepth: 0,
+    prehashKeyBeforeComparison: true,
+};
+function decodeProof(hex) {
+    return CommitmentProof.decode(fromHex(hex));
+}
+function collectLeafValue(data, representativeKey) {
+    const match = data.leaves.find(([key]) => key === representativeKey);
+    if (!match) {
+        throw new Error("Representative key is missing from leaf set");
+    }
+    return fromHex(match[1]);
+}
+function stripCanonicalPrefix(key) {
+    return key.replace(/^canonical\//, "");
+}
+export async function verifyWebcatProof(data) {
+    try {
+        const { proof_bytes: proofBytes, representative_key } = data.proof.merkle_proof;
+        if (proofBytes.length < 2) {
+            return false;
+        }
+        const elementProof = decodeProof(proofBytes[0]);
+        const canonicalProof = decodeProof(proofBytes[1]);
+        const canonicalRoot = fromHex(data.proof.canonical_root_hash);
+        const appHash = fromHex(data.proof.app_hash);
+        const elementKey = utf8Encoder.encode(stripCanonicalPrefix(representative_key));
+        const elementValue = collectLeafValue(data, representative_key);
+        if (!elementProof.exist || !canonicalProof.exist) {
+            return false;
+        }
+        await verifyExistence(elementProof.exist, webcatSpec, canonicalRoot, elementKey, elementValue);
+        const canonicalKey = utf8Encoder.encode("canonical");
+        await verifyExistence(canonicalProof.exist, webcatSpec, appHash, canonicalKey, canonicalRoot);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=webcat.js.map

package/dist/webcat.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"webcat.js","sourceRoot":"","sources":["../src/webcat.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,EACL,eAAe,EACf,MAAM,EACN,QAAQ,GAET,MAAM,gCAAgC,CAAC;AAexC,SAAS,OAAO,CAAC,SAAiB;IAChC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAC5D,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;AAEtC,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;AACvD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;AAE5D,MAAM,CAAC,MAAM,UAAU,GAAc;IACnC,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC,MAAM;QACnB,UAAU,EAAE,MAAM,CAAC,MAAM;QACzB,YAAY,EAAE,MAAM,CAAC,MAAM;QAC3B,MAAM,EAAE,QAAQ,CAAC,SAAS;QAC1B,MAAM,EAAE,UAAU;KACnB;IACD,SAAS,EAAE;QACT,IAAI,EAAE,MAAM,CAAC,MAAM;QACnB,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAClB,SAAS,EAAE,EAAE;QACb,eAAe,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC;QACvC,eAAe,EAAE,WAAW,CAAC,MAAM;QACnC,UAAU,EAAE,IAAI,UAAU,EAAE;KAC7B;IACD,QAAQ,EAAE,GAAG;IACb,QAAQ,EAAE,CAAC;IACX,0BAA0B,EAAE,IAAI;CACjC,CAAC;AAEF,SAAS,WAAW,CAAC,GAAW;IAC9B,OAAO,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAsB,EACtB,iBAAyB;IAEzB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,iBAAiB,CAAC,CAAC;IACrE,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,oBAAoB,CAAC,GAAW;IACvC,OAAO,GAAG,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,IAAsB;IAEtB,IAAI,CAAC;QACH,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,kBAAkB,EAAE,GACnD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;QAC1B,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,YAAY,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,cAAc,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAElD,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAC9D,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAE7C,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CACnC,oBAAoB,CAAC,kBAAkB,CAAC,CACzC,CAAC;QACF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAEhE,IAAI,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;YACjD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,eAAe,CACnB,YAAY,CAAC,KAAK,EAClB,UAAU,EACV,aAAa,EACb,UAAU,EACV,YAAY,CACb,CAAC;QAEF,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACrD,MAAM,eAAe,CACnB,cAAc,CAAC,KAAK,EACpB,UAAU,EACV,OAAO,EACP,YAAY,EACZ,aAAa,CACd,CAAC;QAEF,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}

package/package.json

@@ -0,0 +1,46 @@
+{
+  "name": "@freedomofpress/ics23",
+  "version": "0.1.0",
+  "description": "Merkle proof verification library (ICS23)",
+  "main": "build/index.js",
+  "types": "build/index.d.ts",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/freedomofpress/ics23-ts"
+  },
+  "publishConfig": {
+    "access": "public",
+    "registry": "https://registry.npmjs.org/"
+  },
+  "author": "Giulio B",
+  "license": "Apache-2.0",
+  "files": [
+    "dist/**"
+  ],
+  "scripts": {
+    "proto:gen": "npx buf generate buf.build/cosmos/ics23",
+    "lint": "npx eslint --ignore-pattern '**/*.test.ts' . --fix && npx prettier --write .",
+    "test": "vitest run",
+    "test:playwright": "vitest run --config vite.config.playwright.ts",
+    "coverage": "vitest run --coverage",
+    "prebuild": "npm run proto:gen",
+    "build": "tsc"
+  },
+  "devDependencies": {
+    "@bufbuild/buf": "^1.61.0",
+    "@vitest/browser": "^4.0.14",
+    "@vitest/browser-playwright": "^4.0.14",
+    "@vitest/coverage-v8": "^4.0.14",
+    "esbuild": "^0.27.0",
+    "eslint-plugin-simple-import-sort": "^12.1.1",
+    "playwright": "^1.57.0",
+    "typescript": "^5.0",
+    "typescript-eslint": "^8.48.0",
+    "vite": "^7.2.6",
+    "vite-node": "^5.2.0",
+    "vitest": "^4.0.14"
+  },
+  "dependencies": {
+    "@bufbuild/protobuf": "^2.0.0"
+  }
+}