interactive proofs.md interactivity cyber entity biology π 0.02% category of computations where a prover and verifier engage in a protocol where the prover attempts to convince the verifier of a certain fact through a series of interactions Linked References incrementally verifiable computation proof-carrying data Local Graph