Traits

Defines the trait for fetching proof from the DB