contrib: updated lang files

contrib/zk.lang

@@ -24,7 +24,7 @@
   <definitions>
     <context id="keywords" style-ref="keyword">
       <keyword>constant</keyword>
-      <keyword>contract</keyword>
+      <keyword>witness</keyword>
       <keyword>circuit</keyword>
     </context>
     

contrib/zk.lua

@@ -20,7 +20,7 @@ local number = token(l.NUMBER, l.integer)
 
 -- Keywords.
 local keyword = token(l.KEYWORD, word_match{
-  'constant', 'contract', 'circuit',
+  'constant', 'witness', 'circuit',
 })
 
 -- Constants.

contrib/zk.vim

@@ -9,7 +9,7 @@ endif
 
 syn keyword zkasKeyword 
     \ constant
-    \ contract
+    \ witness
     \ circuit
 
 syn keyword zkasType