Longfellow ZK 0290cb32
|
Public Member Functions | |
ZkVerifier (const Circuit< Field > &c, const RSFactory &rsf, size_t rate, size_t nreq, const Field &F) | |
void | recv_commitment (const ZkProof< Field > &zk, Transcript &t) const |
bool | verify (const ZkProof< Field > &zk, const Dense< Field > &pub, Transcript &tv) const |