benadida · benadida-agent · Feb 8, 2026 · Feb 8, 2026 · Feb 8, 2026 · Feb 8, 2026
diff --git a/docs/implementation-plans/2026-01-18-helios-booth-lit-redesign/phase_01.md b/docs/implementation-plans/2026-01-18-helios-booth-lit-redesign/phase_01.md
diff --git a/docs/implementation-plans/2026-01-18-helios-booth-lit-redesign/phase_02.md b/docs/implementation-plans/2026-01-18-helios-booth-lit-redesign/phase_02.md
diff --git a/docs/implementation-plans/2026-01-18-helios-booth-lit-redesign/phase_03.md b/docs/implementation-plans/2026-01-18-helios-booth-lit-redesign/phase_03.md
diff --git a/docs/implementation-plans/2026-01-18-helios-booth-lit-redesign/phase_04.md b/docs/implementation-plans/2026-01-18-helios-booth-lit-redesign/phase_04.md
diff --git a/heliosbooth2026/.gitignore b/heliosbooth2026/.gitignore
@@ -0,0 +1,2 @@
+node_modules/
+dist/
diff --git a/heliosbooth2026/index.html b/heliosbooth2026/index.html
@@ -0,0 +1,45 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+  <meta charset="UTF-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1.0">
+  <meta name="description" content="Helios Voting Booth - Secure online voting with cryptographic verification">
+  <meta name="robots" content="noindex, nofollow">
+  <title>Helios Voting Booth</title>
+
+  <!-- Styles -->
+  <link rel="stylesheet" href="./src/styles/booth.css">
+
+  <!-- Crypto libraries must load before the app (synchronous) -->
+  <script src="lib/jscrypto/jsbn.js"></script>
+  <script src="lib/jscrypto/jsbn2.js"></script>
+  <script src="lib/jscrypto/sjcl.js"></script>
+  <script src="lib/jscrypto/class.js"></script>
+  <script src="lib/jscrypto/bigint.js"></script>
+  <script src="lib/jscrypto/random.js"></script>
+  <script src="lib/jscrypto/elgamal.js"></script>
+  <script src="lib/jscrypto/sha1.js"></script>
+  <script src="lib/jscrypto/sha2.js"></script>
+  <script src="lib/jscrypto/helios.js"></script>
+  <script src="lib/underscore-min.js"></script>
+
+  <!-- Noscript fallback -->
+  <noscript>
+    <style>
+      booth-app { display: none; }
+      .noscript-message { display: block !important; }
+    </style>
+  </noscript>
+</head>
+<body>
+  <div class="noscript-message" style="display: none; padding: 20px; text-align: center;">
+    <h1>JavaScript Required</h1>
+    <p>The Helios Voting Booth requires JavaScript to encrypt your ballot securely.</p>
+    <p>Please enable JavaScript in your browser settings and reload this page.</p>
+  </div>
+
+  <booth-app></booth-app>
+
+  <script type="module" src="./src/main.ts"></script>
+</body>
+</html>
diff --git a/heliosbooth2026/lib/jscrypto/README b/heliosbooth2026/lib/jscrypto/README
@@ -0,0 +1,5 @@
+
+JavaScript crypto.
+
+IMPORTANT: this library REQUIRES that a variable JSCRYPTO_HOME be set by an HTML file, indicating
+the complete path to the current directory
diff --git a/heliosbooth2026/lib/jscrypto/bigint.class b/heliosbooth2026/lib/jscrypto/bigint.class
diff --git a/heliosbooth2026/lib/jscrypto/bigint.dummy.js b/heliosbooth2026/lib/jscrypto/bigint.dummy.js
@@ -0,0 +1,85 @@
+/*
+ * A dummy version of bigint for Helios
+ * 
+ * no math is done in JavaScript, but the BigInt abstraction exists so that 
+ * higher-level data structures can be parsed/serialized appropriately.
+ */
+
+// A wrapper for java.math.BigInteger with some appropriate extra functions for JSON and 
+// generally being a nice JavaScript object.
+
+BigIntDummy = Class.extend({
+	init: function(value, radix) {
+	    if (radix != 10)
+		throw "in dummy, only radix=10, here radix=" + radix;
+
+	    this.value = value;
+	},
+
+	toString: function() {
+	    return this.value;
+	},
+
+	toJSONObject: function() {
+	    // toString is apparently not overridden in IE, so we reproduce it here.
+	    return this.value;
+	},
+
+	add: function(other) {
+	    throw "dummy, no add!";
+	},
+
+	bitLength: function() {
+	    throw "dummy, nobitlength!";
+	},
+
+	mod: function(modulus) {
+	    throw "dummy, no mod!";
+	},
+
+	equals: function(other) {
+	    throw "dummy, no equals!";
+	},
+
+	modPow: function(exp, modulus) {
+	    throw "dummy, no modpow!";
+	},
+
+	negate: function() {
+	    throw "dummy, no negate!";
+	},
+
+	multiply: function(other) {
+	    throw "dummy, no multiply!";
+	},
+
+	modInverse: function(modulus) {
+	    throw "dummy, no modInverse";
+	}
+
+});
+
+BigIntDummy.use_applet = false;
+
+BigIntDummy.is_dummy = true;
+BigIntDummy.in_browser = false;
+
+BigIntDummy.fromJSONObject = function(s) {
+  return new BigIntDummy(s, 10);
+};
+
+BigIntDummy.fromInt = function(i) {
+  return BigIntDummy.fromJSONObject("" + i);
+};
+
+BigIntDummy.ZERO = new BigIntDummy("0",10);
+BigIntDummy.ONE = new BigIntDummy("1",10);
+BigIntDummy.TWO = new BigIntDummy("2",10);
+BigIntDummy.FORTY_TWO = new BigIntDummy("42",10);
+
+BigIntDummy.ready_p = true;
+
+BigIntDummy.setup = function(callback, fail_callback) {
+    //console.log("using dummy bigint");
+  callback();
+}
-}
+};
-}
+};
diff --git a/heliosbooth2026/lib/jscrypto/bigint.java b/heliosbooth2026/lib/jscrypto/bigint.java
@@ -0,0 +1,25 @@
+
+/*
+ * A simple applet for generating Bigints from JavaScript
+ *
+ * inspired from Stanford's SRP, and extended for Prime Number generation.
+ */
+
+public class bigint extends java.applet.Applet {
+    public java.security.SecureRandom newSecureRandom() {
+	    return new java.security.SecureRandom();
+    }
+
+    public java.math.BigInteger newBigInteger(String value, int radix) {
+	    return new java.math.BigInteger(value, radix);
+    }
+
+    public java.math.BigInteger randomBigInteger(int bitlen, java.util.Random rng) {
+	    return new java.math.BigInteger(bitlen, rng);
+    }
+
+    public java.math.BigInteger randomPrimeBigInteger(int bitlen, int certainty, java.util.Random rng) {
+	    return new java.math.BigInteger(bitlen, certainty, rng);
+    }
+}
+
diff --git a/heliosbooth2026/lib/jscrypto/bigint.js b/heliosbooth2026/lib/jscrypto/bigint.js
@@ -0,0 +1,207 @@
+/*
+ * This software incorporates components derived from the
+ * Secure Remote Password JavaScript demo developed by
+ * Tom Wu (tjw@CS.Stanford.EDU).
+ *
+ * This library is almost entirely re-written by Ben Adida (ben@adida.net)
+ * with a BigInt wrapper.
+ *
+ * IMPORTANT: this library REQUIRES that a variable JSCRYPTO_HOME be set by an HTML file, indicating
+ * the complete path to the current directory
+ */
+
+// A wrapper for java.math.BigInteger with some appropriate extra functions for JSON and 
+// generally being a nice JavaScript object.
+
+// let's try always using SJCL
+var USE_SJCL = true;
+
+// let's make this much cleaner
+if (USE_SJCL) {
+    // why not?
+    var BigInt = BigInteger;
+    // ZERO AND ONE are already taken care of
+    BigInt.TWO = new BigInt("2",10);
+
+    BigInt.setup = function(callback, fail_callback) {
+	// nothing to do but go
+	callback();
+    }
+
+    BigInt.prototype.toJSONObject = function() {
+	return this.toString();
+    };	    
+
+} else {
+    BigInt = Class.extend({
+	    init: function(value, radix) {
+		if (value == null) {
+		    throw "null value!";
+		}
+
+		if (USE_SJCL) {
+		    this._java_bigint = new BigInteger(value, radix);
+		} else if (BigInt.use_applet) {
+		    this._java_bigint = BigInt.APPLET.newBigInteger(value, radix);
+		} else {
+		    try {
+			this._java_bigint = new java.math.BigInteger(value, radix);
+		    } catch (e) {
+			// alert("oy " + e.toString() + " value=" + value + " , radix=" + radix);
+			throw TypeError
+		    }
+		}
+	    },
+
+	    toString: function() {
+		return this._java_bigint.toString() + "";
+	    },
+
+	    toJSONObject: function() {
+		return this.toString();
+	    },
+
+	    add: function(other) {
+		return BigInt._from_java_object(this._java_bigint.add(other._java_bigint));
+	    },
+
+	    bitLength: function() {
+		return this._java_bigint.bitLength();
+	    },
+
+	    mod: function(modulus) {
+		return BigInt._from_java_object(this._java_bigint.mod(modulus._java_bigint));
+	    },
+
+	    equals: function(other) {
+		return this._java_bigint.equals(other._java_bigint);
+	    },
+
+	    modPow: function(exp, modulus) {
+		return BigInt._from_java_object(this._java_bigint.modPow(exp._java_bigint, modulus._java_bigint));
+	    },
+
+	    negate: function() {
+		return BigInt._from_java_object(this._java_bigint.negate());
+	    },
+
+	    multiply: function(other) {
+		return BigInt._from_java_object(this._java_bigint.multiply(other._java_bigint));
+	    },
+
+	    modInverse: function(modulus) {
+		return BigInt._from_java_object(this._java_bigint.modInverse(modulus._java_bigint));
+	    }
+
+	});
-// let's try always using SJCL
-var USE_SJCL = true;
-
-// let's make this much cleaner
-if (USE_SJCL) {
-    // why not?
-    var BigInt = BigInteger;
-    // ZERO AND ONE are already taken care of
-    BigInt.TWO = new BigInt("2",10);
-
-    BigInt.setup = function(callback, fail_callback) {
-	// nothing to do but go
-	callback();
-    }
-
-    BigInt.prototype.toJSONObject = function() {
-	return this.toString();
-    };	    
-
-} else {
-    BigInt = Class.extend({
-	    init: function(value, radix) {
-		if (value == null) {
-		    throw "null value!";
-		}
-		
-		if (USE_SJCL) {
-		    this._java_bigint = new BigInteger(value, radix);
-		} else if (BigInt.use_applet) {
-		    this._java_bigint = BigInt.APPLET.newBigInteger(value, radix);
-		} else {
-		    try {
-			this._java_bigint = new java.math.BigInteger(value, radix);
-		    } catch (e) {
-			// alert("oy " + e.toString() + " value=" + value + " , radix=" + radix);
-			throw TypeError
-		    }
-		}
-	    },
-	    
-	    toString: function() {
-		return this._java_bigint.toString() + "";
-	    },
-	    
-	    toJSONObject: function() {
-		return this.toString();
-	    },
-	    
-	    add: function(other) {
-		return BigInt._from_java_object(this._java_bigint.add(other._java_bigint));
-	    },
-	    
-	    bitLength: function() {
-		return this._java_bigint.bitLength();
-	    },
-	    
-	    mod: function(modulus) {
-		return BigInt._from_java_object(this._java_bigint.mod(modulus._java_bigint));
-	    },
-	    
-	    equals: function(other) {
-		return this._java_bigint.equals(other._java_bigint);
-	    },
-	    
-	    modPow: function(exp, modulus) {
-		return BigInt._from_java_object(this._java_bigint.modPow(exp._java_bigint, modulus._java_bigint));
-	    },
-	    
-	    negate: function() {
-		return BigInt._from_java_object(this._java_bigint.negate());
-	    },
-	    
-	    multiply: function(other) {
-		return BigInt._from_java_object(this._java_bigint.multiply(other._java_bigint));
-	    },
-	    
-	    modInverse: function(modulus) {
-		return BigInt._from_java_object(this._java_bigint.modInverse(modulus._java_bigint));
-	    }
-	    
-	});
+// Using SJCL-backed BigInteger implementation directly.
+// NOTE: previously this was controlled by a USE_SJCL flag that was always true.
+
+// let's make this much cleaner
+// why not?
+var BigInt = BigInteger;
+// ZERO AND ONE are already taken care of
+BigInt.TWO = new BigInt("2",10);
+
+BigInt.setup = function(callback, fail_callback) {
+	// nothing to do but go
+	callback();
+};
+
+BigInt.prototype.toJSONObject = function() {
+	return this.toString();
+};	    
-// let's try always using SJCL
-var USE_SJCL = true;
-
-// let's make this much cleaner
-if (USE_SJCL) {
-    // why not?
-    var BigInt = BigInteger;
-    // ZERO AND ONE are already taken care of
-    BigInt.TWO = new BigInt("2",10);
-
-    BigInt.setup = function(callback, fail_callback) {
-	// nothing to do but go
-	callback();
-    }
-
-    BigInt.prototype.toJSONObject = function() {
-	return this.toString();
-    };	    
-
-} else {
-    BigInt = Class.extend({
-	    init: function(value, radix) {
-		if (value == null) {
-		    throw "null value!";
-		}
-		
-		if (USE_SJCL) {
-		    this._java_bigint = new BigInteger(value, radix);
-		} else if (BigInt.use_applet) {
-		    this._java_bigint = BigInt.APPLET.newBigInteger(value, radix);
-		} else {
-		    try {
-			this._java_bigint = new java.math.BigInteger(value, radix);
-		    } catch (e) {
-			// alert("oy " + e.toString() + " value=" + value + " , radix=" + radix);
-			throw TypeError
-		    }
-		}
-	    },
-	    
-	    toString: function() {
-		return this._java_bigint.toString() + "";
-	    },
-	    
-	    toJSONObject: function() {
-		return this.toString();
-	    },
-	    
-	    add: function(other) {
-		return BigInt._from_java_object(this._java_bigint.add(other._java_bigint));
-	    },
-	    
-	    bitLength: function() {
-		return this._java_bigint.bitLength();
-	    },
-	    
-	    mod: function(modulus) {
-		return BigInt._from_java_object(this._java_bigint.mod(modulus._java_bigint));
-	    },
-	    
-	    equals: function(other) {
-		return this._java_bigint.equals(other._java_bigint);
-	    },
-	    
-	    modPow: function(exp, modulus) {
-		return BigInt._from_java_object(this._java_bigint.modPow(exp._java_bigint, modulus._java_bigint));
-	    },
-	    
-	    negate: function() {
-		return BigInt._from_java_object(this._java_bigint.negate());
-	    },
-	    
-	    multiply: function(other) {
-		return BigInt._from_java_object(this._java_bigint.multiply(other._java_bigint));
-	    },
-	    
-	    modInverse: function(modulus) {
-		return BigInt._from_java_object(this._java_bigint.modInverse(modulus._java_bigint));
-	    }
-	    
-	});
+// Using SJCL-backed BigInteger implementation directly.
+// NOTE: previously this was controlled by a USE_SJCL flag that was always true.
+
+// let's make this much cleaner
+// why not?
+var BigInt = BigInteger;
+// ZERO AND ONE are already taken care of
+BigInt.TWO = new BigInt("2",10);
+
+BigInt.setup = function(callback, fail_callback) {
+	// nothing to do but go
+	callback();
+};
+
+BigInt.prototype.toJSONObject = function() {
+	return this.toString();
+};	    
+
+    BigInt.ready_p = false;
+
+    //
+    // Some Class Methods
+    //
+    BigInt._from_java_object = function(jo) {
+	// bogus object
+	var obj = new BigInt("0",10);
+	obj._java_bigint = jo;
+	return obj;
+    };
+
+    //
+    // do the applet check
+    //
+    function check_applet() {
+	/* Is this Netscape 4.xx? */
+	var is_ns4 = (navigator.appName == "Netscape" && navigator.appVersion < "5");
+
+	/* Do we need the toString() workaround (requires applet)? */
+	var str_workaround = (navigator.appName == "Opera");
+
+	// stuff this in BigInt
+	BigInt.is_ie = (navigator.appName == "Microsoft Internet Explorer");
+
+	/* Decide whether we need the helper applet or not */
+	var use_applet = BigInt.is_ie || (!is_ns4 && navigator.platform.substr(0, 5) == "Linux") || str_workaround || typeof(java) == 'undefined';
+
-    function check_applet() {
-	/* Is this Netscape 4.xx? */
-	var is_ns4 = (navigator.appName == "Netscape" && navigator.appVersion < "5");
-	
-	/* Do we need the toString() workaround (requires applet)? */
-	var str_workaround = (navigator.appName == "Opera");
-	
-	// stuff this in BigInt
-	BigInt.is_ie = (navigator.appName == "Microsoft Internet Explorer");
-	
-	/* Decide whether we need the helper applet or not */
-	var use_applet = BigInt.is_ie || (!is_ns4 && navigator.platform.substr(0, 5) == "Linux") || str_workaround || typeof(java) == 'undefined';
-	
-    function check_applet() {
-	/* Is this Netscape 4.xx? */
-	var is_ns4 = (navigator.appName == "Netscape" && navigator.appVersion < "5");
-	
-	/* Do we need the toString() workaround (requires applet)? */
-	var str_workaround = (navigator.appName == "Opera");
-	
-	// stuff this in BigInt
-	BigInt.is_ie = (navigator.appName == "Microsoft Internet Explorer");
-	
-	/* Decide whether we need the helper applet or not */
-	var use_applet = BigInt.is_ie || (!is_ns4 && navigator.platform.substr(0, 5) == "Linux") || str_workaround || typeof(java) == 'undefined';
-	
+	// add the applet
+	if (use_applet) {
+	    var applet_base = JSCRYPTO_HOME;
+
+	    var applet_html = '<applet codebase="' + applet_base + '" mayscript name="bigint" code="bigint.class" width=1 height=1 id="bigint_applet"></applet>';
+	    // var applet_html = '<object classid="clsid:8AD9C840-044E-11D1-B3E9-00805F499D93" name="bigint" width="1" height="1" codebase="http://java.sun.com/products/plugin/autodl/jinstall-1_5_0-windows-i586.cab#Version=1,5,0,0"> <param name="code" value="bigint.class"> <param name="codebase" value="' + applet_base + '"> <param name="archive" value="myapplet.jar"> <param name="type" value="application/x-java-applet;version=1.5.0"> <param name="scriptable" value="true"> <param name="mayscript" value="false"> <comment> <embed code="bigint.class" name="bigint" java_codebase="' + applet_base + '" width="1" height="1" scriptable="true" mayscript="false" type="application/x-java-applet;version=1.5.0" pluginspage="http://java.sun.com/j2se/1.5.0/download.html"> <noembed>No Java Support.</noembed> </embed> </comment> </object>';
+	    $("#applet_div").html(applet_html);
+	}
+
+	return use_applet;
+    };
+
+    // Set up the pointer to the applet if necessary, and some
+    // basic Big Ints that everyone needs (0, 1, 2, and 42)
+    BigInt._setup = function() {
+	if (BigInt.use_applet) {
+	    BigInt.APPLET = document.applets["bigint"];
+	}
+
+	try {
+	    BigInt.ZERO = new BigInt("0",10);
+	    BigInt.ONE = new BigInt("1",10);
+	    BigInt.TWO = new BigInt("2",10);
+	    BigInt.FORTY_TWO = new BigInt("42",10);
+
+	    BigInt.ready_p = true;
+	} catch (e) {
+	    // not ready
+	    // count how many times we've tried
+	    if (this.num_invocations == null)
+		this.num_invocations = 0;
+
+	    this.num_invocations += 1;
+
+	    if (this.num_invocations > 5) {
+		// try SJCL
+		if (!USE_SJCL) {
+		    USE_SJCL = true;
+		    this.num_invocations = 1;
+		    BigInt.use_applet = false;
+		} else {
+
+		    if (BigInt.setup_interval)
+			window.clearInterval(BigInt.setup_interval);
+
+		    if (BigInt.setup_fail) {
+			BigInt.setup_fail();
+		    } else {
+			alert('bigint failed!');
+		    }
+		}
+	    }
+	    return;
+	}
+
+	if (BigInt.setup_interval)
+	    window.clearInterval(BigInt.setup_interval);
+
+	if (BigInt.setup_callback)
+	    BigInt.setup_callback();
+    };
+
+    BigInt.setup = function(callback, fail_callback) {
+	if (callback)
+	    BigInt.setup_callback = callback;
+
+	if (fail_callback)
+	    BigInt.setup_fail = fail_callback;
+
+	BigInt.setup_interval = window.setInterval("BigInt._setup()", 1000);
-	BigInt.setup_interval = window.setInterval("BigInt._setup()", 1000);
+	BigInt.setup_interval = window.setInterval(function() { BigInt._setup(); }, 1000);
-	BigInt.setup_interval = window.setInterval("BigInt._setup()", 1000);
+	BigInt.setup_interval = window.setInterval(function() { BigInt._setup(); }, 1000);
+    }
+}
+
+BigInt.fromJSONObject = function(s) {
+    return new BigInt(s, 10);
+};
+
+BigInt.fromInt = function(i) {
+    return BigInt.fromJSONObject("" + i);
+};
+
+BigInt.use_applet = false;