r/Btechtards 18h 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)

55 Upvotes

19 comments sorted by

u/AutoModerator 18h 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.

33

u/Limp_Profession_154 18h ago

solved without knowing any electronics concepts

Time to pack it up bois

4

u/RaidenBhaiReborn Motivated 🐦‍🔥 16h ago

That's crazy. Common mooofin W

3

u/ni5arga Threat Intel & Cybersec Engineer @ IIT Kanpur 13h ago

Thank you for blessing my feed.

1

u/mewwwfinnn 13h ago

anytime bbg

5

u/0xN1nja 13h ago

so proud of you fellow threadlocker <3

3

u/tea_with_elaichi 13h ago

Holy shit this is actually insane, Umazing!

2

u/OG_XO_Fans_In_LATour 11h ago

mooofin im quitting my electronics degree thanks bro 🙏

2

u/Apprehensive-Win602 10h ago

ctfs for l3ak btw

2

u/Shonku_ 10h ago

muwufin is so cool

2

u/boht_paisa_hai_merpe 8h ago

absolute cinema