SAM #DARPA-SN-26-116

DARPA Intrinsic Market Resilience (IMR) Proposers Day Announcement

This opportunity is a research and development announcement from DARPA for the Intrinsic Market Resilience (IMR) program, aimed at protecting essential economic sectors from attacks on market interfaces. - Agency: Defense Advanced Research Projects Agency (DARPA), Arlington, VA - Program: Intrinsic Market Resilience (IMR) - Purpose: Develop automated tools and formal modeling techniques to identify and remediate vulnerabilities in modern markets - Focus on combining Large Language Model (LLM)-based automation with rigorous modeling and analysis - Solutions should automatically model market designs, identify hidden weaknesses, and recommend repairs - Requirements: - Use of formal notations and machine-analyzable models - Mathematical resilience conjectures to assess and improve market stability - No specific OEMs, vendors, or products are mentioned - Opportunity is for innovative R&D approaches; details on participation and requirements likely in attached documents - Proposers Day event is informational, inviting potential participants to learn more about the program

Description

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.

View original listing