This is interesting, thank you for this effort. Have you had a look at our updated spec? Besides some general ideas nothing of the document from this post / thread will make it into our zk-evm. BTW: the updated spec I linked to previously is also out of date (e.g. we redid arithmetic from the ground up.)