essential-check

Core logic related to validating Essential state transitions.

lib.rs:

Core logic for validating Predicates, Solutions and SolutionData against associated predicates.

Typical usage is to first validate predicates and solutions independently in full prior to validating against one another with solution::check_predicates.

Predicate Validation

• predicate::check_signed_contract validates a signed contract.
• predicate::check_contract validates a contract.
• predicate::check validate an individual predicate.
• predicate::check_state_reads validate a predicate's state read bytecode.
• predicate::check_constraints validate a predicate's constraint bytecode.

Solution Validation

• solution::check validates an unsigned solution.
• solution::check_data validates a solution's data slice.
• solution::check_state_mutations validates a solution's state mutation slice.

Solution + Predicate Validation

• solution::check_predicates validates a solution's data against their associated predicates.
• solution::check_predicate validates a single solution data against an associated predicate.
• solution::check_predicate_constraints the predicate constraint checking part of solution data validation.
• solution::check_decision_variable_lengths checks the expected number of decision variables.