Crate essential_check

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

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

Predicate Validation

• predicate::check_signed_contract validates a signed contract.
• predicate::check_contract validates a contract.
• predicate::check validate an individual predicate.

Solution Validation

• solution::check_set validates a solution set.
• solution::check_solutions validates a solution set’s solutions slice.
• solution::check_set_state_mutations validates a solution’s state mutation slice.

Solution + Predicate Validation

• solution::check_set_predicates validates a set of solutions against their associated predicates.
• solution::check_predicate validates a single solution against its associated predicate.

Modules

predicate

Items related to the validation of Predicates.

sign

A minimal crate providing Essential’s generic signing, verification and public key recovery functions implemented using secp256k1 and the essential_hash crate.

solution

Items related to validating Solutions and SolutionSets.

types

Common types for Essential Chain.

vm

The essential VM implementation.