Gautam Botrel
Gautam Botrel
can add `gnark` (well, `gnark-crypto`) to the list. For `Sqrt` methods so far, but it may be useful in other places 👍 See [this pr](https://github.com/ConsenSys/gnark-crypto/pull/97) .
@ivokub can you merge in another temporary branch and add your edit to close this issue?
Hi -- which version are you using ? Can you describe the issue with a reproductible code snippet? On v0.6.0 seems to work fine, on develop too. Some commits in...
@SherLzp can I close this issue ?
@SherLzp when do this happens: ``` // then if we set it into the merkle proofs, for example Proof.MerkleProofs[index] = ConstructFixedProof() ``` Inside the Define() ? Witness creation? Please submit...
Related to #268
Comment; `gnark/std` is tested using `Groth16` on some curves only. Need to use `backend.Implemented()` and `ecc.Implemented()` to ensure good test coverage across backends en curves.
maybe it shouldn't be ran actually with "PRoverSucceeded" call. The point of this method is to test constraint system solver against the big.Int test engine -> if a witness fails/succeeds...
for R1CS builder; `newR1C` could do an optimistic check with a hashcode of the linear expressions against a hash map to see if we already have recorded a similar constraint....
I did the Zenodo integration. Next releases of gnark and gnark-crypto will add the bibtex + zenodo DOI badge.