added verified_normal_signature data to data_gen and tezos_test_data

deku-p/src/core/crypto/tests/data_for_tests/data_gen.ml

@@ -113,6 +113,14 @@ struct
       List.map
         (fun sk -> List.map (fun hash -> (sign sk hash, hash)) byte_data)
         secret_keys
+
+    let verified_normal =
+      let check_sig pk signatures =
+        List.map (fun (signature, hash) -> check pk signature hash) signatures
+      in
+      List.map2
+        (fun key signatures -> check_sig key signatures)
+        public_keys signatures
   end
 
   module Print_secret_key = struct
@@ -195,5 +203,15 @@ struct
       in
       let out = String.concat "" (List.flatten out) in
       Format.printf "\"%s\"\n%!" out
+
+    let print_verified_normal_signatures () =
+      Format.printf "let verified_normal_signatures = [\n%!";
+      List.iter
+        (fun sig_list ->
+          Format.printf "[\n%!";
+          List.iter (Format.printf "%b;\n%!") sig_list;
+          Format.printf "];\n%!")
+        Sig.verified_normal;
+      Format.printf "]\n%!"
   end
 end

deku-p/src/core/crypto/tests/tezos_test_data.ml

@@ -8,6 +8,7 @@ module type Tezos_data = sig
   val equality_key_hashes : bool
   val to_sign : string
   val signatures : string
+  val verified_normal_signatures : bool list list
 end
 
 module Ed25519_data : Tezos_data = struct
@@ -58,4 +59,13 @@ module Ed25519_data : Tezos_data = struct
 
   let signatures =
     "98861551781511471792211708425961981552825099239559816678128121481549710490782281396175642011981452095979796143672204018613812419516587141207437982067622143241821777712926157148839411012214524023752682431251373832181751062278641301801840131171138627219015815541422462269520789181581692912918819842202141251416919624199311382203115623398961577916468219938020216517710816417219213917825395160163168442472391899014188149142101931016912863190116122209250192137917189169612181441409313332168681467840361031862041012312342967238181591582018816366209102232105694642322161171071102452019111691236912777217155991952538716621119896101174136220185196831261118190194214219818013081233222801413320111118411617224175182697921413520019617124319212224281575910110314298902061291292362082351062261611109622029451142202472498122112815951427590883010013115725211423817976255811022091765012919610016891122042513815525158910032319416918956610710103335639118438821793233701104114424823420815102814914856233601515820874581184105552151521192442219614412412135190397439179140982422115421630239220901132079916410160207904019181432431432382516220814834927121682817315014241223719785128588810343112160381372122222217019948531652061531920659172108146394816158120411922523311218877793214622214023524716223723112224191832282332211244118871531528858245103240195228146493712116349187211100391251601822206185215109147197111203176392446211820746119211802061465523418018651124952022181038512225321247108683982099117189167222331842521313212095144117181661332451758462121252132181263415321022381209015196154491568518813348222016710840741682502172392115321317418380721936201168931919156160185206220153176122199932151291024412281037440151245337313318818069925113915212951160158179173231782272326790123141142104245197114166171120382228425271175249462715813211723752183126190142146148571363218771211183188851815317816208107238171134131205632124120215291191461323616415467232521412512664139131522291061702116140811121701752267764410311641882301382081069964522973023564211195207148967151174216244402241622225113721163122271031791912249975680128247139414214813200116314086128132243394126113323524148171201224162128232332511320636117182188942526391240641701225520319627915193176140147135183236150161151622621120479501045824991243121112946157136240171251241168145253012022791072231963121311011202328321013924589210214832191922532201342152042409513816020010439199118120322814020311520312209229155214211794556622611023619623237163202165210167195112025420270145177601410455152100204982202025018985195451024720916413551227233221127212227138415130471601087018580897313485391081191031691771406248755413517719868942512392481441632319412010666151141106451551101241942249971174175182242212251649245136305224924457148320716512414112166188161625221892212149915414522168887921780331515391801911521911219858574111245149107861746591742541419422224244415216424499021716758962293975100786914493323713631223314613522411262076116815941832122214523671204679722817759687394018212521319013722691103941731769311419167622009140772462381421262497391841267322822213015123221144491022122919410019716923989120217911214812514487145118581942072421741323451146174246128761246114875891581642161011071413434130728825176524890227649772130344184170194259195135722231511571081016523217016011415614536142205291252112179419117592179238794439321199174213118183162551131822824150195314621814857633512423317412914513115371842462239815519422361345011710119782411842221652094461591537924719694207124142130507620524385361427881651845818213710558631931712152532231296712921222758411514035951359566184188250177419055154819854184104155771115021132232201747521918496156141132146251236230233118549924212223787296128194682361891118415716952772338060528315411214215471082222729123871735036826813621811319581522823924522014218815718322611124147618451202231202222241125131214241501291192181951141832152991781842408712243185100325054462385319220321216818217463862437910446240293773146245792081272161462501741981051672254994951322815425492042089206198118145125421051115144933717911"
+
+  let verified_normal_signatures =
+    [
+      [ true; true; true; true; true ];
+      [ true; true; true; true; true ];
+      [ true; true; true; true; true ];
+      [ true; true; true; true; true ];
+      [ true; true; true; true; true ];
+    ]
 end