The move from Solidity to Plutus is a barrier to entry for many developers interested in Cardano. How do we facilitate the transition?
Allocate treasury funds to revitalize development of the KEVM and IELE frameworks.
This is the total amount allocated to Develop the KEVM & IELE.
Grigore Rosu's team at Runtime Verification is critical to the success of this project. Proposal is to fund an exploratory phase wherein project stakeholders can consult and discuss the viability and potential roadblocks to a minimum viable product functioning on mainnet.
https://youtu.be/TfTiUB36Zik IOHK | KEVM Presentation | Everett Hildenbrandt Formal Modelling Engineer at Runtime Verification
https://youtu.be/JFOnoqAplAY Grigore Rosu: The K framework - a framework to formally define all programming languages
25000