7.4 Application and Scope of Smart Contracts

GET uses Plutus Smart Contracts to achieve automation and transparent operations in the following areas.

Field	Smart contract usage
Governance	Automatic processing of voting, proposals, approvals, and execution
Staking	Automation of locking conditions, reward distribution, and maturity processing
NFT issuance and sales	Issuance, ownership management, and royalty distribution from secondary trades
RWA tokenization	Issuance of proof-of-ownership NFT, divisional rights recording, and transfer history management
Crowdfunding	Stage distribution of support funds / automatic refund processing when funds are not reached

Plutus can introduce Formal Verification (Formal Verification), which allows a high level of assurance of the logical validity of smart contracts.