Repository navigation

server: verify the round's openings as random linear combinations - #15

Draft

noot wants to merge 4 commits into

noot/fix-profile-harnessfrom

noot/perf-server-batch-verify

Draft

server: verify the round's openings as random linear combinations#15
noot wants to merge 4 commits into
noot/fix-profile-harnessfrom
noot/perf-server-batch-verify

Commits on Nov 5, 2026
Commits on Nov 10, 2026
- cs: name the batch weight bound, assert it against both moduli, check nine combinations
  noot
  committed
  5c59271