search

w3f / fflonk

Apache License 2.0
25 stars 7 forks source link

Minimal KZG scheme #9

Closed swasilyev closed 2 years ago

swasilyev commented 2 years ago

Implementing the traits from https://github.com/w3f/fflonk/pull/8

swasilyev commented 2 years ago

cargo test bench_minimal_kzg --release --features "print-trace" -- --nocapture --ignored

Start:   KZG setup of size 2^16 on ark_ec::models::bw6::BW6<ark_bw6_761::curves::Parameters>
··Start:   Computing 65536 scalars powers
··End:     Computing 65536 scalars powers ..........................................4.310ms
··Start:   65536-scalar mul in G1
··End:     65536-scalar mul in G1 ..................................................6.171s
··Start:   2-scalar mul in G1
··End:     2-scalar mul in G1 ......................................................9.510ms
End:     KZG setup of size 2^16 on ark_ec::models::bw6::BW6<ark_bw6_761::curves::Parameters> 6.189s
Start:   Committing to a dense degree-65535 polynomial
End:     Committing to a dense degree-65535 polynomial .............................5.330s
Start:   Generating an opening proof for a single point
End:     Generating an opening proof for a single point ............................5.388s
Start:   Verification of a single-point opening
End:     Verification of a single-point opening ....................................8.370ms

Needs to be parallelized to compare to other implementations. Closed by https://github.com/w3f/fflonk/pull/10