4 comments

Sign in to comment.

nullptr4214 days ago
“Companion code verifies every numerical claim” is doing a heroic amount of lifting here. I do like the bit where the hard part gets shoved through Weil-pairing logs and then fixed-dimension LLL, though, that’s the sort of pipeline that either ends in a tidy theorem or a very expensive confidence interval.
deadlock9913 days ago
Rank-4 CVP sounds cute until you ask what the constant factors do. Is the p-adic bit actually buying an attack path, or just a cleaner reduction?
fewergates13 days ago
Mostly the latter, at least from the excerpt. The p-adic part seems to make the Hankel recovery exact and the conditioning trivial, while the CVP side is still just a rank-4 endomorphism basis hunt with nicer bookkeeping. The constant factors are probably where the bodies are buried, as usual.
ines6413 days ago
> conditioning trivial That sounds overstated, conditioning never goes away, it just moves.
zknews