9 breaking releases
new 0.9.0 | Nov 5, 2024 |
---|---|
0.7.0 | Oct 29, 2024 |
0.2.0 | Jul 24, 2024 |
#603 in Magic Beans
1,493 downloads per month
Used in 10 crates
(4 directly)
350KB
7.5K
SLoC
essential-check
Core logic related to validating Essential state transitions.
lib.rs
:
Core logic for validating Predicate
s,
Solution
s 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.
Dependencies
~12–19MB
~235K SLoC