Add --help flag and use larger sets for benchmarks

cardano-scaling · May 13, 2024 · 2efa707 · 2efa707
1 parent 9856a25
commit 2efa707
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 4 deletions.
diff --git a/alba-bench.html b/alba-bench.html
diff --git a/app/Main.hs b/app/Main.hs
@@ -78,6 +78,8 @@ parseCommand = \case
     Prove <$> parseOptions rest
   ("verify" : rest) ->
     Verify <$> parseOptions rest
+  ("--help" : _) ->
+    usage >> exitWith ExitSuccess
   other ->
     exitWith (ExitFailure 1)
 

diff --git a/bench/ALBABench.hs b/bench/ALBABench.hs
@@ -11,14 +11,14 @@ main :: IO ()
 main = do
   benches <-
     forM
-      [ (s_p, len) | s_p <- [100, 200, 300], len <- [64, 128, 256]
+      [ (s_p, len) | s_p <- [500, 1000 .. 10000], let len = 256
       ]
       genItems
   defaultMain
     [ bgroup "Hashing" [benchHash testBytes]
     , bgroup
         "Proof Generation"
-        $ [benchProof (b, λ) | b <- benches, λ <- [10, 64, 128]]
+        $ [benchProof (b, λ) | b <- benches, let λ = 128]
     ]
 
 benchHash :: ByteString -> Benchmark
@@ -31,7 +31,7 @@ benchProof :: ([ByteString], Integer) -> Benchmark
 benchProof (bytes, λ) =
   let coeff = fromIntegral $ length bytes
       params = Params λ λ (coeff * 8 `div` 10) (coeff * 2 `div` 10)
-      label = "Proving " <> show coeff <> "/" <> show (BS.length $ head bytes) <> " (Params: " <> show params <> ")"
+      label = show coeff <> "/" <> show (BS.length $ head bytes)
    in bench label $
         whnf
           (uncurry prove)