Short Story

Problem statement :

The move from Solidity to Plutus is a barrier to entry for many developers interested in Cardano. How do we facilitate the transition?

Describe your solution to the problem

Allocate treasury funds to revitalize development of the KEVM and IELE frameworks.

Website/GitHub repository (not required)
Detailed plan (not required) – Fill in here any additional details

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.



IOHK | KEVM Presentation | Everett Hildenbrandt Formal Modelling Engineer at Runtime Verification 


Grigore Rosu: The K framework – a framework to formally define all programming languages 

Requested funds in ada. Only use numbers! No symbols, letters, fractions. 25000

Which of these definitions apply to you? Stakepool operator, Developer, Entrepreneur

Develop the KEVM & IELE

Goal: $2,500.00
1 Campaigns | 0 Loved campaigns



kframework/evm-semanticsK Semantics of the Ethereum Virtual Machine (EVM). Contribute to kframework/evm-semantics development by creating an account on GitHub.


There are no reviews yet.

Be the first to review “Develop the KEVM & IELE”

Your email address will not be published. Required fields are marked *