Not sure how to take this, given that RV was (still is?) funded by IOHK…unless I am mistaken.
No more news about their IELE VM, anyone? It was postponed wasn’t it?
https://runtimeverification.com/blog/runtime-verification-joins-the-enterprise-ethereum-alliance/