Key Concepts State reliable Theory Audit n/a Edit this section section-intro.concepts For clarity, we refer the following types of entities to describe implementations of the Filecoin protocol: Data structures are collections of semantically-tagged data members (e.g., structs, interfaces, or enums). Functions are computational procedures that do not depend on external state (i.e., mathematical functions, or programming language functions that do not refer to global variables). Components are sets of functionality that are intended to be represented as single software units in the implementatio