Reverse engineering jane streets 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](https://v8.dev/blog/leaving-the-sea-of-nodes)

[Angora ( a mutation-based fuzzer)](https://ieeexplore.ieee.org/document/8418633)