3 ms·Seems like it would have been more effective to write a verifier for x87 rather than an emulator.by potiuper 5y agoSeems like it would have been more effective to write a verifier for x87 rather than an emulator.