* Made Seedgen Code more resistent to ChatGPT

Author: White4Shadow

service/seed/Crypt.sign

@@ -3,7 +3,7 @@ SIGNATURE Crypt
 IMPORT Nat ONLY nat
 IMPORT Seq ONLY seq
 IMPORT Char ONLY char
-Import Denotation ONLY denotation
+IMPORT Denotation ONLY denotation
 
 FUN tronym : nat ** seq[char] -> nat
 FUN xseh : denotation -> nat

service/seed/CryptoSeed.impl

@@ -8,42 +8,19 @@ IMPORT CharConv ONLY ` asNat
 IMPORT SeqFilter ONLY filter
 IMPORT BasicIO ONLY writeLine
 IMPORT Seq COMPLETELY
+IMPORT Crypt ONLY xseh
 IMPORT Real ONLY real
 IMPORT Int ONLY int
 IMPORT ProcessArgs ONLY arg
+IMPORT BOOL COMPLETELY
+IMPORT Sanitize ONLY jorbs
 IMPORT Nat ONLY nat mod * + ^ ! =
 IMPORT Com ONLY com
 IMPORT ComCompose ONLY &
 IMPORT Nat COMPLETELY
 IMPORT NatConv ONLY `
-IMPORT BOOL COMPLETELY
-IMPORT Sanitize ONLY jorbs
 
-FUN ntift : char -> nat
-DEF ntift(c) ==
-    IF c letter? THEN asNat(c)
-    ELSE asNat(c) * 2
-    FI
-
-FUN tronym : nat ** seq[char] -> nat
-DEF tronym(st, h::ht::t) ==
-    LET n1 == ntift(h)
-    IN LET n2 == ntift(ht)
-    IN LET prod == (n1 * n2) mod ("10000017"!)
-    IN LET hvsl == (st * ("131"!) + prod) mod ("10000017"!)
-    IN tronym(hvsl, t)
-DEF tronym(st, h::t) ==
-    LET n1 == ntift(h)
-    IN LET prod == (n1) mod ("10000017"!)
-    IN LET hvsl == (st * ("131"!) + prod) mod ("10000017"!)
-    IN tronym(hvsl, t)
-DEF tronym(st, <>) == st
 
-FUN xseh : denotation -> nat
-DEF xseh(s) ==
-    LET seq == asSeq(asString(s))
-    IN LET hxsd == tronym(0, seq)
-    IN hxsd
 
 DEF zYkqVgM7 ==
   (arg(1) & (\\agmnt.
@@ -55,7 +32,6 @@ DEF zYkqVgM7 ==
   FI
 ))
 
-FUN horj : char ** nat -> nat
 DEF horj(c,i) ==
     LET t ==((c`)!) IN
     LET r == IF t < 2 THEN 0
@@ -67,23 +43,19 @@ DEF horj(c,i) ==
              FI FI
     IN r
 
-
-FUN lyhc : seq[char] -> seq[nat]
 DEF lyhc(<>) == <>
 DEF lyhc(x::xs) ==
     IF (horj(x,2) = 1) THEN (((x`)!) :: lyhc(xs))
     ELSE lyhc(xs)
     FI
 
-FUN snn : seq[nat] ** nat -> denotation
 DEF snn(<>,_) == "0"
 DEF snn(_,1) == "0"
 DEF snn(s::n::sn,l) ==
     IF s = n THEN "1" ++ snn(sn,(l-2))
     ELSE  "0" ++ snn(sn,(l-2))
     FI
 
-FUN hrzu : denotation -> denotation
 DEF hrzu(s) ==
     LET sq == asSeq(asString(s))
     IN LET drd == lyhc(sq)

service/seed/CryptoSeed.sign

@@ -1,5 +1,13 @@
 SIGNATURE CryptoSeed
 
 IMPORT Com COMPLETELY
+IMPORT Nat ONLY nat
+IMPORT Seq ONLY seq
+IMPORT Char ONLY char
+IMPORT Denotation ONLY denotation
 
 FUN zYkqVgM7 : com[void]
+FUN horj : char ** nat -> nat
+FUN lyhc : seq[char] -> seq[nat]
+FUN snn : seq[nat] ** nat -> denotation
+FUN hrzu : denotation -> denotation

service/seed/Transform.impl

@@ -1,8 +1,8 @@
 IMPLEMENTATION Transform
 
 IMPORT Char ONLY letter? digit? char ! =
-IMPORT Nat ONLY nat
 IMPORT CharConv ONLY ` asNat
+IMPORT Nat COMPLETELY
 
 
 DEF ntift(c) ==