Modeling and Simulation

This page is not normative

This page is not considered a core part of the Vultron Protocol as proposed in the main documentation. Although within the page we might provide guidance in terms of SHOULD, MUST, etc., the content here is not normative.

The protocol formalisms and Behavior Trees provided in this documentation combined with the CS model described in A State-Based Model for Multi-Party Coordinated Vulnerability Disclosure point the way toward improvements in MPCVD modeling and simulation. Given the complexity of the protocol state interactions described in the formal protocol and the corresponding behaviors described in CVD Behaviors, we anticipate that modeling and simulation work will continue progressing toward a reference implementation of the protocol we describe here.

Furthermore, the reward functions we outlined can—once fully realized—be used to evaluate the efficacy of future modifications to the protocol. This effort could, in turn, lead to future improvements and optimizations of the MPCVD process. The modularity of Behavior Trees provides ready ground for simulated experiments to determine what additional optimizations to the MPCVD process might be made in the future.