VerifierLayer

remainder::layer

Trait VerifierLayer 

Source 
pub trait VerifierLayer<F: Field> {
    // Required methods
    fn layer_id(&self) -> LayerId;
    fn get_claims(&self) -> Result<Vec<Claim<F>>>;
}
Expand description

A verifier counterpart of a GKR Layer trait.

Required Methods§

Source

fn layer_id(&self) -> LayerId

Returns this layer’s ID.

Source

fn get_claims(&self) -> Result<Vec<Claim<F>>>

Get the claims that this layer makes on other layers.

Implementors§