Contract Protocol Summary

This section outlines the specification for a block proposer call market auction contract. It's an alternative to the MEV Boost Flashbots Auction and is a work in progress. The document includes:

Contract Properties: Outlines the essential characteristics of the contract. Contract Functions: Describes the functions within the contract. Contract Events: Lists events that the contract can emit. Contract Storage: Details how data is stored in the contract. Contract Invariants: Explains the unchanging aspects of the contract. Contract Tests: Discusses testing procedures for the contract. Contract Properties Tests: Elaborates on testing the properties of the contract. This section serves as a technical blueprint, detailing the framework and functionality of the proposed auction contract.