fix extension
Add beginnings of GGZ verifier