Gp/first impl

[JackPiri]

First implementation for the verifier:

• data structures
• deserialization
• verification

[DanieleDiBenedetto]

Perhaps, more expressive than posting elf files, it would be nice to directly post the examples (in the same way Risc0 does it) and the way you generated the resources starting from them. I guess it would turn out to be useful also for documentation purposes.

Please also be sure to document public functions/structs/types

[JackPiri]

Perhaps, more expressive than posting elf files, it would be nice to directly post the examples (in the same way Risc0 does it) and the way you generated the resources starting from them. I guess it would turn out to be useful also for documentation purposes.

Please also be sure to document public functions/structs/types

Perhaps, more expressive than posting elf files, it would be nice to directly post the examples (in the same way Risc0 does it) and the way you generated the resources starting from them. I guess it would turn out to be useful also for documentation purposes.

Please also be sure to document public functions/structs/types

Replaced elf/binary files with source code.
Public code is now documented.

[drgora]

I left few small comments; I believe the one on the test should be fixed before merging.

[la10736]

Please fix rust-version, add the checks to Makefile.toml and include Readme.md in docs.

The comments to the code are mainly less important.

[la10736]

LGTM!!!

Great job!

[drgora]

Looks good to me now, thanks!