KarpelesLab / lnp22 / 23518506997

80%

push

github

Add 152-bit big.Int ring, TrapGen, SamplePre, PKE, and two-ring NIZK

Major expansion of the LNP22 framework with all components needed for
the full proof system operating at cryptographic parameter sizes.

New packages:
- internal/bigmod: big.Int modular arithmetic + rounding function ⌈·⌉_p
- ring/Big*: BigRing/BigPoly types with 152-bit NTT and Karatsuba
- sampler/Big*: Gaussian, uniform, ternary, challenge for BigRing
- trapgen: NTRU TrapGen (DLP14) with gadget matrix and poly inverse
- preimage: Gaussian pre-image sampling (SamplePre, GPV framework)
- pke: NTRU-style PKE with rounding-based encode/decode
- tworing: Two-ring NIZK with linear, quadratic, and ℓ₂-norm proofs

Key parameters:
- N=1024, Q=152-bit prime (570899077982401)
- Q ≡ 1 (mod 2048) enabling NTT at full 152-bit modulus
- Correctness: √d·(2dβ_s²+β_e)·p/q < 2^{-128}

148 tests across 10 packages, all passing.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

809 of 1065 new or added lines in 19 files covered. (75.96%)

1611 of 2006 relevant lines covered (80.31%)

50735.45 hits per line