While in the codebase, there are several contracts whose pragma assertion doesn't use a set Edition, whereas others are the right way employing a fixed one. The Coordinator randomly selects a Roller to make a validity proof for every block trace. To speed up the proof technology approach, proofs for https://www.scrollbridge.com/