some tests

Author: Tabaie

prover/circuits/bench/constraints/blobdecompression-740K.pprof.pdf renamed to prover/circuits/bench/constraints/blobdecompression-740K.pdf

@@ -17,9 +17,10 @@ func main() {
 		BlobBytes:             make([]frontend.Variable, 32*4096),
 		Dict:                  make([]frontend.Variable, 64*1024),
 		MaxBlobPayloadNbBytes: blob.MaxUncompressedBytes,
+		UseGkrMiMC:            true,
 	}
 
-	p := profile.Start(profile.WithPath(fmt.Sprintf("blobdecompression-%sK.pprof", formatFloat(blob.MaxUncompressedBytes/1024.0))))
+	p := profile.Start(profile.WithPath(fmt.Sprintf("blobdecompression-gkrmimc-%sK.pprof", formatFloat(blob.MaxUncompressedBytes/1024.0))))
 
 	if _, err := frontend.Compile(ecc.BLS12_377.ScalarField(), scs.NewBuilder, &c, frontend.WithCapacity(1<<27)); err != nil {
 		panic(err)

prover/circuits/bench/constraints/blobdecompression/main.go

@@ -25,12 +25,14 @@ func main() {
 		ExecutionMaxNbMsg:  16,
 		L2MsgMerkleDepth:   5,
 		L2MsgMaxNbMerkle:   10,
+		MockKeccakWizard:   true,
 	}, dummy.Compile) // TODO The output of this bench is not worth much until we come up with proper Wizard compilation parameters.
 
 	var t test_utils.FakeTestingT
 	assert.NoError(t, err)
 
-	p := profile.Start(profile.WithPath("pi-interconnection.pprof"))
+	c.Circuit.UseGkrMimc = false
+	p := profile.Start(profile.WithPath("pi-interconnection-nowizard-nogkr.pprof"))
 	_, err = frontend.Compile(ecc.BLS12_377.ScalarField(), scs.NewBuilder, c.Circuit, frontend.WithCapacity(1<<27))
 	p.Stop()
 	assert.NoError(t, err)

prover/circuits/bench/constraints/pi-interconnection-nowizard-nogkr.pdf

@@ -0,0 +1,3 @@
+go run .
+telegram-file nohup.out
+shutdown

prover/circuits/bench/constraints/pi-interconnection-nowizard.pdf

@@ -9,7 +9,7 @@ find "." -type f -name "*.pprof" | while read -r file; do
     # Extract filename without extension
     title="${filename%.*}"
 
-    cmd=$"go tool pprof -pdf "$file" > "$title.pprof.pdf""
+    cmd=$"go tool pprof -pdf "$file" > "$title.pdf""
     echo $cmd
     eval $cmd