search

pepper-project / pequin

A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
Other
122 stars 46 forks source link

ensure that int128 can be printed from within the snark #30

Closed josojo closed 5 years ago

josojo commented 5 years ago

The way the printf was handled, cut down the accuracy of an int128 to uint64_t.

This PR improves this by printing int128 without type conversions to int64.

special thanks to @fleupold for his help.

maxhowald commented 5 years ago

Thanks for submitting this! Merged.