Kosei Akama
Kosei Akama
Has no one attempted to implement the features mentioned in this PR? If so, I will implement it.
OK! Thank you! I will wait, and I'm looking forward to using these new features :)
As far as I understand the verification code, this update simply requires splitting the verification logic into several functions. For example, we could verify with the below code based on...
@ivokub Does this look correct? And, are you interested in adding this update? If so, I can draft the changes on [this](https://github.com/Consensys/gnark/blob/master/internal/generator/backend/template/zkpschemes/groth16/groth16.verify.go.tmpl) and open a pull request.
Just a moment, please. I found a significant mistake.
I’ve fixed the discussion above (including the code) because of a mistake. This capability is particularly useful when the verifier has many fixed public parameters plus a few that vary...
Now, I’ll read your message, so it may take me a moment to reply.
@ivokub In my case, I prefer the pre-computation pattern to embedding patterns directly in the circuit, because compilation is slower than MSM. To be honest, I still don’t fully understand...
@ivokub Thank you for your kind and thorough response. In other words, am I correct in understanding that it is safe as long as the verifier performs all of the...
I completely understand—thank you so much for your help; I truly appreciate it!