search

clarity-lang / reference

The Clarity Reference
149 stars 34 forks source link

Support for big integers #8

Open diwakergupta opened 4 years ago

diwakergupta commented 4 years ago

Some other smart-contract platforms support 256/512 bit integer types. These are useful for use-cases like constructing SNARK verifiers.

psq commented 4 years ago

fixed point arithmetic would also be something to consider. Not sure how feasible this would be as a library.

njordhov commented 4 years ago

The Integer refinement types proposed in #13 could allow specifying any upper bound including 256/512 bit integer types