Future Program: Intrinsic Market Resilience (IMR)

The evolution of markets from physical trading floors to interconnected, electronic venues has introduced new speed, transparency, and efficiency, but has also created new attack surfaces and systemic risks. Modern markets, which host trading for everything from equities and bonds to energy and cloud computing resources, can be manipulated in ways unanticipated by their designers. The 2010 United States Equity market "flash crash" and the 2000-2001 California energy crisis demonstrated how weaknesses in a market's public interfaces could have dramatic consequences. Similar design issues in today's complex, interacting market systems could be used to cause economic damage, which the IMR program technology seeks to prevent.

The IMR program aims to develop repair methods to protect essential economic sectors against devastating attacks that exploit the public interfaces of modern markets. Current legal and regulatory protections focus on deterring profit-seeking manipulation and ensuring compliance, but they do not sufficiently protect markets from adversaries aiming simply to cause disruption. The IMR program seeks to address this gap by developing the tools to automatically model market designs, identify hidden weaknesses, and recommend and analyze repairs on the market models to make markets fundamentally more resilient to attack.

IMR aims to combine Large Language Model (LLM)-based automation with rigorous modeling and analysis to identify remediations for market weaknesses. The program will develop formal notations to precisely describe how markets operate and coordinate, creating machine-analyzable models from informal descriptions like regulatory filings and technical specifications. Against these models, IMR will formulate and assess "resilience conjectures” - mathematical statements about desirable market properties, such as the inability for actors to manipulate prices without risking loss.

By automatically analyzing these conjectures, the program aims to prove that a market design is resilient in specific ways or, if it is not, to generate a counterexample that illustrates a concrete weakness. These counterexamples will then be used to refine the conjectures and, ultimately, to recommend and confirm specific repairs to the market's design. This approach is intended to provide a capability to protect U.S. markets against adversaries who wish to cause chaos, ensuring the stability of both civilian and military critical resources that rely on modern market mechanisms.