Missing Proposal for the removal of permissionned dApp Operators (Executors/Verifiers)

[kmlbgn]

Description:

Validators can choose to become application operators in two ways: as Executors, if they want to scale their hardware and run the application's execution container, or as Verifiers. Both roles are permissioned and must go through a proposal process. Verifiers, unlike permissionless verifiers, do not require the node to put up a bond. Controllers manage these proposals, deciding whether to grant whitelist status to nodes. They also have the authority to remove any whitelisted operators through a proposal for various reasons, such as poor performance or suspected malicious activity. Currently, the only available proposals allow for the addition of operators, but not their removal.

Expected Behavior:

A mechanism is required to remove bond-less operators (verifiers and executors) who have been granted permissions without the use of bonds.

• A list of current whitelisted permissioned operator addresses for a given dApp should be maintained.
• This list can be added to the dApp proto structure however, if this is the case, the upsert-dApp CLI should only allow this list to be reduced. It should not be possible to add operators through the upsert-dApp process since this should only be done through the existing proposal system.
• If the list is maintenained in a different data structure such as the Execution Registrar. A proposal for the removal of addresses on this list must be created.