search

jat9292 / Private-token

Tokens with private balances using zkSNARKs and Homomorphic Encryption
MIT License
23 stars 3 forks source link

Circuit codegen-verifier not the same #1

Open capZKP8 opened 11 months ago

capZKP8 commented 11 months ago

Hello @jat9292 , When I generate the smart contract from transfer_to_new, and use the new smart contract to verify, I get an error and the smart contract is not identical to the original. The error is : 'VM Exception while processing transaction: reverted with custom error 'PROOF_FAILURE()''

Another thing is different, when i run 'nargo compile', i have not like you in the .JSON abi parameters: "path": "std::ec::tecurve::affine::Point", I have instead: "name": "Point",

I use nargo 0.10.5. I nargo codegen-verifier on windows.

thank you in advance and congratulations for your work !

capZKP8 commented 11 months ago

Why are we limited to nargo 0.10.5?

jat9292 commented 11 months ago

Hello, thank you for your feedback. Actually this repo is a bit outdated, we have forked it in a new project and we now use more recent versions of nargo. There is no need to limit yourself to version 0.10.5, at that time it was the most recent one. Now I would advise you to use the latest version 0.19 or 0.17 (0.18 is not stable). You can take a look to the updated project here , we are still working on it : https://github.com/Bank-of-JubJub/base