[zkSNARK]

Someone should build a compiler that compiles latex into C.

[shakna]

There's limitations because often latex doesn't give everything something like C needs to find the correct output... But compitex [0] is a LATEX->C compiler.

[0] https://github.com/mtarek/compitex