Trait GeneratedProgramManifest 

pub trait GeneratedProgramManifest {
    const BACKEND: MpcBackend;

    // Required methods
    fn client_input_types(
        client_slot: u64,
    ) -> Option<&'static [ClientValueType]>;
    fn client_output_types(
        client_slot: u64,
    ) -> Option<&'static [ClientValueType]>;
}

Generated program metadata emitted by stoffel-bindgen.

This marker trait lets application code carry the bytecode manifest’s backend, curve, and client IO shape at the Rust type level. Builders can use it to select the program backend without hand-written backend/curve literals, and clients can validate generated bindings against the loaded bytecode before submitting network inputs.

Required Associated Constants

const BACKEND: MpcBackend

Required Methods

fn client_input_types(client_slot: u64) -> Option<&'static [ClientValueType]>

fn client_output_types(client_slot: u64) -> Option<&'static [ClientValueType]>

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors