Zero Knowledge Proofs, Zero Knowledge, Zksnark, Crytocurrency, Zkp.
access means that the prover has sent the entire proof P(x) to an oracle, which the verifier can then query random values (i.e. the verifier will choose a random number, say x = 5, and ask P(5) = ?, and will get the answer P(5) = 10 back) without having the entire proof P(x)revealed. Proof systems