[−][src]Trait ergo_lib::eval::Evaluator

pub trait Evaluator {
    fn reduce_to_crypto(
        &self, 
        expr: &Expr, 
        env: &Env
    ) -> Result<ReductionResult, EvalError> { ... }
}

Interpreter

Provided methods

fn reduce_to_crypto(
    &self,
    expr: &Expr,
    env: &Env
) -> Result<ReductionResult, EvalError>

This method is used in both prover and verifier to compute SigmaBoolean value.

Loading content...

Implementors

impl Evaluator for TestProver[src]

impl Evaluator for TestVerifier[src]

Loading content...