search

pluto / signius

Exploring Fast Cryptographic Primitives in Binius
3 stars 0 forks source link

feat: `rotate_right()` function #3

Open Autoparallel opened 3 months ago

Autoparallel commented 3 months ago

We should provide a proof for:

fn rotate_right<const N: usize>(x: u32) -> u32 {
    (x >> N)  | (x << (32 - N)
}

as it is used throughout other calculations in SHA-256.

Good insight for this would be the u32add already implemented in Binius.