The top documents tagged [efficient proofs]