Where can I find the relevant code for S-EVM?

microsoft / Forerunner

Forerunner: Constraint-based Speculative Transaction Execution for Ethereum

GNU Lesser General Public License v3.0

97 stars 6 forks source link

Where can I find the relevant code for S-EVM? #2

Open jacklightChen opened 2 years ago

jacklightChen commented 2 years ago

Dear Authors: I am quite interested in S-EVM (the register-based intermediate representation of EVM) proposed by the SOSP21 paper, but I was unable to find the related implementation in the codebase, could you give me a hint to point it out? Thank you!