graph fragment

Definition

An ACDC is a verifiable data structure and part of a graph, consisting of a node property and one or two edge proporties.