Module prio::benchmarked

This module provides wrappers around internal components of this crate that we want to benchmark, but which we don’t want to expose in the public API.

Functions

benchmarked_gadget_mul_call_poly_direct

Sets outp to inp[0] * inp[1], where inp[0] and inp[1] are polynomials. This function does the multiplication directly.

benchmarked_gadget_mul_call_poly_fft

Sets outp to inp[0] * inp[1], where inp[0] and inp[1] are polynomials. This function uses FFT for multiplication.

benchmarked_iterative_fft

Sets outp to the Discrete Fourier Transform (DFT) using an iterative FFT algorithm.

benchmarked_recursive_fft

Sets outp to the Discrete Fourier Transform (DFT) using a recursive FFT algorithm.

benchmarked_v2_prove

Returns a Prio v2 proof that data is a valid boolean vector.