Hi mates ,
As the title implies , i am trying to do fuzz testing on our smart contract .
But since we have secret policy overhead , i can't put them here .
The basic obstacle here is , we need to use the proof which is generated from outside and use it to do the functions like deposit , withdraw , etc .
In this case , how can we deal with it as it is not normal in other contracts .
Appreciated if you could provide some clues .