Trait RustShadow

pub trait RustShadow {
    // Required methods
    fn inner(&self) -> Rc<RefCell<dyn BasicSnippet>>;
    fn rust_shadow_wrapper(
        &self,
        stdin: &[BFieldElement],
        nondeterminism: &NonDeterminism,
        stack: &mut Vec<BFieldElement>,
        memory: &mut HashMap<BFieldElement, BFieldElement>,
        sponge: &mut Option<VmHasher>,
    ) -> Vec<BFieldElement>;
    fn test(&self);
    fn bench(&self);
}

Required Methods

fn inner(&self) -> Rc<RefCell<dyn BasicSnippet>>

fn rust_shadow_wrapper( &self, stdin: &[BFieldElement], nondeterminism: &NonDeterminism, stack: &mut Vec<BFieldElement>, memory: &mut HashMap<BFieldElement, BFieldElement>, sponge: &mut Option<VmHasher>, ) -> Vec<BFieldElement>

fn test(&self)

fn bench(&self)

Implementors

impl<C: Closure + 'static> RustShadow for ShadowedClosure<C>

impl<F> RustShadow for ShadowedFunction<F>

where F: Function + 'static,

impl<P: Procedure + 'static> RustShadow for ShadowedProcedure<P>

impl<T> RustShadow for ShadowedAccessor<T>

where T: Accessor + 'static,

impl<T> RustShadow for ShadowedAlgorithm<T>

where T: Algorithm + 'static,

impl<T> RustShadow for ShadowedMemPreserver<T>

where T: MemPreserver + 'static,

impl<T> RustShadow for ShadowedReadOnlyAlgorithm<T>

where T: ReadOnlyAlgorithm + 'static,