Studying the pre-requisites [ Field Theory, Elliptic Curves… ] to understanding zk-SNARKS.

Currently writing a compiler for a DSL focused on generating SIMD code for video codecs. Goal is to understand programming language design for vector code generation. Ideally want to research and implement optimizations for parallelism and data locality.