So these are continuous processes and while they require in some cases hard Forks like adding new versions of Plutus in to support proof structures and also the fast finality is something called Praos that's the next version of Ouroboros after Genesis that basically gives you a finality gadgets at the system so you can have fast settlement on both sides the main chain the sidechain and sidechain the main chain.

So there's an ongoing very aggressive research thread here. It's called Ouroboros Leios, and they're making really good progress. Praos is the high priority right now because fast finality is required as one of the last pieces to get side chains to work really well. That same team is also working hard on Leios.

The design for Praos should work its way throughout the summer, and then the very next thing is Leios. And then with Leios, alongside lots of modeling, should have a direct line on the site of a very good design for the system. Then once that design is in place, the community through CIP1694 can decide if they like the trade-off profile, and then input endorsers can be implemented through a series of upgrades and iterations.

Ouroboros Leios are still under construction. There's a paper coming out. Now there's some priorities. Got to get Ouroboros Praos out, Genesis out. You need to bootstrap from Genesis and we need to get that into the network. And you need Praos because you need instant finality, fast finality, so that your sidechain transactions are fast on both directions. BFT on this side it's Ouroboros on this side you need some form of finality gadgets.

Ouroboros Genesis was published in 2018. It was a very academic paper, and now there's been a deep and detailed design effort that's been going on for about a year now to translate what was inspired from the paper into a practical protocol that can be plugged into and on top what we have for Praos. It's a different chain selection rule, so there's going to be a handoff from the design team to the implementation team soon...

Now we've written prototypes now of our network stack prototypes now, Ouroboros BFT, Praos and Genesis and we've written prototypes of other types of some of the delegation mechanics as well as the incentive scheme.

We've had a huge amount of success with it. Starting with Ouroboros Praos earlier this year, going to Israel to Ouroboros Genesis, where we went to Canada, to CCS to or Ouroboros BFT and all those surrounding infrastructure around Ouroboros, we now have multiple implementations of Ouroboros BFT. We actually have five separate implementations for varying degrees of uses...

From our enterprise Ledger offering to ????? Involved Cardano and things on the Scala side, we also have several prototype implementations of Ouroboros Genesis. In fact, the Haskell implementation of Ouroboros is so elegant you can reparametrize the same code base to run a BFT mode Praos mode, Genesis mode and you can even put in different network stacks, so it's pretty cool.

On on the longer term horizon, we are working on the formal verification and specification of Ouroboros Praos, which is the next generation of the Ouroboros protocol.