Skip to content

Simplify GUERON_PROP1: eliminate ushr from shifted witness

f1eaf2b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Add NIST GHASH <-> POLYVAL bridge (Gueron Proposition 1) #396

Simplify GUERON_PROP1: eliminate ushr from shifted witness
f1eaf2b
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
s2n-bignum-proofs (x86)
succeeded May 22, 2026 in 4h 43m 5s