Should we grant Dedaub <-> Nexus Mutual Collaboration?

We can detect all contracts that are part of each covered protocol and group them automatically (under human supervision). Subsequently, we can analyze the contracts and display warnings of vulnerabilities (or proto-vulnerabilities, i.e., components that when put together can make a service vulnerable). The static warnings will be combined with queries on environmental conditions (e.g., approvals and balances in past transactions, state of initialization of a contract, storage contents) to produce reports that can point to security issues. We will also maintain a contact database for each covered protocol. If a vulnerability is detected in a live system, we will contact the appropriate project team. We budget the overall project cost at a baseline of $20K/mo (in NXM), The budgeting also anticipates bonus NXM to be paid if a vulnerability is detected that would have led to a claim payout.

Forum post: https://forum.nexusmutual.io/t/dedaub-nexus-mutual-collaboration-proposal/522