SNARKs Implementations of all kinds of SNARK systems. What's goint to be inside A compiler Translating high-level language into asm-like language Snark tools proof systems