One of the main invariants is that Biconomy is fully compliant with ERC-7579. This is stated in the README.md and multiple times in the Docs. The problem is that, this iteration of Biconomy is not fullly ERC-7579 compliant.
One of the things that MUST
be implemented is the following, as per the EIP-7579:
The problem is that this revert does not happen in K1Validator.onUninstall()
, which is a module(of the type, Validator):
K1Validator.sol#L59-L62
This breaks the main invariant of Biconomy, namely being fully compliant with ERC-7579 as assumed in the README.md
and the Docs
.
This breaks one of the critical invariants set by the project.
Manual Review
Revert in the onUninstall()
function.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.