plutus VS Alonzo-testnet

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

ghc version: The Glorious Glasgow Haskell Compilation System, version 8.10.4 cloned git clone https://github.com/input-output-hk/Alonzo-testnet.git

Have you tried: this one

I am looking for a step-by-step walk-through of deploying smart contracts on testnet/mainnet as well. Put the smart contract Haskell programming aside, would like to have a bird's-eye view of the whole Cardano SC life cycle. Best I can find is https://github.com/input-output-hk/Alonzo-testnet. However, no "model answer" starting from Exercise 5. Would be appreciated if somebody can find a better one.

The documentation of todays roll-out of the public Test-Net is quite "vague" with regard to this:

If you're a developer looking to explore developing something on their testnet, the link I pointed to above is where you'd go. You can also start here: https://github.com/input-output-hk/Alonzo-testnet

It's publicly readable now

Documentation

To test it you need to have an environment to run Cardano Alonzo : https://github.com/input-output-hk/Alonzo-testnet