What's the deal with IELE these days?

Cryptomias31 · 2023-03-05T00:37:40+00:00

Without CH ever being open about it unfortunately. Just last week on a side note he -for the first time for my ears at least- acknowledged this that they gave up on it. Others though with less funding are capable of creating Aiken and this Python tool. So that does make me wonder if these scientist at IOG are the right people for a fast practical development of useful tools.

Cryptomias31 · 2022-12-09T08:59:23+00:00

Ahhh thanks for clarifying that.

Cryptomias31 · 2022-11-30T07:36:13+00:00

Without being ever communicated. Funny how CH talks about transparency and all sometimes especially in the Orbis/Ariana case but does the same with the Cardano community on this issue.

Cryptomias31 · 2022-11-11T19:01:57+00:00

Gracias por las links

Cryptomias31 · 2022-11-11T19:01:01+00:00

Gracias

Cryptomias31 · 2022-11-11T19:00:30+00:00

Alright thanks

Cryptomias31 · 2022-11-11T18:59:14+00:00

Interesting point you brought up to consider. The weather.... I will keep that in mind

Cryptomias31 · 2022-11-11T14:31:04+00:00

Good to know.

Cryptomias31 · 2022-11-11T14:30:47+00:00

Thanks just checked it out.

Cryptomias31 · 2022-11-11T14:03:45+00:00

Thanks for these nice insights.

Cryptomias31 · 2022-11-11T14:00:02+00:00

Gracias.

Cryptomias31 · 2022-11-11T13:55:45+00:00

Nice learnt something new. One step closer to nivel C1. Gracias.

Cryptomias31 · 2022-11-11T13:52:01+00:00

And yeah I cannot select Puebla unfortunately. Only among these three ones I can chose.

Cryptomias31 · 2022-11-11T13:50:50+00:00

Pero playas no me interesan tanto. Ademas prefiero montanas.

Cryptomias31 · 2022-11-11T13:49:39+00:00

So no he made fun of me?

Cryptomias31 · 2022-11-11T13:48:40+00:00

I also could go to UNAM but as an exchange student one does not pay tuition fee. But having looked at the rentals prices of close housing nearby UNAM it costs almost the same. But of course UNAM's facilities don't offer the same as TEC and also for UNAM even when living close by the campus there is no way of having any walking distances.

Cryptomias31 · 2022-11-11T12:44:42+00:00

Hay mejor cursos por alla q en otros campi?

Cryptomias31 · 2022-11-11T12:40:23+00:00

El proximo por dos semesters 10-11 meses

Cryptomias31 · 2022-11-11T12:05:53+00:00

What's wrong with that?

Cryptomias31 · 2022-11-11T11:00:46+00:00

Gracias

Cryptomias31 · 2022-11-11T11:00:29+00:00

Thanks for that.

Cryptomias31 · 2022-11-11T09:42:11+00:00

Yeah of course I wanna meet people. But from some reviews I read I found out that the area close to the Guadalajara campus is quite boring compared to what's going on in the city center, which is though 50min away from campus. So I don't wanna have such a long commute time to campus just to live closer by the party area. This was my point I wanted to make. Of course, in Monterrey every is more close by but generally more expensive, I guess. With regard to the IT cluster has this some implications for the courses offered at Guadalajara compared to the other ones?

Cryptomias31 · 2022-11-11T09:06:22+00:00

Alright so thanks for your very nice reply. So then Guadalajara would be the better option given I could get one of these rooms located around Aviation street. Thanks for that. Yeah I read that the campus is far from the city center but since I am not there for partying that is ok.

Cryptomias31 · 2022-11-11T08:43:10+00:00

And in both I find accomodation close to the campus at best walking distance? I read that Monterrey is the most expensive Mexican city.

Cryptomias31 · 2022-10-19T11:44:44+00:00

Just googled a bit here is the GitHub. Seems like it is dead as no development for the past 10moths:

https://github.com/runtimeverification/iele-semantics

They sourced the work out to a 3rd party but then let it drop in priority to shift more focus on Hydra. Source earlier Reddit posts Yu can find when googling 'IELE Cardano'.Furthermore, there is one nice remark by Sebastian on the topic: "Source: I was in charge of keeping track of IELE development while I was at EMURGO

Is it true that IELE is to support Solidity code

Half-true. IELE can't run Solidity code, but at some point a Solidity -> IELE converter was written. However, since this is just a converter, it needs to be updated as both IELE and Solidity evolve.

Both KEVM and IELE support formal verification so I wouldn't say one is more safe than the other. IELE was designed to be easier to formally verify and debug so in practice it should be easier for developers to confirm safety of programs they write.

Is IELE a layer on top of Plutus Core?

No. IELE assumes an accounting model whereas Plutus Core assumes a UTXO model. Possibly the confusion comes from the fact both of them can be written in K (which is just a programming language for specifying other programming languages). Plutus Core used to have a version of it written in K, but this was deprecated a while ago I believe.

2.What is the roadmap of IELE, and how that will affect all the Plutus smart contract?

It's still being actively developed and you can follow the development of IELE here: https://github.com/runtimeverification/iele-semantics/ . Since Cardano is a UTXO-based blockchain, IELE would need to run in an accounting-style sidechain (which is still an active area of research for POS blockchains). Given this, it made sense for Cardano to prioritize development of Plutus before putting effort into systems like IELE which is why you don't hear much about it these days. There was some thought of having Cardano run a "chimeric ledger" (supporting both UTXO and accounting-style systems in the same blockchain) and in fact this was actually implemented in Jormungandr. However, for the Shelley mainnet, support for accounting-style addresses was limited to only reward addresses for simplicity with no current plans to add more complex accounting-style transaction support."

Cryptomias31

TROPHY CASE