From 092475d58e14ff6894dba3c51eaaf4dd644db349 Mon Sep 17 00:00:00 2001
From: jude <judesouthworth@pm.me>
Date: Thu, 27 Apr 2023 16:04:13 +0100
Subject: [PATCH] ...

---
 static/js/modules/interface/proofs.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/static/js/modules/interface/proofs.js b/static/js/modules/interface/proofs.js
index 2e59d2a..0640e29 100644
--- a/static/js/modules/interface/proofs.js
+++ b/static/js/modules/interface/proofs.js
@@ -578,12 +578,16 @@ export function proveFortify(fortify) {
         }
     }
 
-    // TODO range proof for regions
+    let rangeProofs = {};
+    for (let r of regionNames) {
+        rangeProofs[r] = proveBitLength(Region.getRegion(r).strength.cipherText);
+    }
 
     return {
         fortify: fortify,
         proofs: proofs,
         verifications: verifications,
+        rangeProofs: rangeProofs,
     };
 }