Struct HashPreimageAir 

pub struct HashPreimageAir { /* private fields */ }

AIR for proving knowledge of hash preimage

We prove: “I know secret_key such that hash(secret_key XOR event_hash) = pubkey_hash”

Trait Implementations

impl Air for HashPreimageAir

type BaseField = BaseElement

Base field for the computation described by this AIR. STARK protocol for this computation may be executed in the base field, or in an extension of the base fields as specified by ProofOptions struct.

type PublicInputs = HashPreimagePublicInputs

A type defining shape of public inputs for the computation described by this protocol. This could be any type as long as it can be serialized into a sequence of field elements.

type GkrProof = ()

An GKR proof object. If not needed, set to ().

type GkrVerifier = ()

A verifier for verifying GKR proofs. If not needed, set to ().

fn new( trace_info: TraceInfo, pub_inputs: Self::PublicInputs, options: ProofOptions, ) -> Self

Returns new instance of AIR for this computation instantiated from the provided parameters, which have the following meaning:

fn context(&self) -> &AirContext<Self::BaseField>

Returns context for this instance of the computation.

fn evaluate_transition<E: FieldElement + From<Self::BaseField>>( &self, frame: &EvaluationFrame<E>, _periodic_values: &[E], result: &mut [E], )

Evaluates transition constraints over the specified evaluation frame.

fn get_assertions(&self) -> Vec<Assertion<Self::BaseField>>

Returns a set of assertions against a concrete execution trace of this computation.

fn evaluate_aux_transition<F, E>( &self, main_frame: &EvaluationFrame<F>, aux_frame: &EvaluationFrame<E>, periodic_values: &[F], aux_rand_elements: &AuxRandElements<E>, result: &mut [E], )

where F: FieldElement<BaseField = Self::BaseField>, E: FieldElement<BaseField = Self::BaseField> + ExtensionOf<F>,

Evaluates transition constraints over the specified evaluation frames for the main and auxiliary trace segment.

fn get_aux_assertions<E>( &self, aux_rand_elements: &AuxRandElements<E>, ) -> Vec<Assertion<E>>

where E: FieldElement<BaseField = Self::BaseField>,

Returns a set of assertions placed against the auxiliary trace segment.

fn get_gkr_proof_verifier<E>(&self) -> Self::GkrVerifier

where E: FieldElement<BaseField = Self::BaseField>,

Returns the GkrVerifier to be used to verify the GKR proof.

fn get_aux_rand_elements<E, R>( &self, public_coin: &mut R, ) -> Result<Vec<E>, RandomCoinError>

where E: FieldElement<BaseField = Self::BaseField>, R: RandomCoin<BaseField = Self::BaseField>,

Returns a vector of field elements required for construction of the auxiliary trace segment (except the Lagrange kernel column, if any).

fn get_lagrange_kernel_constraints<E>( &self, lagrange_composition_coefficients: LagrangeConstraintsCompositionCoefficients<E>, lagrange_kernel_rand_elements: &LagrangeKernelRandElements<E>, ) -> Option<LagrangeKernelConstraints<E>>

where E: FieldElement<BaseField = Self::BaseField>,

Returns a new LagrangeKernelConstraints if a Lagrange kernel auxiliary column is present in the trace, or None otherwise.

fn get_periodic_column_values(&self) -> Vec<Vec<Self::BaseField>>

Returns values for all periodic columns used in the computation.

fn get_periodic_column_polys(&self) -> Vec<Vec<Self::BaseField>>

Returns polynomial for all periodic columns.

fn get_transition_constraints<E>( &self, composition_coefficients: &[E], ) -> TransitionConstraints<E>

where E: FieldElement<BaseField = Self::BaseField>,

Groups transition constraints together by their degree.

fn get_boundary_constraints<E>( &self, aux_rand_elements: Option<&AuxRandElements<E>>, composition_coefficients: &[E], ) -> BoundaryConstraints<E>

where E: FieldElement<BaseField = Self::BaseField>,

Convert assertions returned from get_assertions() and get_aux_assertions() methods into boundary constraints.

fn options(&self) -> &ProofOptions

Returns options which specify STARK protocol parameters for an instance of the computation described by this AIR.

fn trace_info(&self) -> &TraceInfo

Returns info of the execution trace for an instance of the computation described by this AIR.

fn trace_length(&self) -> usize

Returns length of the execution trace for an instance of the computation described by this AIR.

fn trace_poly_degree(&self) -> usize

Returns degree of trace polynomials for an instance of the computation described by this AIR.

fn trace_domain_generator(&self) -> Self::BaseField

Returns the generator of the trace domain for an instance of the computation described by this AIR.

fn ce_blowup_factor(&self) -> usize

Returns constraint evaluation domain blowup factor for the computation described by this AIR.

fn ce_domain_size(&self) -> usize

Returns size of the constraint evaluation domain.

fn lde_blowup_factor(&self) -> usize

Returns low-degree extension domain blowup factor for the computation described by this AIR. This is guaranteed to be a power of two, and is always either equal to or greater than ce_blowup_factor.

fn lde_domain_size(&self) -> usize

Returns the size of the low-degree extension domain.

fn lde_domain_generator(&self) -> Self::BaseField

Returns the generator of the low-degree extension domain for an instance of the computation described by this AIR.

fn domain_offset(&self) -> Self::BaseField

Returns the offset by which the domain for low-degree extension is shifted in relation to the execution trace domain.

fn get_constraint_composition_coefficients<E, R>( &self, public_coin: &mut R, ) -> Result<ConstraintCompositionCoefficients<E>, RandomCoinError>

where E: FieldElement<BaseField = Self::BaseField>, R: RandomCoin<BaseField = Self::BaseField>,

Returns coefficients needed for random linear combination during construction of constraint composition polynomial.

fn get_deep_composition_coefficients<E, R>( &self, public_coin: &mut R, ) -> Result<DeepCompositionCoefficients<E>, RandomCoinError>

where E: FieldElement<BaseField = Self::BaseField>, R: RandomCoin<BaseField = Self::BaseField>,

Returns coefficients needed for random linear combinations during construction of DEEP composition polynomial.