Test 1MB data

Author: samuelburnham

.github/workflows/blake3.yml

@@ -9,9 +9,9 @@ on:
 permissions:
   contents: read
 
-concurrency:
-  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
-  cancel-in-progress: true
+# concurrency:
+#   group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+#   cancel-in-progress: true
 
 jobs:
   lean-jobs:

Benchmarks/Blake3.lean

@@ -4,8 +4,8 @@ import Ix.Aiur.Compile
 import Ix.Aiur.Protocol
 import Ix.Benchmark.Bench
 
-abbrev dataSizes := #[8192]
-abbrev numHashesPerProof := #[512]
+abbrev dataSizes := #[1000000]
+abbrev numHashesPerProof := #[1, 2, 4, 8]
 
 def commitmentParameters : Aiur.CommitmentParameters := {
   logBlowup := 1