In this line, the second argument is i, however, this is wrong value.
If we check the client.rs file, the first 3 numbers of data are [2, 0, 0], [3, 0, 1]...
The second value which is i in the smart contract is always zero.
So we need to send t value as a second argument of final_exponentiation
https://github.com/zkLinkProtocol/groth16-sol-verifier/blob/main/contract/src/lib.rs#L25
In this line, the second argument is
i
, however, this is wrong value. If we check theclient.rs
file, the first 3 numbers of data are [2, 0, 0], [3, 0, 1]... The second value which isi
in the smart contract is always zero.So we need to send
t
value as a second argument offinal_exponentiation
Let me know if this is good finding. Thank you.