https://wizzard.dreamwidth.org/ wizzard - Dreamwidth Studios Sat, 10 Aug 2013 11:08:11 GMT LiveJournal / Dreamwidth Studios wizzard personal https://v2.dreamwidth.org/9951212/754492 https://wizzard.dreamwidth.org/ 100 100 https://wizzard.dreamwidth.org/298710.html Sat, 10 Aug 2013 11:08:11 GMT https://wizzard.dreamwidth.org/298710.html tl;dr: <a href="http://icfpc2013.cloudapp.net/">задача ICFPC этого года</a> эквивалентна построению универсальной ломалки для асимметричной криптографии (восстановить trapdoor-функцию с помощью chosen-plaintext атаки и оракула организаторов) вряд ли это intended, но забавно.<br /><br />В связи с этим вопрос: есть ли вообще какие-либо статьи по применению SMT солверов для оптимизации решения discrete logarithm или factoring problem?<br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=wizzard&ditemid=298710" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://wizzard.dreamwidth.org/298710.html icfpc внезапно crypto матан public 0