Please describe your proposed solution

CIP-113 proposes a standard for smart contracts to respect in order to be considered a "programmable tokens" (pretty much like tokens are implemented in the EVM ecosystem).

The standard went through many revisions and changed a lot during the course of time.

A proof of concept was already set up for one of the previous revisions showing how the possibility for programmable assets is very real on Cardano and already feasible (without hard forks).

With this proposal, we want to ultimate the latest proposed standard, in order to improve the composability and developer experience of the standard (so that other contracts can easily interact with programmable tokens)

And we also want to produce a library for plu-ts to facilitate the creation of on-chain contracts that respect the standard.

Please define the positive impact your project will have on the wider Cardano community

Programmable assets can have many use cases.

The most prominent example would be the ability to freeze tokens, presumably one of the requirements on the side of Circle in order to have USDC native on Cardano (requirements are still unclear).

But that is really just one of many possible use cases, an other example would be Real World Assets (RWA) which could then implement logic to allow the transfer of tokens only if the transfer happens in the real world too.

Ultimately, the library is an important step in allowing the standard to be adopted and easily used.

What is your capability to deliver your project with high levels of trust and accountability? How do you intend to validate if your approach is feasible?

Michele Nuzzi has been part of the Cardano ecosystem at the beginning as a single stake pool operator and later as developer. In this time he wrote and still maintains numerous dependecy free typescript libraries that require a low level understanding of the Cardano protocol.

A non-exhaustive list list of some of the projects would be:

• plu-ts: a typescript framework for the creation of Cardano Smart contracts
• plutus-machine: typescript library for the evaluation of contracts off-chain
• cardano-ledger-ts: collection of classes and functions for Cardano specific data types and respective serialization and deserialization in CBOR format.
• ouroboros-miniprotocols-ts: library for low level interactions with the cardano-node based on the ouroboros mini protocols specification.

And more recently actively developing an alternative implementation of the cardano-node, thanks to previous catalyst funding.

What are the key milestones you need to achieve in order to complete your project successfully?

Milestone 1: Design the standard (Retroactive)

Milestone 2: review the CIP to implement the latest suggestions for interoperability with other contracts

Milestone 3: implement a proof of concept for the standard (for the latest version)

Milestone 4: produce the on-chain library to facilitate the creation of programmable assets.

Final Milestone: close out report and video

Who is in the project team and what are their roles?

1) Michele Nuzzi

• X.com (former Twitter)

Initial proposer of the CIP

Please provide a cost breakdown of the proposed work and resources

The proposal is partially retro-active, covering the research and implementations done so far.

estimating the costs of research and implementation of the first proof of concepts around 100'000 ADA

we then count 8 months for a production-ready library for the creation of the assets, for 6'000 $/month at an average of 0.46 dollars per ADA

6000 / 0.46 * 8 ~= 104'347,82 ADA that we round down to 100'000 to meet the challenge requirements

No dependencies.

How does the cost of the project represent value for money for the Cardano ecosystem?

Many possible applications to be built on Cardano can benefit the standard