Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
33 changes: 33 additions & 0 deletions packages/utils/source/validator-set-pack.test.ts
Original file line number Diff line number Diff line change
Expand Up @@ -10,4 +10,37 @@ describe("validatorSet", async ({ assert, it }) => {
it("should unpack it", () => {
assert.equal(validatorSetUnpack(3n, 4), [true, true, false, false]);
});

it("should pack and unpack", () => {
const validatorSet = [true, true, false, false];
const packed = validatorSetPack(validatorSet);
const unpacked = validatorSetUnpack(packed, validatorSet.length);

assert.equal(unpacked, validatorSet);
});

it("should pack and unpack empty", () => {
const validatorSet: boolean[] = [];
const packed = validatorSetPack(validatorSet);
const unpacked = validatorSetUnpack(packed, validatorSet.length);

assert.equal(unpacked, validatorSet);
});

it("should reject invalid packed validator set", () => {
const validatorSet = [true, true, true, true];
const packed = validatorSetPack(validatorSet);

assert.throws(() => validatorSetUnpack(0n, -1), "`numberOfValidators` must be a non-negative integer");
assert.throws(() => validatorSetUnpack(0n, -10), "`numberOfValidators` must be a non-negative integer");
assert.throws(() => validatorSetUnpack(0n, 1.1), "`numberOfValidators` must be a non-negative integer");
assert.throws(() => validatorSetUnpack(0n, -0.1), "`numberOfValidators` must be a non-negative integer");
assert.throws(() => validatorSetUnpack(0n, 0.2), "`numberOfValidators` must be a non-negative integer");
assert.throws(
() => validatorSetUnpack(0n, "4" as unknown as number),
"`numberOfValidators` must be a non-negative integer",
);
assert.throws(() => validatorSetUnpack(packed, 3), "`packed` contains set bits beyond `numberOfValidators`");
assert.throws(() => validatorSetUnpack(-1n, 3), "`packed` must be non-negative");
});
});
21 changes: 18 additions & 3 deletions packages/utils/source/validator-set-pack.ts
Original file line number Diff line number Diff line change
Expand Up @@ -10,11 +10,26 @@ export const validatorSetPack = (validatorSet: boolean[]): bigint => {
};

export const validatorSetUnpack = (packed: bigint, numberOfValidators: number): boolean[] => {
const validatorSet: boolean[] = new Array(numberOfValidators);
if (!Number.isInteger(numberOfValidators) || numberOfValidators < 0) {
throw new RangeError("`numberOfValidators` must be a non-negative integer");
}

if (packed < 0n) {
throw new RangeError("`packed` must be non-negative");
}

if (packed >> BigInt(numberOfValidators) !== 0n) {
throw new RangeError("`packed` contains set bits beyond `numberOfValidators`");
}

const validatorSet: boolean[] = Array.from({ length: numberOfValidators });

let mask = 1n;
for (let index = 0; index < numberOfValidators; index++) {
const mask = 2n ** BigInt(index);
const isSet = (packed & mask) > 0;
const isSet = (packed & mask) !== 0n;
validatorSet[index] = isSet;

mask <<= 1n;
}

return validatorSet;
Expand Down
Loading