add support for proving input in json (arast or kbase style)