STARK project template

This repo is the template for STARK projects. All you need to do is implement the AIR and input/output serialization in src/air.rs, src/prover.rs and src/verifier.rs no need to be touched.