Docs · Concepts
Proof
Checking an audit record against something outside the system that wrote it.
What it is
Audit events are batched into a Merkle tree and the root is anchored on the Bengar chain. A proof shows one event is in a batch whose root a witness also holds.
Four outcomes, and they are not three: VERIFIED, INVALID, NOT_WITNESSED and UNAVAILABLE. “We did not look” is not “we looked and found nothing”.