plutus VS yellowpaper

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

After some digging, I found that indeed this was already fixed. Let me share EIP-3607 that does just that. Here is the corresponding change to the yellow paper and here is its implementation in Geth.

You are correct that the original yellow paper would be outdated. But there is a version on GitHub that is being kept up to date: https://github.com/ethereum/yellowpaper

PR to Ethereum Yellow Paper: https://github.com/ethereum/yellowpaper/pull/801

Also the author of the Ethereum yellow paper, the technical version of the white paper, so he knows a thing or two...https://github.com/ethereum/yellowpaper

I would like to begin work on an alternate Avalanche client, but can't find any yellow paper to base my work on. Ideally Avalanche would have something like https://github.com/ethereum/yellowpaper so anyone could implement an Avalanche client without needing to grok the single Go implementation.

Gavin Wood places the Ethereum Yellow Paper under the Creative Commons Free Culture Licence CC-BY-SA.