bench: add 512-blinders case for verifier and update readme

Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
jsign · Jul 10, 2023 · 4b7f106 · 4b7f106
1 parent 25ddf62
commit 4b7f106
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 8 deletions.
diff --git a/README.md b/README.md
@@ -16,13 +16,14 @@ goos: linux
 goarch: amd64
 pkg: github.com/jsign/curdleproofs
 cpu: AMD Ryzen 7 3800XT 8-Core Processor            
-BenchmarkProver/shuffled_elements=60-16                       12          94740346 ns/op
-BenchmarkProver/shuffled_elements=124-16                       7         150115008 ns/op
-BenchmarkProver/shuffled_elements=252-16                       5         238523279 ns/op
-BenchmarkProver/shuffled_elements=508-16                       3         404879574 ns/op
-BenchmarkVerifier/shuffled_elements=60-16                    115          10175408 ns/op
-BenchmarkVerifier/shuffled_elements=124-16                    99          11870850 ns/op
-BenchmarkVerifier/shuffled_elements=252-16                    72          15094033 ns/op
+BenchmarkProver/shuffled_elements=60-16                       12       96406285 ns/op
+BenchmarkProver/shuffled_elements=124-16                       7      150210173 ns/op
+BenchmarkProver/shuffled_elements=252-16                       5         245561105 ns/op
+BenchmarkProver/shuffled_elements=508-16                       3         412504547 ns/op
+BenchmarkVerifier/shuffled_elements=60-16                    100          12048653 ns/op
+BenchmarkVerifier/shuffled_elements=124-16                    87          12346139 ns/op
+BenchmarkVerifier/shuffled_elements=252-16                    69          15268277 ns/op
+BenchmarkVerifier/shuffled_elements=508-16                    51          20813543 ns/op
 ```
 
 The implementation has the optimizations mentioned in the paper and some extra minor ones. No extra effort was made to optimize further (i.e: there might be other trivial or advanced cryptography or engineering to apply).

diff --git a/curdleproof_test.go b/curdleproof_test.go
@@ -211,7 +211,7 @@ func BenchmarkVerifier(b *testing.B) {
 	rand, err := common.NewRand(42)
 	require.NoError(b, err)
 
-	for _, n := range []int{64, 128, 256} {
+	for _, n := range []int{64, 128, 256, 512} {
 		b.Run(fmt.Sprintf("shuffled elements=%d", n-common.N_BLINDERS), func(b *testing.B) {
 			crs, Rs, Ss, Ts, Us, M, perm, k, rs_m := setup(b, n)
 			proof, err := Prove(