secure-fl 2026.3.17.dev1__tar.gz → 2026.3.17.dev2__tar.gz

{secure_fl-2026.3.17.dev1 → secure_fl-2026.3.17.dev2}/.gitignore

@@ -116,7 +116,7 @@ datasets/
 # ZKP artifacts
 *.r1cs
 *.wtns
-*.circom
+# *.circom
 output/
 witness/
 circuit.wasm

{secure_fl-2026.3.17.dev1 → secure_fl-2026.3.17.dev2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: secure-fl
-Version: 2026.3.17.dev1
+Version: 2026.3.17.dev2
 Summary: Dual-Verifiable Framework for Federated Learning using Zero-Knowledge Proofs
 Project-URL: Homepage, https://github.com/krishantt/secure-fl
 Project-URL: Bug Reports, https://github.com/krishantt/secure-fl/issues

secure_fl-2026.3.17.dev2/src/secure_fl/.build_number

@@ -0,0 +1 @@
+2026.03.17:2

secure_fl-2026.3.17.dev2/src/secure_fl/proofs/server/aggregation.circom

@@ -0,0 +1,55 @@
+pragma circom 2.0.0;
+// Federated Learning Aggregation Circuit
+
+template FedJSCMAggregation(n_clients, param_size) {
+    signal input client_deltas[n_clients][param_size];
+    signal input old_momentum[param_size];
+    signal input client_weights[n_clients];
+    signal input active_clients[n_clients];
+    signal input momentum_coeff;
+    signal input old_params[param_size];
+
+    signal output new_params[param_size];
+    signal output new_momentum[param_size];
+
+    // Intermediate signals for weighted sum
+    signal weighted_sum[param_size];
+    signal partial_sums[n_clients][param_size];
+
+    var SCALE = 1000000;
+
+    // Enforce active_clients as binary and zero-contribution for inactive slots.
+    for (var j = 0; j < n_clients; j++) {
+        active_clients[j] * (active_clients[j] - 1) === 0;
+        client_weights[j] * (1 - active_clients[j]) === 0;
+        for (var i = 0; i < param_size; i++) {
+            client_deltas[j][i] * (1 - active_clients[j]) === 0;
+        }
+    }
+
+    // Calculate weighted deltas
+    for (var i = 0; i < param_size; i++) {
+        for (var j = 0; j < n_clients; j++) {
+            partial_sums[j][i] <== client_weights[j] * client_deltas[j][i] / SCALE;
+        }
+    }
+
+    // Sum the weighted deltas
+    for (var i = 0; i < param_size; i++) {
+        var sum = 0;
+        for (var j = 0; j < n_clients; j++) {
+            sum += partial_sums[j][i];
+        }
+        weighted_sum[i] <== sum;
+    }
+
+    // Compute momentum and new params
+    signal momentum_term[param_size];
+    for (var i = 0; i < param_size; i++) {
+        momentum_term[i] <== momentum_coeff * old_momentum[i] / SCALE;
+        new_momentum[i] <== momentum_term[i] + weighted_sum[i];
+        new_params[i] <== old_params[i] + new_momentum[i];
+    }
+}
+
+component main = FedJSCMAggregation(8, 50);

secure_fl-2026.3.17.dev1/src/secure_fl/.build_number

@@ -1 +0,0 @@
-2026.03.17:1