chore: bump multi-stark (#293)

Author: arthurpaulino

Benchmarks/Aiur.lean

@@ -57,7 +57,8 @@ def commitmentParameters : Aiur.CommitmentParameters := {
 def friParameters : Aiur.FriParameters := {
   logFinalPolyLen := 0
   numQueries := 100
-  proofOfWorkBits := 20
+  commitProofOfWorkBits := 20
+  queryProofOfWorkBits := 0
 }
 
 def proveE2E (name: Lean.Name) : IO UInt32 := do

Benchmarks/Blake3.lean

@@ -14,7 +14,8 @@ def commitmentParameters : Aiur.CommitmentParameters := {
 def friParameters : Aiur.FriParameters := {
   logFinalPolyLen := 0
   numQueries := 100
-  proofOfWorkBits := 20
+  commitProofOfWorkBits := 20
+  queryProofOfWorkBits := 0
 }
 
 def blake3Bench : IO $ Array BenchReport := do
@@ -60,5 +61,3 @@ def main : IO Unit := do
     sumWeights := sumWeights + sizeFloat
   let avgThroughput := weightedSum / sumWeights
   println! "Average throughput: {avgThroughput.toUSize} bytes/s"
-
-