Trait leo_compiler::prelude::CoreCircuit

pub trait CoreCircuit<F: Field + PrimeField, G: GroupType<F>>: Send + Sync {
    fn call_function<CS: ConstraintSystem<F>>(
        &self, 
        cs: &mut CS, 
        function: Arc<FunctionBody>, 
        span: &Span, 
        target: Option<ConstrainedValue<F, G>>, 
        arguments: Vec<ConstrainedValue<F, G>>
    ) -> Result<ConstrainedValue<F, G>, ExpressionError>;
}

Required methods

fn call_function<CS: ConstraintSystem<F>>(
    &self,
    cs: &mut CS,
    function: Arc<FunctionBody>,
    span: &Span,
    target: Option<ConstrainedValue<F, G>>,
    arguments: Vec<ConstrainedValue<F, G>>
) -> Result<ConstrainedValue<F, G>, ExpressionError>

Loading content...

Implementors

impl<F: Field + PrimeField, G: GroupType<F>> CoreCircuit<F, G> for Blake2s

fn call_function<CS: ConstraintSystem<F>>(
    &self,
    cs: &mut CS,
    function: Arc<FunctionBody>,
    span: &Span,
    target: Option<ConstrainedValue<F, G>>,
    mut arguments: Vec<ConstrainedValue<F, G>>
) -> Result<ConstrainedValue<F, G>, ExpressionError>

Loading content...