We use public specs and repos, and we have been collaborating with community users in the Ethereum Basis Privacy and Scaling Explorations group to make the zkEVM while in the open up. In easy conditions, the sequencer results in a block sequence and generates its proof, which is then aggregated https://www.scrollbridge.com/