Solana devnet · Record
dimension 128 module
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
- $857 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
- 0x3531085c0d5dc2bf29d16afc1f2fad3a684259a0f272d93acb4c989b618f3b50
- Seed
- not yet sealed
- Shape
- 4 × 8 over Z_q[x]/(x^16 + 1)
- q
- 65521
- Bound on ‖z‖²
- 541370
- 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.