singnet / snet-upgradeable-owners-minting-policy

1 stars 1 forks source link

Marshmallow Validator - Audit #2

Closed zmrocze closed 4 months ago

zmrocze commented 4 months ago

Made up example to show a template

Marshmallow validator

Description

Collector is a script that all ADA fees get paid to. You can spent collector UTXO in two scenarios. First is when you recreate the UTXO with more ADA. Second is when the staking manager takes responsibility for validating the spending of collector funds, where collector just checks for existance of staking manager UTXO spent with Distribute redeemer.

Requirements

Protocol Requirements

Single Marshmallow token

The protocol dictates that there is always a single UTXO containing Marshmallow token.

When spending blabla, the validator blabla is trigered and the validator ensures that blabla so that exactly one such output gets recreated.

User Requirements

User can change owner identity

As a user of the protocol I can blabla.

This is possible by submitting a transaction created in such and such way.

zmrocze commented 4 months ago

this was just an example