A "proof" that can be dropped on Baseledger can be any any non-clear-text or encrypted string, e.g. a Hash, a root of a merkle tree, a partial input of a zero-knowledge-circuit, a zero-knowledge-proof or another element that can be a result or an intermediate step in a Baseline process.