Trusted processing

• Statement about key ...
• Document signed with key
• Document parses to Swell formula

kassures(key, formula) => f(formula)