Search for proofs on the network