Skip to content

Instantly share code, notes, and snippets.

@sifnoc
Created February 2, 2024 01:40
Show Gist options
  • Save sifnoc/26d04347a4e1feaa26166a3192082b16 to your computer and use it in GitHub Desktop.
Save sifnoc/26d04347a4e1feaa26166a3192082b16 to your computer and use it in GitHub Desktop.
benchmark result of amortized KZG https://github.com/summa-dev/summa-solvency/pull/254
Compiling summa-solvency v0.2.0 (/home/ubuntu/summa-solvency/kzg_prover)
warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
--> src/lib.rs:4:12
|
4 | #![feature(generic_const_exprs)]
| ^^^^^^^^^^^^^^^^^^^
|
= note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
= note: `#[warn(incomplete_features)]` on by default
warning: `summa-solvency` (lib) generated 1 warning
warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
--> benches/kzg.rs:1:12
|
1 | #![feature(generic_const_exprs)]
| ^^^^^^^^^^^^^^^^^^^
|
= note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
= note: `#[warn(incomplete_features)]` on by default
warning: `summa-solvency` (lib test) generated 1 warning (1 duplicate)
warning: `summa-solvency` (bench "kzg") generated 1 warning
Finished bench [optimized] target(s) in 11.69s
Running unittests src/lib.rs (target/release/deps/summa_solvency-f03131787c8ff727)
running 17 tests
test chips::range::tests::testing::test_none_overflow_64bits ... ignored
test chips::range::tests::testing::test_overflow_64bits ... ignored
test chips::range::utils::testing::test_decompose_fp_byte_pairs_no_padding ... ignored
test chips::range::utils::testing::test_decompose_fp_to_byte_pairs_overflow ... ignored
test chips::range::utils::testing::test_decompose_fp_to_byte_pairs_padding ... ignored
test chips::range::utils::testing::test_decompose_fp_to_bytes_no_padding ... ignored
test chips::range::utils::testing::test_decompose_fp_to_bytes_overflow ... ignored
test chips::range::utils::testing::test_decompose_fp_to_bytes_overflow_2 ... ignored
test chips::range::utils::testing::test_decompose_fp_to_bytes_padding ... ignored
test chips::range::utils::testing::test_fp_to_big_uint ... ignored
test chips::range::utils::testing::test_pow_2 ... ignored
test circuits::tests::test::test_balance_not_in_range ... ignored
test circuits::tests::test::test_batched_kzg ... ignored
test circuits::tests::test::test_invalid_omega_univariate_grand_sum_proof ... ignored
test circuits::tests::test::test_invalid_poly_length_univariate_grand_sum_full_prover ... ignored
test circuits::tests::test::test_valid_univariate_grand_sum_full_prover ... ignored
test circuits::tests::test::test_valid_univariate_grand_sum_prover ... ignored
test result: ok. 0 passed; 0 failed; 17 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running benches/kzg.rs (target/release/deps/kzg-5bd46e757b07164d)
WARNING: HTML report generation will become a non-default optional feature in Criterion.rs 0.4.0.
This feature is being moved to cargo-criterion (https://github.com/bheisler/cargo-criterion) and will be optional in a future version of Criterion.rs. To silence this warning, either switch to cargo-criterion or enable the 'html_reports' feature in your Cargo.toml.
Gnuplot not found, using plotters backend
Start: None Creating params
End: None Creating params ......................................................4.796s
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> range check
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> range check: Warming up for 3.0000 s
Warning: Unable to complete 10 samples in 5.0s. You may wish to increase target time to 123.2s.
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> range check: Collecting 10 samples in estimated 123.19 s (10 iterations)
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> range check: Analyzing
<K = 18, N_USERS = 16, N_CURRENCIES = 2> range check
time: [12.184 s 12.252 s 12.321 s]
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> opening grand sum
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> opening grand sum: Warming up for 3.0000 s
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> opening grand sum: Collecting 10 samples in estimated 6.4166 s (20 iterations)
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> opening grand sum: Analyzing
<K = 18, N_USERS = 16, N_CURRENCIES = 2> opening grand sum
time: [316.31 ms 318.04 ms 320.04 ms]
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> opening user inclusion
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> opening user inclusion: Warming up for 3.0000 s
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> opening user inclusion: Collecting 10 samples in estimated 6.3959 s (20 iterations)
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> opening user inclusion: Analyzing
<K = 18, N_USERS = 16, N_CURRENCIES = 2> opening user inclusion
time: [318.65 ms 323.14 ms 329.30 ms]
Found 2 outliers among 10 measurements (20.00%)
2 (20.00%) high severe
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> batch opening all 2^18 user inclusions
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> batch opening all 2^18 user inclusions: Warming up for 3.0000 s
Warning: Unable to complete 10 samples in 5.0s. You may wish to increase target time to 9722.1s.
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> batch opening all 2^18 user inclusions: Collecting 10 samples in estimated 9722.1 s (10 iterations)
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> batch opening all 2^18 user inclusions: Analyzing
<K = 18, N_USERS = 16, N_CURRENCIES = 2> batch opening all 2^18 user inclusions
time: [986.04 s 999.87 s 1014.8 s]
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> verifying grand sum
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> verifying grand sum: Warming up for 3.0000 s
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> verifying grand sum: Collecting 10 samples in estimated 5.1261 s (2090 iterations)
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> verifying grand sum: Analyzing
<K = 18, N_USERS = 16, N_CURRENCIES = 2> verifying grand sum
time: [2.4627 ms 2.4634 ms 2.4639 ms]
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> verifying user inclusion
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> verifying user inclusion: Warming up for 3.0000 s
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> verifying user inclusion: Collecting 10 samples in estimated 5.0974 s (2035 iterations)
Benchmarking <K = 18, N_USERS = 16, N_CURRENCIES = 2> verifying user inclusion: Analyzing
<K = 18, N_USERS = 16, N_CURRENCIES = 2> verifying user inclusion
time: [2.5099 ms 2.5102 ms 2.5106 ms]
Found 3 outliers among 10 measurements (30.00%)
2 (20.00%) low mild
1 (10.00%) high mild
Start: None Creating params
End: None Creating params ......................................................2.365s
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> range check
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> range check: Warming up for 3.0000 s
Warning: Unable to complete 10 samples in 5.0s. You may wish to increase target time to 66.1s.
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> range check: Collecting 10 samples in estimated 66.149 s (10 iterations)
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> range check: Analyzing
<K = 17, N_USERS = 64, N_CURRENCIES = 2> range check
time: [6.6291 s 6.6471 s 6.6643 s]
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> opening grand sum
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> opening grand sum: Warming up for 3.0000 s
Warning: Unable to complete 10 samples in 5.0s. You may wish to increase target time to 9.8s or enable flat sampling.
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> opening grand sum: Collecting 10 samples in estimated 9.8435 s (55 iterations)
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> opening grand sum: Analyzing
<K = 17, N_USERS = 64, N_CURRENCIES = 2> opening grand sum
time: [177.22 ms 180.96 ms 184.07 ms]
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> opening user inclusion
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> opening user inclusion: Warming up for 3.0000 s
Warning: Unable to complete 10 samples in 5.0s. You may wish to increase target time to 9.9s or enable flat sampling.
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> opening user inclusion: Collecting 10 samples in estimated 9.9116 s (55 iterations)
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> opening user inclusion: Analyzing
<K = 17, N_USERS = 64, N_CURRENCIES = 2> opening user inclusion
time: [179.45 ms 181.08 ms 182.95 ms]
Found 1 outliers among 10 measurements (10.00%)
1 (10.00%) high mild
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> batch opening all 2^17 user inclusions
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> batch opening all 2^17 user inclusions: Warming up for 3.0000 s
Warning: Unable to complete 10 samples in 5.0s. You may wish to increase target time to 5031.4s.
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> batch opening all 2^17 user inclusions: Collecting 10 samples in estimated 5031.4 s (10 iterations)
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> batch opening all 2^17 user inclusions: Analyzing
<K = 17, N_USERS = 64, N_CURRENCIES = 2> batch opening all 2^17 user inclusions
time: [485.07 s 491.40 s 498.80 s]
Found 1 outliers among 10 measurements (10.00%)
1 (10.00%) high mild
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> verifying grand sum
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> verifying grand sum: Warming up for 3.0000 s
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> verifying grand sum: Collecting 10 samples in estimated 5.1204 s (2090 iterations)
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> verifying grand sum: Analyzing
<K = 17, N_USERS = 64, N_CURRENCIES = 2> verifying grand sum
time: [2.4598 ms 2.4607 ms 2.4615 ms]
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> verifying user inclusion
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> verifying user inclusion: Warming up for 3.0000 s
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> verifying user inclusion: Collecting 10 samples in estimated 5.1296 s (2035 iterations)
Benchmarking <K = 17, N_USERS = 64, N_CURRENCIES = 2> verifying user inclusion: Analyzing
<K = 17, N_USERS = 64, N_CURRENCIES = 2> verifying user inclusion
time: [2.5259 ms 2.5270 ms 2.5285 ms]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment