Repository navigation

ChaChaPoly: prove the Poly1305 bound and instantiate with RFC 8439 - #1237

Open

bgregoir wants to merge 2 commits into

pocklingtonfrom

Open

ChaChaPoly: prove the Poly1305 bound and instantiate with RFC 8439#1237
bgregoir wants to merge 2 commits into
pocklingtonfrom
poly1305

Commits on Nov 10, 2026
- algebra(Poly): evaluation, factor theorem, divisibility and root counting
  bgregoir
  committed
  d1cbb76
Commits on Nov 11, 2026
- examples(ChaChaPoly): prove the Poly1305 bound and instantiate with RFC 8439
  bgregoir
  committed
  6a0bb68