Struct Client 

pub struct Client { /* private fields */ }

Mock Proving Implementation

A non-cryptographic mock implementation of the Proving trait for testing purposes. This proving client doesn’t actually generate valid proofs but instead creates placeholders that have the correct structure.

The mock proving client is useful for developing, debugging and testing other components of the system without the overhead of real proof generation.

Note: The mock proving should NEVER be used in production environments where cryptographic validity of proofs is essential for security.

Implementations

impl Client

pub const fn global_laws() -> Client

Creates a new mock prover that just runs the global laws.

pub fn with_local_laws<L>(self) -> Client

where L: LocalLaws,

Adds verification of the provided local laws to the mock prover.

pub fn serialize_local_laws_input<T>(&self, input: &T) -> Vec<u8>

where T: Serialize,

Serialize local laws input for advanced use cases.

This method handles serialization internally, avoiding the need to expose internal serialization types in the SDK public API.

Parameters

• input - The local laws input to serialize

Returns

A serialized byte vector

Trait Implementations

impl Debug for Client

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Proving for Client

fn prove( &self, sdl_id: HashDigest, verifiables: &[VerifiableWithDiffs], context: &VerificationContext, local_laws_input: &dyn Serialize, ) -> Result<SDLProof, Box<dyn Error + Sync + Send>>

Generate a proof for the SDL specified by sdl_id, using the verifiables and context.

fn local_laws_vkey(&self) -> Option<HashDigest>

Return the verification key of the enforced local laws, if configured.