CompilersEndpoint projectionDirect State channels projectionZk-snarks as compilation targetCompilers checklist / logLearning how compilers work2021-09-10