Add new percentile aggregator and tests for comparing it with Byzantine

discojs/package.json

@@ -34,6 +34,7 @@
 		"@tensorflow/tfjs-node": "4",
 		"@types/simple-peer": "9",
 		"nodemon": "3",
-		"ts-node": "10"
+		"ts-node": "10",
+		"fast-check": "3"
 	}
 }

discojs/src/aggregator/byzantine.spec.ts

@@ -1,5 +1,6 @@
 import { Set } from "immutable";
 import { describe, expect, it } from "vitest";
+import fc from "fast-check";
 
 import { WeightsContainer } from "../index.js";
 import { ByzantineRobustAggregator } from "./byzantine.js";
@@ -31,8 +32,8 @@ describe("ByzantineRobustAggregator", () => {
     expect(arr).to.deep.equal([[2], [3]]);
   });
 
-  it("clips a single outlier with small radius", async () => {
-    const agg = new ByzantineRobustAggregator(0, 3, 'absolute', 1.0, 1, 0);
+  it("reduces influence of a single outlier", async () => {
+    const agg = new ByzantineRobustAggregator(0, 3, 'absolute', 1.0, 10, 0);
     const [c1, c2, bad] = ["c1", "c2", "bad"];
     agg.setNodes(Set.of(c1, c2, bad));
 
@@ -43,43 +44,66 @@ describe("ByzantineRobustAggregator", () => {
 
     const out = await p;
     const arr = await WSIntoArrays(out);
-    expect(arr[0][0]).to.be.closeTo(1, 1e-6);
+
+    const result = arr[0][0];
+    const mean = (1 + 1 + 100) / 3;
+
+    expect(Math.abs(result - 1)).to.be.lessThan(Math.abs(mean - 1));
   });
 
-  it("applies multiple clipping iterations (maxIterations > 1)", async () => {
-    const agg = new ByzantineRobustAggregator(0, 2, 'absolute', 1.0, 3, 0);
-    const [c1, bad] = ["c1", "bad"];
-    agg.setNodes(Set.of(c1, bad));
+  it("multiple iterations improve the estimate", async () => {
+    const [c1, c2, bad] = ["c1", "c2", "bad"];
 
-    const p = agg.getPromiseForAggregation();
-    agg.add(c1, WeightsContainer.of([0]), 0);
-    agg.add(bad, WeightsContainer.of([10]), 0);
+    const agg1 = new ByzantineRobustAggregator(0, 3, 'absolute', 1.0, 1, 0);
+    agg1.setNodes(Set.of(c1, c2, bad));
 
-    const out = await p;
-    const arr = await WSIntoArrays(out);
-    expect(arr[0][0]).to.be.lessThan(1); // clipped closer to 0
+    const p1 = agg1.getPromiseForAggregation();
+    agg1.add(c1, WeightsContainer.of([0]), 0);
+    agg1.add(c2, WeightsContainer.of([0]), 0);
+    agg1.add(bad, WeightsContainer.of([10]), 0);
+    const out1 = await p1;
+    const arr1 = await WSIntoArrays(out1);
+
+    const agg3 = new ByzantineRobustAggregator(0, 3, 'absolute', 1.0, 3, 0);
+    agg3.setNodes(Set.of(c1, c2, bad));
+
+    const p3 = agg3.getPromiseForAggregation();
+    agg3.add(c1, WeightsContainer.of([0]), 0);
+    agg3.add(c2, WeightsContainer.of([0]), 0);
+    agg3.add(bad, WeightsContainer.of([10]), 0);
+    const out3 = await p3;
+    const arr3 = await WSIntoArrays(out3);
+
+    const honest = 0;
+
+    expect(Math.abs(arr3[0][0] - honest))
+      .to.be.lessThanOrEqual(Math.abs(arr1[0][0] - honest));
   });
 
   it("uses momentum when beta > 0", async () => {
     const agg = new ByzantineRobustAggregator(0, 2, 'absolute', 1e6, 1, 0.5);
     const [c1, c2] = ["c1", "c2"];
     agg.setNodes(Set.of(c1, c2));
 
+    // Round 1
     const p1 = agg.getPromiseForAggregation();
     agg.add(c1, WeightsContainer.of([2]), 0);
     agg.add(c2, WeightsContainer.of([2]), 0);
     const out1 = await p1;
     const arr1 = await WSIntoArrays(out1);
-    expect(arr1[0][0]).to.equal(2);
 
+    // m₀ = (1 - β) * g = 1
+    expect(arr1[0][0]).to.be.closeTo(1, 1e-6);
+
+    // Round 2
     const p2 = agg.getPromiseForAggregation();
     agg.add(c1, WeightsContainer.of([4]), 1);
     agg.add(c2, WeightsContainer.of([4]), 1);
     const out2 = await p2;
     const arr2 = await WSIntoArrays(out2);
 
-    // With momentum = 0.5,  result = 0.5 * prev + 0.5 * current = 3.0
-    expect(arr2[0][0]).to.be.closeTo(3, 1e-6);
+    // m₁ = 0.5*4 + 0.5*1 = 2.5 → avg = 2.5
+    expect(arr2[0][0]).to.be.closeTo(2.5, 1e-6);
   });
 
   it("respects roundCutoff — ignores old contributions", async () => {
@@ -100,4 +124,186 @@ describe("ByzantineRobustAggregator", () => {
     const arr2 = await WSIntoArrays(out2);
     expect(arr2[0][0]).to.equal(20);
   });
+
+  it("remains robust with 30% Byzantine clients", async () => {
+    const honest = Array(7).fill(1);
+    const byzantine = Array(3).fill(100);
+
+    const agg = new ByzantineRobustAggregator(0, 10, 'absolute', 1.0, 5, 0);
+    const ids = [...honest, ...byzantine].map((_, i) => `c${i}`);
+    agg.setNodes(Set(ids));
+
+    const p = agg.getPromiseForAggregation();
+    honest.forEach((v, i) => agg.add(`c${i}`, WeightsContainer.of([v]), 0));
+    byzantine.forEach((v, i) => agg.add(`c${i + honest.length}`, WeightsContainer.of([v]), 0));
+
+    const out = await p;
+    const arr = await WSIntoArrays(out);
+
+    const honestMean = honest.reduce((a, b) => a + b, 0) / honest.length;
+    const rawMean = [...honest, ...byzantine].reduce((a, b) => a + b, 0) / (honest.length + byzantine.length);
+
+    expect(Math.abs(arr[0][0] - honestMean)).to.be.lessThan(Math.abs(rawMean - honestMean));
+  });
+
+  it("moves closer to the honest signal under constant input", async () => {
+    const honest = 1;
+
+    const agg = new ByzantineRobustAggregator(0, 4, "absolute", 1.0, 3, 0);
+    agg.setNodes(Set(["a", "b", "c", "d"]));
+
+    const p = agg.getPromiseForAggregation();
+    agg.add("a", WeightsContainer.of([1]), 0);
+    agg.add("b", WeightsContainer.of([1]), 0);
+    agg.add("c", WeightsContainer.of([1]), 0);
+    agg.add("d", WeightsContainer.of([10]), 0);
+
+    const out = await p;
+    const v = (await out.weights[0].data())[0];
+
+    const mean = (1 + 1 + 1 + 10) / 4;
+
+    expect(Math.abs(v - honest)).to.be.lessThan(Math.abs(mean - honest));
+  });
+
+  it("does not significantly worsen deviation compared to mean", async () => {
+    const clipRadius = 1.0;
+
+    await fc.assert(
+      fc.asyncProperty(
+        fc.array(
+          fc.double({
+            min: -1,
+            max: 1,
+            noNaN: true,
+            noDefaultInfinity: true
+          }),
+          { minLength: 3, maxLength: 10 }
+        )
+          // avoid degenerate constant arrays (no signal)
+          .filter(arr => arr.some(v => Math.abs(v - arr[0]) > 1e-8)),
+
+        async (honest) => {
+          const n = honest.length + 1;
+
+          // clean aggregation
+          const aggClean = new ByzantineRobustAggregator(0, honest.length, "absolute", clipRadius, 1, 0);
+          const honestIds = honest.map((_, i) => `h${i}`);
+          aggClean.setNodes(Set(honestIds));
+
+          const pClean = aggClean.getPromiseForAggregation();
+          honest.forEach((v, i) => aggClean.add(`h${i}`, WeightsContainer.of([v]), 0));
+          const cleanOut = await pClean;
+          const clean = (await cleanOut.weights[0].data())[0];
+
+          // aggregation with Byzantine
+          const aggByz = new ByzantineRobustAggregator(0, n, "absolute", clipRadius, 1, 0);
+          const ids = honestIds.concat("byz");
+          aggByz.setNodes(Set(ids));
+
+          const pByz = aggByz.getPromiseForAggregation();
+          honest.forEach((v, i) => aggByz.add(`h${i}`, WeightsContainer.of([v]), 0));
+          aggByz.add("byz", WeightsContainer.of([1e9]), 0);
+
+          const byzOut = await pByz;
+          const byz = (await byzOut.weights[0].data())[0];
+
+          const deviation = Math.abs(byz - clean);
+          const mean = [...honest, 1e9].reduce((a, b) => a + b, 0) / n;
+          const baseline = Math.abs(mean - clean);
+
+          // combined tolerance (absolute + relative)
+          const ABS_EPS = 1e-6;
+          const REL_EPS = 1e-6;
+
+          expect(deviation).toBeLessThanOrEqual(
+            baseline * (1 + REL_EPS) + ABS_EPS
+          );
+        }
+      ),
+      { numRuns: 500 }
+    );
+  });
+
+  it("is invariant to client ordering", async () => {
+    const values = [0, 1, 100];
+    const ids1 = ["a", "b", "c"];
+    const ids2 = ["c", "a", "b"];
+
+    const run = async (ids: string[]) => {
+      const agg = new ByzantineRobustAggregator(0, 3, "absolute", 1.0, 3, 0);
+      agg.setNodes(Set(ids));
+      const p = agg.getPromiseForAggregation();
+      ids.forEach((id, i) =>
+        agg.add(id, WeightsContainer.of([values[i]]), 0)
+      );
+      return (await (await p).weights[0].data())[0];
+    };
+
+    const out1 = await run(ids1);
+    const out2 = await run(ids2);
+
+    expect(out1).to.be.closeTo(out2, 1e-6);
+  });
+
+  it("is idempotent when all inputs are identical and within clipping radius", async () => {
+    const agg = new ByzantineRobustAggregator(0, 5, "absolute", 10.0, 5, 0);
+    const ids = ["a", "b", "c", "d", "e"];
+    agg.setNodes(Set(ids));
+
+    const p = agg.getPromiseForAggregation();
+    ids.forEach(id => agg.add(id, WeightsContainer.of([3.14]), 0));
+    const out = await p;
+
+    const v = (await out.weights[0].data())[0];
+    expect(v).to.be.closeTo(3.14, 1e-6);
+  });
+
+  it("limits bias under symmetric Byzantine attacks", async () => {
+    const agg = new ByzantineRobustAggregator(0, 4, "absolute", 1.0, 3, 0);
+    agg.setNodes(Set(["h1", "h2", "b1", "b2"]));
+
+    const p = agg.getPromiseForAggregation();
+    agg.add("h1", WeightsContainer.of([1]), 0);
+    agg.add("h2", WeightsContainer.of([1]), 0);
+    agg.add("b1", WeightsContainer.of([100]), 0);
+    agg.add("b2", WeightsContainer.of([-100]), 0);
+
+    const out = await p;
+    const v = (await out.weights[0].data())[0];
+
+    expect(Math.abs(v - 1)).to.be.lessThan(Math.abs((1 + 1 + 100 - 100)/4 - 1));
+  });
+
+  it("reduces influence of extreme outliers", async () => {
+    const agg = new ByzantineRobustAggregator(0, 4, "absolute", 1.0, 3, 0);
+    agg.setNodes(Set(["a", "b", "c", "d"]));
+
+    const p = agg.getPromiseForAggregation();
+    agg.add("a", WeightsContainer.of([0]), 0);
+    agg.add("b", WeightsContainer.of([0.5]), 0);
+    agg.add("c", WeightsContainer.of([1]), 0);
+    agg.add("d", WeightsContainer.of([100]), 0);
+
+    const out = await p;
+    const v = (await out.weights[0].data())[0];
+
+    const mean = (0 + 0.5 + 1 + 100) / 4;
+    const honestCenter = (0 + 0.5 + 1) / 3;
+
+    expect(Math.abs(v - honestCenter)).to.be.lessThan(Math.abs(mean - honestCenter));
+  });
+
+  it("reset state when starting fresh aggregator", async () => {
+    const run = async () => {
+      const agg = new ByzantineRobustAggregator(0, 2, "absolute", 1.0, 3, 0.9);
+      agg.setNodes(Set(["a", "b"]));
+      const p = agg.getPromiseForAggregation();
+      agg.add("a", WeightsContainer.of([1]), 0);
+      agg.add("b", WeightsContainer.of([1]), 0);
+      return (await (await p).weights[0].data())[0];
+    };
+
+    expect(await run()).to.be.closeTo(await run(), 1e-6);
+  });
 });