NilFoundation / zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler
https://docs.nil.foundation/zkllvm
273 stars 44 forks source link

[Feature request]: 128bit comparison for sha256 block type #571

Open CblPOK-git opened 3 months ago

CblPOK-git commented 3 months ago

We take bit size from type, __uint128_t will utilize 128 bit comparison component which is cheaper than 255 bit comparison. sha256 block type element has pallas_base_field type and 255bit comparison is being used despite of element containing only 128bits of information