bmf Mar 26 2018 at 09:07

Triton vs Kao’s Toy Project. Продолжаем хорошую традицию

12 min

7.2K

Digital Security corporate blogInformation Security*Reverse engineering*

+25

Comments 3

1e100 Mar 27 2018 at 14:13

Кому интересна тема, советую почитать. Много интересного для применения. Оказывается SMT солверы даже для майнинга применяли :)

yurichev.com/writings/SAT_SMT_draft-RU.pdf
исходники github.com/DennisYurichev/SAT_SMT_article

bmf Mar 27 2018 at 14:17

Спасибо! А насчет майнинга интересно. Как я понимаю, SMT там применяли для ускорения вычисления хеша. А можно поподробнее?

bmf Mar 27 2018 at 14:38

Нашел) jheusser.github.io/2013/02/03/satcoin.html, https://
github.com/msoos/sha256-sat-bitcoin.