Concretely efficient interactive proofs and their applications