Increase difficulty

Author: samuelburnham

.github/workflows/blake3.yml

@@ -15,7 +15,7 @@ concurrency:
 
 jobs:
   lean-jobs:
-    runs-on: gh-96vcpu-384gbram-ubuntu-2404
+    runs-on: gh-64vcpu-256gbram-ubuntu-2404
     steps:
       - uses: actions/checkout@v6
       - uses: leanprover/lean-action@v1 # https://github.com/leanprover/lean-action

Benchmarks/Blake3.lean

@@ -4,8 +4,8 @@ import Ix.Aiur.Compile
 import Ix.Aiur.Protocol
 import Ix.Benchmark.Bench
 
-abbrev dataSizes := #[64, 128, 256, 512, 1024, 2048]
-abbrev numHashesPerProof := #[1, 2, 4, 8, 16, 32]
+abbrev dataSizes := #[64, 128, 256, 512, 1024, 2048, 4096, 8192]
+abbrev numHashesPerProof := #[32, 64, 128, 256, 512]
 
 def commitmentParameters : Aiur.CommitmentParameters := {
   logBlowup := 1