The white hats provide a valid zk proof of exploit to claim the bounty ensuring that there are vulnerabilities in the mainnet contract code. We provide the opportunity for protocols to remain bug-free.

ZkPoE invokes the contract in the zkVM to get proofs and record the state diff and checks if the initial storage state is correct and calculate the token balances.

Special thanks to the RISC Zero team!