example: add generator proof

[nanne007]

• add verifier key's data to protocol, and make the test of protocol parsing ok.
• add proof generating, add a test case to start debuging the whole project.