Skip to content

feat(MLDSA): EUF-CMA via CMA→NMA over the short-secret MLWE model (#228)#467

Open
alik-eth wants to merge 25 commits into
Verified-zkEVM:mainfrom
alik-eth:pr/mldsa228
Open

feat(MLDSA): EUF-CMA via CMA→NMA over the short-secret MLWE model (#228)#467
alik-eth wants to merge 25 commits into
Verified-zkEVM:mainfrom
alik-eth:pr/mldsa228

docs(MLDSA/#228): state the concrete-laws docstrings intrinsically

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

Annotations

3 warnings
summarize
succeeded Jul 25, 2026 in 7m 15s