Sepolia · Record

step 7 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
$2.6×10⁸ on CPU2⁷⁶·⁹ work, estimated, not benchmarked
Opened
Oct 19, 2026 · 66 min ago
Expires
Oct 16, 2036
Commitments
0

The instance

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

Level id
0xe3792931082da523a749e929f04a47b0402910f22e3cdc667a68a809c91a248d
Seed
0xbf1cccc73d08a4f903557c8cdda5aeefedab77a77a0cb6d12a6d5c087049f7c7
Shape
A is 256 × 512 over Z_q
q
2147483647
Bound on ‖z‖²
2717113074707
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.