Function build_check_claim

crates/kernel/src/claim.rs:35–39

Build a check claim for the constant at `const_addr` in `env`. Sets `assumptions: None` when the constant has no transitive deps, else `Some(root)` where `root` is the canonical merkle root over those deps.

(env: &Env, const_addr: Address)

/// else `Some(root)` where `root` is the canonical merkle root over
/// those deps.
pub fn build_check_claim(env: &Env, const_addr: Address) -> Claim {
  let deps = env.transitive_deps_excl(&const_addr);
  let assumptions = merkle_root_canonical(&deps);
  Claim::Check { const_addr, assumptions }
}

/// Build an eval claim for the pair `(input, output)` in `env`.
///