https://www.zircuit.com/blog/the-sequencer-level-security-paper-is-out