Skip to content

Adds theories/algebra/ZqCentered.ec providing the centered (signed) i…#995

Open
mbbarbosa wants to merge 1 commit into
mainfrom
feature-zqcentered
Open

Adds theories/algebra/ZqCentered.ec providing the centered (signed) i…#995
mbbarbosa wants to merge 1 commit into
mainfrom
feature-zqcentered

Add centered representation: ZModPCentered + PolyReduce extensions

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

Annotations

1 warning
EasyCrypt compilation (nix)
succeeded Jun 12, 2026 in 1m 20s