FuturesMEX - Secure, Distributed Futures Market Exchange

Explore a comprehensive analysis of a secure, distributed futures market exchange in this IEEE conference talk. Delve into the complex interactions between economic and security properties in futures exchanges, examining challenges such as non-monotonic security behavior. Discover the essential security properties that ensure an exchange's economic viability, including trading information availability, liquidity, position confidentiality, and risk management. Learn about a potential attack when traders' anonymity is compromised. Gain insights into key operations for a fully distributed futures exchange, with a focus on an asynchronous protocol that simulates centralized functionality. Understand the concept of security with abort and its extension to penalties. Examine a proof of concept implementation utilizing zk-SNARKs and SPDZ, and evaluate its feasibility for low-frequency markets while acknowledging the need for further research in high-frequency trading environments.