Solve

[freesig]

Thin wrapper around essential-check that provides in-memory state and applies ActionSets

It would be nice to keep this as a very simple library. Potentially keeping it wasm compatible so in browser validation / computation could be done.

The whole library should be a single function like:

essential_solve = State -> ActionSet -> Maybe SolutionSet

pub struct State {
  pub contracts: HashMap<ContentAddress, HashMap<Key, Value>>,
}

pub struct Action {
  pub predicate_to_solve: PredicateAddress,
  pub inputs: Vec<Value>,
}

pub struct ActionSet {
  pub actions: Vec<Action>,
}