plutus VS plutus-starter

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

This is pretty bad advice - you might not need a node to write dapps, but you'll sure as hell want a local Plutus dev environment for the smoothest experience. Take it from someone with an M1 - the setup process is a pain, compile times are poor, and it'll be difficult to get your language server up and running for proper syntax highlighting. Some repos like https://github.com/input-output-hk/plutus-starter don't seem to work even when Nix is configured to run it on Rosetta 2. Like the other commenter, I've resigned myself to ssh tunneling into a development Linux NUC, which has its own annoyances.

This what you wanted? https://github.com/input-output-hk/plutus-starter

I love how the Cardano devs are making Plutus Dev Env as easy as possible to install and use. Just install Docker on your OS and:

Feel free to check the Cardano starter example project on Github