Skip to main content

Message

Trait Message 

Source
pub trait Message<F: Field> {
    // Required methods
    fn len(vars: usize, param_resolver: &ParamResolver) -> usize;
    fn to_field_elements(&self) -> Vec<F>;
}

Required Methods§

Source

fn len(vars: usize, param_resolver: &ParamResolver) -> usize

Source

fn to_field_elements(&self) -> Vec<F>

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.

Implementations on Foreign Types§

Source§

impl<F: Field> Message<F> for ()

Source§

fn len(_vars: usize, _param_resolver: &ParamResolver) -> usize

Source§

fn to_field_elements(&self) -> Vec<F>

Source§

impl<F: Field, A: Message<F>, B: Message<F>> Message<F> for (A, B)

Source§

fn len(vars: usize, param_resolver: &ParamResolver) -> usize

Source§

fn to_field_elements(&self) -> Vec<F>

Source§

impl<F: Field, M: Message<F>, const N: usize> Message<F> for [M; N]

Source§

fn len(vars: usize, param_resolver: &ParamResolver) -> usize

Source§

fn to_field_elements(&self) -> Vec<F>

Implementors§

Source§

impl<F1, F2> Message<F2> for ForeignElement<F1, F2>
where F1: Field, F2: Field,

Source§

impl<F: Field> Message<F> for SingleElement<F>