From: Sergey Matveev <stargrave@stargrave.org>
Date: Tue, 24 Aug 2021 14:56:19 +0000 (+0300)
Subject: DJB то не святой, косячит в своём Python коде
X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=ef99b3faf2b819881f5677453e22161c1ae3cc00;p=stargrave-blog.git

DJB то не святой, косячит в своём Python коде

http://ed25519.cr.yp.to/python/sign.py
В нём есть вот такая строчка, которая должна чуть-чуть изменить изменить
сообщение и убедиться что функция проверки упадёт:

    try:
        forgedm = ''.join([chr(ord(m[i])+(i==forgedmlen-1)) for i in range(len(m))])
        ed25519.checkvalid(s,forgedm,pk)
        forgedsuccess = 1
    except:
        pass
    assert not forgedsuccess

вот только проблема в том, что если значение последнего байта будет
0xFF, то... при переполнении Python будет ругаться на range(256). При
этом возникнет exception и тест посчитает что мы штатно упали, как и
ожидали. Вот не надо делать checkvalid выбрасывающим исключения, ну вот
зачем, DJB, ты это сделал?
---