Solana devnet · Record
dimension 172 near-SVP
Find a short nonzero vector z with A·z = 0 mod q. The hard problem under lattice signatures.
Scheduled
- Prize
- Record level, no prize
- Estimated cost
- $3.5×10⁶ on CPU2⁷⁰·⁷ work, estimated, not benchmarked
- Opens
- At launch
- Commitments
- 0
The instance
Derived from the hash of a slot committed when the level opens. Anyone can recompute every value below from the spec and the chain.
- Level id
- 0x970c8db13f195708d8a5dff327d0c1defbe98aa7eca0ff70349f0c4fb520f3ab
- Seed
- not yet sealed
- Shape
- A is 86 × 172 over Z_q
- q
- 65521
- Bound on ‖z‖²
- 727466
- Matrix
- coef(k) from keccak256("SHORLINE/v1/sis/A" ‖ seed ‖ u32(k/4)), spec 4.1
Claim
Solved it? Check the answer here, then commit and reveal. The reference solver and the spec are in the method notes. How to solve
This level is not open yet.
Claims open when the level is sealed from its committed slot. You will commit and reveal with any Solana wallet.