Thinking about out-of-system flows, I think we need a tool that deterministically computes a statement but does not publish it, rather just outputs to stdout. This will allow the underlying data to be passed around through e.g. smart contracts together with matching signature etc.
Thinking about out-of-system flows, I think we need a tool that deterministically computes a statement but does not publish it, rather just outputs to stdout. This will allow the underlying data to be passed around through e.g. smart contracts together with matching signature etc.