pub trait StarkFriEngine<SC: StarkGenericConfig>: StarkEngine<SC> + Sized {
// Required methods
fn new(fri_parameters: FriParameters) -> Self;
fn fri_params(&self) -> FriParameters;
// Provided methods
fn run_test(
&self,
air_proof_inputs: Vec<AirProofInput<SC>>,
) -> Result<VerificationDataWithFriParams<SC>, VerificationError>
where AirProofInput<SC>: Send + Sync { ... }
fn run_test_fast(
air_proof_inputs: Vec<AirProofInput<SC>>,
) -> Result<VerificationDataWithFriParams<SC>, VerificationError>
where AirProofInput<SC>: Send + Sync { ... }
fn run_simple_test_impl(
&self,
chips: Vec<Arc<dyn AnyRap<SC>>>,
traces: Vec<DenseMatrix<Val<SC>>>,
public_values: Vec<Vec<Val<SC>>>,
) -> Result<VerificationDataWithFriParams<SC>, VerificationError>
where AirProofInput<SC>: Send + Sync { ... }
fn run_simple_test_fast(
chips: Vec<Arc<dyn AnyRap<SC>>>,
traces: Vec<DenseMatrix<Val<SC>>>,
public_values: Vec<Vec<Val<SC>>>,
) -> Result<VerificationDataWithFriParams<SC>, VerificationError> { ... }
fn run_simple_test_no_pis_fast(
chips: Vec<Arc<dyn AnyRap<SC>>>,
traces: Vec<DenseMatrix<Val<SC>>>,
) -> Result<VerificationDataWithFriParams<SC>, VerificationError> { ... }
}Expand description
Stark engine using Fri.
Required Methods§
fn new(fri_parameters: FriParameters) -> Self
fn fri_params(&self) -> FriParameters
Provided Methods§
fn run_test( &self, air_proof_inputs: Vec<AirProofInput<SC>>, ) -> Result<VerificationDataWithFriParams<SC>, VerificationError>
fn run_test_fast( air_proof_inputs: Vec<AirProofInput<SC>>, ) -> Result<VerificationDataWithFriParams<SC>, VerificationError>
fn run_simple_test_impl( &self, chips: Vec<Arc<dyn AnyRap<SC>>>, traces: Vec<DenseMatrix<Val<SC>>>, public_values: Vec<Vec<Val<SC>>>, ) -> Result<VerificationDataWithFriParams<SC>, VerificationError>
fn run_simple_test_fast( chips: Vec<Arc<dyn AnyRap<SC>>>, traces: Vec<DenseMatrix<Val<SC>>>, public_values: Vec<Vec<Val<SC>>>, ) -> Result<VerificationDataWithFriParams<SC>, VerificationError>
fn run_simple_test_no_pis_fast( chips: Vec<Arc<dyn AnyRap<SC>>>, traces: Vec<DenseMatrix<Val<SC>>>, ) -> Result<VerificationDataWithFriParams<SC>, VerificationError>
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.