diff --git a/prover/circuits/bench/constraints/blobdecompression-740K.pprof.pdf b/prover/circuits/bench/constraints/blobdecompression-740K.pdf similarity index 100% rename from prover/circuits/bench/constraints/blobdecompression-740K.pprof.pdf rename to prover/circuits/bench/constraints/blobdecompression-740K.pdf diff --git a/prover/circuits/bench/constraints/blobdecompression/main.go b/prover/circuits/bench/constraints/blobdecompression/main.go index bc1344ccf..b65389f00 100644 --- a/prover/circuits/bench/constraints/blobdecompression/main.go +++ b/prover/circuits/bench/constraints/blobdecompression/main.go @@ -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) diff --git a/prover/circuits/bench/constraints/pi-interconnection-nowizard-nogkr.pdf b/prover/circuits/bench/constraints/pi-interconnection-nowizard-nogkr.pdf new file mode 100644 index 000000000..faab26065 Binary files /dev/null and b/prover/circuits/bench/constraints/pi-interconnection-nowizard-nogkr.pdf differ diff --git a/prover/circuits/bench/constraints/pi-interconnection-nowizard.pdf b/prover/circuits/bench/constraints/pi-interconnection-nowizard.pdf new file mode 100644 index 000000000..f115b10fd Binary files /dev/null and b/prover/circuits/bench/constraints/pi-interconnection-nowizard.pdf differ diff --git a/prover/circuits/bench/constraints/pi-interconnection/main.go b/prover/circuits/bench/constraints/pi-interconnection/main.go index 39ad9341d..11386ee59 100644 --- a/prover/circuits/bench/constraints/pi-interconnection/main.go +++ b/prover/circuits/bench/constraints/pi-interconnection/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) diff --git a/prover/circuits/bench/constraints/pi-interconnection/run-test b/prover/circuits/bench/constraints/pi-interconnection/run-test new file mode 100755 index 000000000..d51c8639e --- /dev/null +++ b/prover/circuits/bench/constraints/pi-interconnection/run-test @@ -0,0 +1,3 @@ +go run . +telegram-file nohup.out +shutdown \ No newline at end of file diff --git a/prover/circuits/bench/constraints/to-pdf b/prover/circuits/bench/constraints/to-pdf index 58ce3e215..21b952abe 100755 --- a/prover/circuits/bench/constraints/to-pdf +++ b/prover/circuits/bench/constraints/to-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