Trait WitnessToPublic 

pub trait WitnessToPublic {
    // Required method
    fn mark_as_public(&self) -> Result<(), SynthesisError>;
}

WitnessToPublic defines a helper trait for marking witness variables as public inputs in the constraint system.

Required Methods

fn mark_as_public(&self) -> Result<(), SynthesisError>

WitnessToPublic::mark_as_public marks a witness variable as public.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<F: PrimeField> WitnessToPublic for FpVar<F>

fn mark_as_public(&self) -> Result<(), SynthesisError>

impl<P: SWCurveConfig<BaseField: PrimeField>> WitnessToPublic for ProjectiveVar<P, FpVar<P::BaseField>>

fn mark_as_public(&self) -> Result<(), SynthesisError>

impl<T: WitnessToPublic> WitnessToPublic for [T]

fn mark_as_public(&self) -> Result<(), SynthesisError>

Implementors