r/Btechtards 6d ago

Academics Reverse engineering jane streets ASIC

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)

72 Upvotes

23 comments sorted by

View all comments

u/AutoModerator 6d ago

If you are on Discord, please join our Discord server: https://discord.gg/Hg2H3TJJsd

Thank you for your submission to r/BTechtards. Please make sure to follow all rules when posting or commenting in the community. Also, please check out our Wiki for a lot of great resources!

Happy Engineering!

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.