Sepolia · Record

step 6 approximate

Find a short nonzero vector z with A·z = 0 mod q. The hard problem under lattice signatures.

Open
Prize
Record level, no prize
Estimated cost
$7.0×10⁶ on CPU2⁷¹·⁷ work, estimated, not benchmarked
Opened
Oct 19, 2026 · 2 h ago
Expires
Oct 16, 2036
Commitments
0

The instance

Derived from the hash of block 11,947,422. Anyone can recompute every value below from the spec and the chain.

Level id
0x4c3043ca1128c7548a5e83cfa29067efa392848637a423bc5380b1b31e905822
Seed
0x8bfa892b1ac7b66ee92d4a59821a0bb8925f2e7bc66a85e09a802f5a91cd69b3
Shape
A is 256 × 512 over Z_q
q
2147483647
Bound on ‖z‖²
4517165411600
Matrix
coef(k) from keccak256("SHORLINE/v1/sis/A" ‖ seed ‖ u32(k/4)), spec 4.1
Contract
0x5D6322…C48277

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

  1. 1

    Connect a wallet

    No browser wallet found. Any EIP-1193 wallet works, on Sepolia.

  2. 2

    Check your solution

    Checked in your browser against the live instance. Nothing is sent until you commit.

  3. 3

    Commit

    Publishes a fingerprint of your solution bound to your payout address. Nobody can read the solution from it, and copying it would still pay you.

  4. 4

    Reveal, then get paid

    Reveal once your commitment is 3 blocks old. The earliest commitment with a valid reveal is paid after a …-minute settlement window.

Your salt is kept in this browser and in the receipt file. Without it a commitment cannot be revealed. Every claim from this browser is listed under My claims.

History

Every event for this level, from the contract.