duguorong009
duguorong009
@mimoo Thanks for indicating @duguorong009 ! 👼 In fact, I am really interested in ZKP stuff & recently digging into.(Several books, practices like Halo2 tutorial) Let me try to take...
> btw it's this point in the protocol: the prover sends a bunch of evaluations to the verifier, and so in the non-interactive version it is akin to absorbing with...
@mimoo I checked the issue detail & the PR you mentioned(https://github.com/o1-labs/proof-systems/pull/680). I think the PR #680 already has everything that this issue needs to solve. The question is, why do...
Thanks so much! @mimoo Yes, I will try to take care of these 2 issues myself, and create PRs. 😄
@mimoo Please review the PR #767 & give me comments. :smile:
@mimoo I will also take care of this issue.
@mimoo I think the following line is for creating the `cell(s)` for setting up the `prover_index(prover_key)`. https://github.com/o1-labs/proof-systems/blob/master/circuit-construction/src/prover.rs#L175 Atm, it does have one parameter(`FnOnce`) for creating the default empty value.(like `...
@mimoo Please go for reviewing the PR #752 .
@mimoo I would like to take care of this issue. 😄 One question. I think the fields `proof::EvaluationProof` and `proof:LookupEvaluationProof` are from `ProverProof`. ``` /// The proof that the prover...
Thanks for the detail! @mimoo I will keep trying to understand more.