Struct ProofVerifier 

pub struct ProofVerifier { /* private fields */ }

A utility for verifying the correctness and integrity of a LogicProof.

The ProofVerifier checks that a proof adheres to logical principles, refers to known rules (if provided), and has not been tampered with.

Implementations

impl ProofVerifier

pub fn new() -> Self

Creates a new ProofVerifier with default options and no pre-loaded rules.

pub fn add_rule(&mut self, rule: Rule)

Adds a single Rule to the verifier’s set of known rules.

These rules are used when check_rules is enabled in VerifyOptions.

Arguments

• rule - The Rule to add.

pub fn add_rules(&mut self, rules: &[Rule])

Adds multiple Rules from a slice to the verifier’s set of known rules.

Arguments

• rules - A slice of Rules to add.

pub fn with_options(self, options: VerifyOptions) -> Self

Sets the verification options for this ProofVerifier.

Arguments

• options - The VerifyOptions to use.

Returns

The ProofVerifier instance with the new options applied.

pub fn verify(&self, proof: &LogicProof) -> VerifyResult

Verifies a given LogicProof against the verifier’s configuration and known rules.

This is the main entry point for proof verification. It checks hash integrity (if enabled), validates each step, and ensures the conclusion logically follows.

Arguments

• proof - The LogicProof to verify.

Returns

A VerifyResult indicating whether the proof is valid and listing any errors or warnings.

Trait Implementations

impl Default for ProofVerifier

fn default() -> Self

Provides a default ProofVerifier instance, equivalent to calling ProofVerifier::new().