diff --git a/tooling/web/index.html b/tooling/web/index.html
index 13ebd49f..3d685a5a 100644
--- a/tooling/web/index.html
+++ b/tooling/web/index.html
@@ -13,7 +13,8 @@
   <script language="javascript">
     window.onload = function() {
       console.log("onload!");
-      let fname = "fibonacci_witness.json";
+      // let fname = "json/fibonacci_witness.json";
+      let fname = "json/lookup_witness.json";
       load_witness(fname);
     }
   </script>  
@@ -64,6 +65,7 @@
         <tr><td>column  </td><td id="cell-column"></td></tr>
         <tr><td>value   </td><td id="cell-value" ></td></tr>
         <tr><td>gate    </td><td id="cell-gate"  ></td></tr>
+        <tr><td>equation</td><td id="cell-equ"   ></td></tr>
       </table>
     </div>  
 
diff --git a/tooling/web/json/.gitignore b/tooling/web/json/.gitignore
new file mode 100644
index 00000000..74515054
--- /dev/null
+++ b/tooling/web/json/.gitignore
@@ -0,0 +1,3 @@
+*.json
+!fibonacci_witness.json
+!lookup_witness.json
diff --git a/tooling/web/fibonacci_witness.json b/tooling/web/json/fibonacci_witness.json
similarity index 100%
rename from tooling/web/fibonacci_witness.json
rename to tooling/web/json/fibonacci_witness.json
diff --git a/tooling/web/json/lookup_witness.json b/tooling/web/json/lookup_witness.json
new file mode 100644
index 00000000..a62b69d1
--- /dev/null
+++ b/tooling/web/json/lookup_witness.json
@@ -0,0 +1 @@
+{"gates":["LookupGate:40","LookupTableGate:26","NoopGate","ConstantGate:2","PublicInputGate","ArithmeticGate:20","PoseidonGate:12"],"selector_vector":[5,5,6,4,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,3,3,3,3,3,2],"matrix":[[1,989,210,4601819047774343738,199,3539,3329,3109,2879,2689,2467,2281,2081,1873,1663,1483,1289,1093,919,739,571,401,241,103,2,0,0,2,4,6,8,0],[210,1,199,9284424728117671267,45,494,468,442,416,390,364,338,312,286,260,234,208,182,156,130,104,78,52,26,0,0,1,3,5,7,9,0],[199,262,1854,7409375103472159365,409,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,30,0,0,0,0,0,0,0],[409,1251,11440,6569778897557037641,79,3541,3331,3119,2887,2693,2473,2287,2083,1877,1667,1487,1291,1097,929,743,577,409,251,107,3,0,0,0,0,0,0,0],[199,8,0,0,619,495,469,443,417,391,365,339,313,287,261,235,209,183,157,131,105,79,53,27,1,0,0,0,0,0,0,0],[1,210,0,0,113,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],[409,199,0,0,829,3547,3343,3121,2897,2699,2477,2293,2087,1879,1669,1489,1297,1103,937,751,587,419,257,109,5,0,0,0,0,0,0,0],[608,1879,0,0,144,496,470,444,418,392,366,340,314,288,262,236,210,184,158,132,106,80,54,28,2,0,0,0,0,0,0,0],[45,7472,0,0,1039,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,1,0,0,174,3557,3347,3137,2903,2707,2503,2297,2089,1889,1693,1493,1301,1109,941,757,593,421,263,113,7,0,0,0,0,0,0,0],[79,1879,0,0,1249,497,471,445,419,393,367,341,315,289,263,237,211,185,159,133,107,81,55,29,3,0,0,0,0,0,0,0],[124,9351,0,0,203,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,1251,4601819047774343738,0,1459,3559,3359,3163,2909,2711,2521,2309,2099,1901,1697,1499,1303,1117,947,761,599,431,269,127,11,0,0,0,0,0,0,0],[210,1,9284424728117671267,0,231,498,472,446,420,394,368,342,316,290,264,238,212,186,160,134,108,82,56,30,4,0,0,0,0,0,0,0],[199,288,7409375103472159365,0,1669,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[619,1539,6569778897557037641,0,262,3571,3361,3167,2917,2713,2531,2311,2111,1907,1699,1511,1307,1123,953,769,601,433,271,131,13,0,0,0,0,0,0,0],[608,9,15085040408331506455,0,1879,499,473,447,421,395,369,343,317,291,265,239,213,187,161,135,109,83,57,31,5,0,0,0,0,0,0,0],[1,210,488314491132798586,0,288,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[619,199,12393673842135220116,0,2089,3581,3371,3169,2927,2719,2539,2333,2113,1913,1709,1523,1319,1129,967,773,607,439,277,137,17,0,0,0,0,0,0,0],[1227,2089,8452007975177855864,0,315,500,474,448,422,396,370,344,318,292,266,240,214,188,162,136,110,84,58,32,6,0,0,0,0,0,0,0],[124,9351,5843066238768001775,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,1,5115094596305881316,0,0,3583,3373,3181,2939,2729,2543,2339,2129,1931,1721,1531,1321,1151,971,787,613,443,281,139,19,0,0,0,0,0,0,0],[113,2089,17259066695168245272,0,2,501,475,449,423,397,371,345,319,293,267,241,215,189,163,137,111,85,59,33,7,0,0,0,0,0,0,0],[237,11440,2129319673084535805,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[3,1539,0,0,2,3593,3389,3187,2953,2731,2549,2341,2131,1933,1723,1543,1327,1153,977,797,617,449,283,149,23,0,0,0,0,0,0,0],[210,1,0,0,0,502,476,450,424,398,372,346,320,294,268,242,216,190,164,138,112,86,60,34,8,0,0,0,0,0,0,0],[199,315,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[829,1854,0,0,0,3607,3391,3191,2957,2741,2551,2347,2137,1949,1733,1549,1361,1163,983,809,619,457,293,151,29,0,0,0,0,0,0,0],[1227,0,0,0,2,503,477,451,425,399,373,347,321,295,269,243,217,191,165,139,113,87,61,35,9,0,0,0,0,0,0,0],[1,0,7017893171499839300,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[829,0,4882788163121742263,0,2,3613,3407,3203,2963,2749,2557,2351,2141,1951,1741,1553,1367,1171,991,811,631,461,307,157,31,0,0,0,0,0,0,0],[2056,0,3175581835715052780,0,0,504,478,452,426,400,374,348,322,296,270,244,218,192,166,140,114,88,62,36,10,0,0,0,0,0,0,0],[237,0,764950602060971381,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,3745727777326304997,0,0,3617,3413,3209,2969,2753,2579,2357,2143,1973,1747,1559,1373,1181,997,821,641,463,311,163,37,0,0,0,0,0,0,0],[144,0,8759306495516641917,0,2,505,479,453,427,401,375,349,323,297,271,245,219,193,167,141,115,89,63,37,11,0,0,0,0,0,0,0],[381,0,16556060616425992997,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[4,0,5965521344186175914,0,2,3623,3433,3217,2971,2767,2591,2371,2153,1979,1753,1567,1381,1187,1009,823,643,467,313,167,41,0,0,0,0,0,0,0],[210,0,18130771000277997640,0,0,506,480,454,428,402,376,350,324,298,272,246,220,194,168,142,116,90,64,38,12,0,0,0,0,0,0,0],[199,0,5255537183810498403,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1039,0,18069823966254917028,0,0,3631,3449,3221,2999,2777,2593,2377,2161,1987,1759,1571,1399,1193,1013,827,647,479,317,173,43,0,0,0,0,0,0,0],[2056,0,11320540435391092122,0,2,507,481,455,429,403,377,351,325,299,273,247,221,195,169,143,117,91,65,39,13,0,0,0,0,0,0,0],[1,0,435027022659657235,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1039,0,1286587503402635788,0,2,3637,3457,3229,3001,2789,2609,2381,2179,1993,1777,1579,1409,1201,1019,829,653,487,331,179,47,0,0,0,0,0,0,0],[3095,0,15524264847597308788,0,0,508,482,456,430,404,378,352,326,300,274,248,222,196,170,144,118,92,66,40,14,0,0,0,0,0,0,0],[381,0,8935636671393912016,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,11222836627109380690,0,0,3643,3461,3251,3011,2791,2617,2383,2203,1997,1783,1583,1423,1213,1021,839,659,491,337,181,53,0,0,0,0,0,0,0],[174,0,14519955749421469180,0,2,509,483,457,431,405,379,353,327,301,275,249,223,197,171,145,119,93,67,41,15,0,0,0,0,0,0,0],[555,0,14486591658137165540,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[5,0,15404145468212953973,0,2,3659,3463,3253,3019,2797,2621,2389,2207,1999,1787,1597,1427,1217,1031,853,661,499,347,191,59,0,0,0,0,0,0,0],[210,0,5542184845608815708,0,0,510,484,458,432,406,380,354,328,302,276,250,224,198,172,146,120,94,68,42,16,0,0,0,0,0,0,0],[199,0,14238556892135957953,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1249,0,14146330539371392548,0,0,3671,3467,3257,3023,2801,2633,2393,2213,2003,1789,1601,1429,1223,1033,857,673,503,349,193,61,0,0,0,0,0,0,0],[3095,0,16009769555010349759,0,2,511,485,459,433,407,381,355,329,303,277,251,225,199,173,147,121,95,69,43,17,0,0,0,0,0,0,0],[1,0,4898049631496635620,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1249,0,13188841533758355881,0,2,0,3469,3259,3037,2803,2647,2399,2221,2011,1801,1607,1433,1229,1039,859,677,509,353,197,67,0,0,0,0,0,0,0],[4344,0,3689658952003638619,0,0,0,486,460,434,408,382,356,330,304,278,252,226,200,174,148,122,96,70,44,18,0,0,0,0,0,0,0],[555,0,18025930886644788188,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,13751387306704431240,0,0,0,3491,3271,3041,2819,2657,2411,2237,2017,1811,1609,1439,1231,1049,863,683,521,359,199,71,0,0,0,0,0,0,0],[203,0,1473141697614140899,0,2,0,487,461,435,409,383,357,331,305,279,253,227,201,175,149,123,97,71,45,19,0,0,0,0,0,0,0],[758,0,12621333237011582102,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[6,0,13485019156490265994,0,2,0,3499,3299,3049,2833,2659,2417,2239,2027,1823,1613,1447,1237,1051,877,691,523,367,211,73,0,0,0,0,0,0,0],[210,0,1156517423643744853,0,0,0,488,462,436,410,384,358,332,306,280,254,228,202,176,150,124,98,72,46,20,0,0,0,0,0,0,0],[199,0,181851254440633455,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1459,0,17312089958954280922,0,0,0,3511,3301,3061,2837,2663,2423,2243,2029,1831,1619,1451,1249,1061,881,701,541,373,223,79,0,0,0,0,0,0,0],[4344,0,1517008161052047105,0,2,0,489,463,437,411,385,359,333,307,281,255,229,203,177,151,125,99,73,47,21,0,0,0,0,0,0,0],[1,0,9672468242681175863,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1459,0,1343878938500108116,0,2,0,3517,3307,3067,2843,2671,2437,2251,2039,1847,1621,1453,1259,1063,883,709,547,379,227,83,0,0,0,0,0,0,0],[5803,0,8584477622754537188,0,0,0,490,464,438,412,386,360,334,308,282,256,230,204,178,152,126,100,74,48,22,0,0,0,0,0,0,0],[758,0,12228682831808118324,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,17668648671831554585,0,0,0,3527,3313,3079,2851,2677,2441,2267,2053,1861,1627,1459,1277,1069,887,719,557,383,229,89,0,0,0,0,0,0,0],[231,0,14700003892182351336,0,2,0,491,465,439,413,387,361,335,309,283,257,231,205,179,153,127,101,75,49,23,0,0,0,0,0,0,0],[989,0,617966705453220923,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[7,0,937133531836548517,0,2,0,3529,3319,3083,2857,2683,2447,2269,2063,1867,1637,1471,1279,1087,907,727,563,389,233,97,0,0,0,0,0,0,0],[210,0,6742510167904083341,0,0,0,492,466,440,414,388,362,336,310,284,258,232,206,180,154,128,102,76,50,24,0,0,0,0,0,0,0],[199,0,17134635740230111340,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1669,0,9108680822373369787,0,0,0,3533,3323,3089,2861,2687,2459,2273,2069,1871,1657,1481,1283,1091,911,733,569,397,239,101,0,0,0,0,0,0,0],[5803,0,16550909764637899911,0,2,0,493,467,441,415,389,363,337,311,285,259,233,207,181,155,129,103,77,51,25,0,0,0,0,0,0,0],[1,0,7436712001148158693,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1669,0,256205314842203320,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[7472,0,7976893166980171693,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,3294414182795338912,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,10629380326888464431,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,10965386824795285604,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,16580269766603961508,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,7081170191930415462,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,381307495885208396,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,11932338890327294610,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,7943922424945436927,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,1356209259737028615,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9686499502336256849,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14185401620502514371,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14525350591386907402,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,16174966815064726157,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4597294708103049064,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8140299135400446575,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,13794753086841857347,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,2241041278393919561,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8289219537838690270,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,823597923857216372,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8103900730341474847,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,3901225314336218149,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,11961022605790926417,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,6016822306250094533,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9139298751831861554,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,213400138394106660,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,6259406545409643520,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14260021141567171556,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4374816455822456400,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,13966210279958166634,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,1725313968750515219,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8903494261937866510,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,10831885624052065615,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9683929612847379814,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14065908482739460769,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,5569978174269184675,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8045969578281302085,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9447216028941965124,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,11883785987246910104,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4401962237608612124,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,1509999318285604330,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,5980292828683614171,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,17295352549468725573,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,5123326422423265999,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,15728015560999139260,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4724187432461175180,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14893952206814687238,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,316456214706582908,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,15342274545351413482,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,13919793037093762578,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9645801232492508797,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,3563678755708640732,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,10094996241642241518,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,5393738275170507032,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,17493883008068174620,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,15756498557682406521,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]]}
\ No newline at end of file
diff --git a/tooling/web/witness_view.js b/tooling/web/witness_view.js
index 5697264c..689ebfcf 100644
--- a/tooling/web/witness_view.js
+++ b/tooling/web/witness_view.js
@@ -39,6 +39,26 @@ const the_gate_colors =
   , "#c060c0"     // ReducingExtensionGate       -> medium purple
   ];
 
+const the_gate_equations = 
+  [ "???"                  // UnknownGate   
+  , "w = c0*x*y + c1*z"    // ArithmeticGate
+  , "w = c0*x*y + c1*z"    // ArithmeticExtensionGate 
+  , "y = sum_i 2^i*b_i"    // BaseSumGate    
+  , "x=c0, y=c1"           // ConstantGate                
+  , "..."                  // CosetInterpolationGate      
+  , "y = x^k"              // ExponentiationGate          
+  , "(x,y) in T"           // LookupGate                  
+  , "N/A"                  // LookupTableGate             
+  , "z = c0*x*y"           // MultiplicationExtensionGate 
+  , "true"                 // NoopGate                    
+  , "..."                  // PoseidonGate                
+  , "..."                  // PoseidonMdsGate             
+  , "x[0..3] = hash(PI)"   // PublicInputGate             
+  , "y = x[i]"             // RandomAccessGate            
+  , "y = sum_ a^i*c_i"     // ReducingGate         
+  , "y = sum_ a^i*c_i"     // ReducingExtensionGate
+  ];
+
 function findGateIndex(gate) {
   let k = the_supported_gates.indexOf(gate);
   return ((k<0) ? 0 : k);
@@ -68,20 +88,29 @@ function test_fill_gates() {
 var gates;
 var matrix;
 var selectors;
+
 var ngates;
 var nrows;
 var ncolumns;
 var ncells;
 
+var gates_base   = []; 
+var gate_colors  = [];
+var gate_indices = [];       // index into our tables from the selector index
+
+
 function cell_hover(row,column) {
   let el_row  = document.getElementById("cell-row"   );
   let el_col  = document.getElementById("cell-column");
   let el_val  = document.getElementById("cell-value" );
   let el_gate = document.getElementById("cell-gate"  );
+  let el_equ  = document.getElementById("cell-equ"   );
+  let sel = selectors[row];
   el_row.innerHTML  = row.toString();
   el_col.innerHTML  = column.toString();
   el_val.innerHTML  = matrix[column][row].toString();
-  el_gate.innerHTML = gates[selectors[row]];
+  el_gate.innerHTML = gates[sel];
+  el_equ.innerHTML  = the_gate_equations[gate_indices[sel]];
 }
 
 function initialize_from_witness(fname,json) {
@@ -104,8 +133,6 @@ function initialize_from_witness(fname,json) {
   el_num_rows.innerHTML = nrows.toString();
   el_num_cols.innerHTML = ncolumns.toString();
 
-  let gates_base   = [];
-  let gate_colors  = [];
 
   for(let i=0; i<gates.length; i++) {
     let full = gates[i];
@@ -113,6 +140,7 @@ function initialize_from_witness(fname,json) {
     gates_base[i] = base;
 
     k = findGateIndex(base);
+    gate_indices[i] = k;
     gate_colors[i]  = the_gate_colors[k];
 
   }