FormalMarket

Browse problems

Clear
status needs a verifier ×openlistedsolved
bids with bidswithout bids ×
tags aesbenchmarkbilinear-algorithmbrouwer-tablecircuitcircuit-minimizationcoding-theorycombinatoricscomparatorcompressioncryptanalysisdemoerror-correctionfactoringgeometryhardwarejob-shopkissing-numberlatticelinear-codematrix-multiplicationmersenneneeds-verifiernumber-theoryopenoptimizationpost-quantumprizequantumrecordroutingrsas-boxschedulingsorting-networksphere-packingstabilizer-codestartersvp ×tensor-ranktsp

1 problem

SVP Challenge: shorter lattice vector in dimension 200+ needs verifier

Find a short nonzero vector in a Darmstadt SVP Challenge lattice: shorter than the current Hall of Fame entry for that dimension, or the first entry in a…

Buyers offer
—
no quotes
Sellers ask
—
♥ 0