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

[1e100]

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

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

[bmf]

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

[bmf]

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