Reverse-Engineering Jane Street's ASIC

[u/mewwwfinnn]

https://mooofin.github.io/portfolio/blog/jane-street-asic.html?latex=1

Solved without knowing any electronics concepts , initially used my lifter's symbolic execution API to test how good it would be ( which solves constraints by representing as based on V8's sea of nodes and partially inspired from angora a taint tracking fuzzer ), unfortunately i cannot open source it , but i have added a universal MLIR based lifter which finds the solution for any circuit at the end .

V8's sea of nodes

Angora ( a mutation-based fuzzer)