plutus VS cardano-sl

Plutus-related issues in Plutus repo https://github.com/input-output-hk/plutus/issues Cardano node-related issues in the Cardano node repo https://github.com/input-output-hk/cardano-node

Plutus (Haskell) is a statically typed programming language wired for writing reliable smart contracts on the Cardano blockchain. It is also a functional programming language, which means programs are composed as sets of mathematical functions for execution.

* https://github.com/input-output-hk/plutus

There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy

I haven't worked there for a year or so and don't remember specifics like KLOCs, just that they're dotted around internal and public repos :)

PR for Improved Rational for on-chain size was merged into Plutus: https://github.com/input-output-hk/plutus/commit/6d8d25d1e84b2a4278da1036aab23da4161b8df8

Cardano also suffers from the issue of the size of Plutus script being too big. One script can eat up to 20% of block which renders the overall efficiency even worse.

They're working on script libraries where you can reference a script in another UTXO rather than having to reinclude it every time. This is mentioned in some videos (I think in November's mid month update and Cardano 360), if you don't have time to watch those it's mentioned in michaelpj's comment here along with some other optimisations they're working on https://github.com/input-output-hk/plutus/issues/4174

There is a discussion on GitHub about this. The second solution in MPJs reply is what you are suggesting.

About to say that lol. Here are more info.https://plutus-apps.readthedocs.io/en/latest/index.htmlhttps://github.com/input-output-hk/plutushttps://docs.cardano.org/plutus/learn-about-plutus

The daily developments were reduced by August but resumed vigorously in September. The whole of September was a busy month for developers as the daily submission rates for most coins were very high. At this time, ETH, DOT, and ADA were the leader as SOL followed closely behind. It was not till towards Mid-October that the daily developments reduced.

So, uh, the two things the blog post covers are actively awful practices. Let's look at Logging. Logging boils down to ServantLogConfig, which carries a function Text -> IO (). This is bad. Text is not a great type for logging, since it's relatively slow and encodings aren't guaranteed to be sensible (cf this bug where logging to a file was broken based on environment encoding). You want something like LogStr from fast-logger, or even a ByteString.Builder or Text.Builder even.

oops I want my Daedalus wallet (actually very surprising it's not there as Cardano uses Nix). Meanwhile this packaging request has been Open since 2017.

Otherwise you can use the following instructions for adding the caches to your local Nix install: https://github.com/input-output-hk/cardano-sl/blob/master/docs/nix.md#binary-cache

For what it's worth, coincheckup is tracking https://github.com/input-output-hk/cardano-sl which is the old repo from before they split up a lot of the infrastructure into their own repos.