include bits of proof api