1234567891011121314151617#![cfg_attr(not(feature = "std"), no_std)]1819use frame_support::{ensure, BoundedVec};20use up_data_structs::{21 AccessMode, CollectionId, CustomDataLimit, MAX_REFUNGIBLE_PIECES, TokenId,22 CreateCollectionData, CreateRefungibleExData, mapping::TokenAddressMapping, budget::Budget,23};24use pallet_evm::account::CrossAccountId;25use pallet_common::{Error as CommonError, Event as CommonEvent, Pallet as PalletCommon};26use pallet_structure::Pallet as PalletStructure;27use sp_runtime::{ArithmeticError, DispatchError, DispatchResult};28use sp_std::{vec::Vec, vec, collections::btree_map::BTreeMap};29use core::ops::Deref;30use codec::{Encode, Decode, MaxEncodedLen};31use scale_info::TypeInfo;3233pub use pallet::*;34#[cfg(feature = "runtime-benchmarks")]35pub mod benchmarking;36pub mod common;37pub mod erc;38pub mod weights;39pub(crate) type SelfWeightOf<T> = <T as Config>::WeightInfo;4041#[struct_versioning::versioned(version = 2, upper)]42#[derive(Encode, Decode, Default, TypeInfo, MaxEncodedLen)]43pub struct ItemData {44 pub const_data: BoundedVec<u8, CustomDataLimit>,4546 #[version(..2)]47 pub variable_data: BoundedVec<u8, CustomDataLimit>,48}4950#[frame_support::pallet]51pub mod pallet {52 use super::*;53 use frame_support::{54 Blake2_128, Blake2_128Concat, Twox64Concat, pallet_prelude::*, storage::Key,55 traits::StorageVersion,56 };57 use frame_system::pallet_prelude::*;58 use up_data_structs::{CollectionId, TokenId};59 use super::weights::WeightInfo;6061 #[pallet::error]62 pub enum Error<T> {63 64 NotRefungibleDataUsedToMintFungibleCollectionToken,65 66 WrongRefungiblePieces,67 68 RepartitionWhileNotOwningAllPieces,69 70 RefungibleDisallowsNesting,71 72 SettingPropertiesNotAllowed,73 }7475 #[pallet::config]76 pub trait Config:77 frame_system::Config + pallet_common::Config + pallet_structure::Config78 {79 type WeightInfo: WeightInfo;80 }8182 const STORAGE_VERSION: StorageVersion = StorageVersion::new(1);8384 #[pallet::pallet]85 #[pallet::storage_version(STORAGE_VERSION)]86 #[pallet::generate_store(pub(super) trait Store)]87 pub struct Pallet<T>(_);8889 #[pallet::storage]90 pub type TokensMinted<T: Config> =91 StorageMap<Hasher = Twox64Concat, Key = CollectionId, Value = u32, QueryKind = ValueQuery>;92 #[pallet::storage]93 pub type TokensBurnt<T: Config> =94 StorageMap<Hasher = Twox64Concat, Key = CollectionId, Value = u32, QueryKind = ValueQuery>;9596 #[pallet::storage]97 pub type TokenData<T: Config> = StorageNMap<98 Key = (Key<Twox64Concat, CollectionId>, Key<Twox64Concat, TokenId>),99 Value = ItemData,100 QueryKind = ValueQuery,101 >;102103 #[pallet::storage]104 pub type TotalSupply<T: Config> = StorageNMap<105 Key = (Key<Twox64Concat, CollectionId>, Key<Twox64Concat, TokenId>),106 Value = u128,107 QueryKind = ValueQuery,108 >;109110 111 #[pallet::storage]112 pub type Owned<T: Config> = StorageNMap<113 Key = (114 Key<Twox64Concat, CollectionId>,115 Key<Blake2_128Concat, T::CrossAccountId>,116 Key<Twox64Concat, TokenId>,117 ),118 Value = bool,119 QueryKind = ValueQuery,120 >;121122 #[pallet::storage]123 pub type AccountBalance<T: Config> = StorageNMap<124 Key = (125 Key<Twox64Concat, CollectionId>,126 127 Key<Blake2_128Concat, T::CrossAccountId>,128 ),129 Value = u32,130 QueryKind = ValueQuery,131 >;132133 #[pallet::storage]134 pub type Balance<T: Config> = StorageNMap<135 Key = (136 Key<Twox64Concat, CollectionId>,137 Key<Twox64Concat, TokenId>,138 139 Key<Blake2_128Concat, T::CrossAccountId>,140 ),141 Value = u128,142 QueryKind = ValueQuery,143 >;144145 #[pallet::storage]146 pub type Allowance<T: Config> = StorageNMap<147 Key = (148 Key<Twox64Concat, CollectionId>,149 Key<Twox64Concat, TokenId>,150 151 Key<Blake2_128, T::CrossAccountId>,152 153 Key<Blake2_128Concat, T::CrossAccountId>,154 ),155 Value = u128,156 QueryKind = ValueQuery,157 >;158159 #[pallet::hooks]160 impl<T: Config> Hooks<BlockNumberFor<T>> for Pallet<T> {161 fn on_runtime_upgrade() -> Weight {162 StorageVersion::new(1).put::<Pallet<T>>();163164 0165 }166 }167}168169pub struct RefungibleHandle<T: Config>(pallet_common::CollectionHandle<T>);170impl<T: Config> RefungibleHandle<T> {171 pub fn cast(inner: pallet_common::CollectionHandle<T>) -> Self {172 Self(inner)173 }174 pub fn into_inner(self) -> pallet_common::CollectionHandle<T> {175 self.0176 }177}178impl<T: Config> Deref for RefungibleHandle<T> {179 type Target = pallet_common::CollectionHandle<T>;180181 fn deref(&self) -> &Self::Target {182 &self.0183 }184}185186impl<T: Config> Pallet<T> {187 pub fn total_supply(collection: &RefungibleHandle<T>) -> u32 {188 <TokensMinted<T>>::get(collection.id) - <TokensBurnt<T>>::get(collection.id)189 }190 pub fn token_exists(collection: &RefungibleHandle<T>, token: TokenId) -> bool {191 <TotalSupply<T>>::contains_key((collection.id, token))192 }193}194195196impl<T: Config> Pallet<T> {197 pub fn init_collection(198 owner: T::CrossAccountId,199 data: CreateCollectionData<T::AccountId>,200 ) -> Result<CollectionId, DispatchError> {201 <PalletCommon<T>>::init_collection(owner, data, false)202 }203 pub fn destroy_collection(204 collection: RefungibleHandle<T>,205 sender: &T::CrossAccountId,206 ) -> DispatchResult {207 let id = collection.id;208209 if Self::collection_has_tokens(id) {210 return Err(<CommonError<T>>::CantDestroyNotEmptyCollection.into());211 }212213 214215 PalletCommon::destroy_collection(collection.0, sender)?;216217 <TokensMinted<T>>::remove(id);218 <TokensBurnt<T>>::remove(id);219 <TokenData<T>>::remove_prefix((id,), None);220 <TotalSupply<T>>::remove_prefix((id,), None);221 <Balance<T>>::remove_prefix((id,), None);222 <Allowance<T>>::remove_prefix((id,), None);223 <Owned<T>>::remove_prefix((id,), None);224 <AccountBalance<T>>::remove_prefix((id,), None);225 Ok(())226 }227228 fn collection_has_tokens(collection_id: CollectionId) -> bool {229 <TokenData<T>>::iter_prefix((collection_id,))230 .next()231 .is_some()232 }233234 pub fn burn_token(collection: &RefungibleHandle<T>, token_id: TokenId) -> DispatchResult {235 let burnt = <TokensBurnt<T>>::get(collection.id)236 .checked_add(1)237 .ok_or(ArithmeticError::Overflow)?;238239 <TokensBurnt<T>>::insert(collection.id, burnt);240 <TokenData<T>>::remove((collection.id, token_id));241 <TotalSupply<T>>::remove((collection.id, token_id));242 <Balance<T>>::remove_prefix((collection.id, token_id), None);243 <Allowance<T>>::remove_prefix((collection.id, token_id), None);244 245 Ok(())246 }247248 pub fn burn(249 collection: &RefungibleHandle<T>,250 owner: &T::CrossAccountId,251 token: TokenId,252 amount: u128,253 ) -> DispatchResult {254 let total_supply = <TotalSupply<T>>::get((collection.id, token))255 .checked_sub(amount)256 .ok_or(<CommonError<T>>::TokenValueTooLow)?;257258 259 if total_supply == 0 {260 261 ensure!(262 <Balance<T>>::get((collection.id, token, owner)) == amount,263 <CommonError<T>>::TokenValueTooLow264 );265 let account_balance = <AccountBalance<T>>::get((collection.id, owner))266 .checked_sub(1)267 268 .ok_or(ArithmeticError::Underflow)?;269270 271272 <Owned<T>>::remove((collection.id, owner, token));273 <PalletStructure<T>>::unnest_if_nested(owner, collection.id, token);274 <AccountBalance<T>>::insert((collection.id, owner), account_balance);275 Self::burn_token(collection, token)?;276 <PalletCommon<T>>::deposit_event(CommonEvent::ItemDestroyed(277 collection.id,278 token,279 owner.clone(),280 amount,281 ));282 return Ok(());283 }284285 let balance = <Balance<T>>::get((collection.id, token, owner))286 .checked_sub(amount)287 .ok_or(<CommonError<T>>::TokenValueTooLow)?;288 let account_balance = if balance == 0 {289 <AccountBalance<T>>::get((collection.id, owner))290 .checked_sub(1)291 292 .ok_or(ArithmeticError::Underflow)?293 } else {294 0295 };296297 298299 if balance == 0 {300 <Owned<T>>::remove((collection.id, owner, token));301 <PalletStructure<T>>::unnest_if_nested(owner, collection.id, token);302 <Balance<T>>::remove((collection.id, token, owner));303 <AccountBalance<T>>::insert((collection.id, owner), account_balance);304 } else {305 <Balance<T>>::insert((collection.id, token, owner), balance);306 }307 <TotalSupply<T>>::insert((collection.id, token), total_supply);308 309 <PalletCommon<T>>::deposit_event(CommonEvent::ItemDestroyed(310 collection.id,311 token,312 owner.clone(),313 amount,314 ));315 Ok(())316 }317318 pub fn transfer(319 collection: &RefungibleHandle<T>,320 from: &T::CrossAccountId,321 to: &T::CrossAccountId,322 token: TokenId,323 amount: u128,324 nesting_budget: &dyn Budget,325 ) -> DispatchResult {326 ensure!(327 collection.limits.transfers_enabled(),328 <CommonError<T>>::TransferNotAllowed329 );330331 if collection.permissions.access() == AccessMode::AllowList {332 collection.check_allowlist(from)?;333 collection.check_allowlist(to)?;334 }335 <PalletCommon<T>>::ensure_correct_receiver(to)?;336337 let balance_from = <Balance<T>>::get((collection.id, token, from))338 .checked_sub(amount)339 .ok_or(<CommonError<T>>::TokenValueTooLow)?;340 let mut create_target = false;341 let from_to_differ = from != to;342 let balance_to = if from != to {343 let old_balance = <Balance<T>>::get((collection.id, token, to));344 if old_balance == 0 {345 create_target = true;346 }347 Some(348 old_balance349 .checked_add(amount)350 .ok_or(ArithmeticError::Overflow)?,351 )352 } else {353 None354 };355356 let account_balance_from = if balance_from == 0 {357 Some(358 <AccountBalance<T>>::get((collection.id, from))359 .checked_sub(1)360 361 .ok_or(ArithmeticError::Underflow)?,362 )363 } else {364 None365 };366 367 368 let account_balance_to = if create_target && from_to_differ {369 let account_balance_to = <AccountBalance<T>>::get((collection.id, to))370 .checked_add(1)371 .ok_or(ArithmeticError::Overflow)?;372 ensure!(373 account_balance_to < collection.limits.account_token_ownership_limit(),374 <CommonError<T>>::AccountTokenLimitExceeded,375 );376377 Some(account_balance_to)378 } else {379 None380 };381382 383384 <PalletStructure<T>>::nest_if_sent_to_token(385 from.clone(),386 to,387 collection.id,388 token,389 nesting_budget,390 )?;391392 if let Some(balance_to) = balance_to {393 394 if balance_from == 0 {395 <Balance<T>>::remove((collection.id, token, from));396 <PalletStructure<T>>::unnest_if_nested(from, collection.id, token);397 } else {398 <Balance<T>>::insert((collection.id, token, from), balance_from);399 }400 <Balance<T>>::insert((collection.id, token, to), balance_to);401 if let Some(account_balance_from) = account_balance_from {402 <AccountBalance<T>>::insert((collection.id, from), account_balance_from);403 <Owned<T>>::remove((collection.id, from, token));404 }405 if let Some(account_balance_to) = account_balance_to {406 <AccountBalance<T>>::insert((collection.id, to), account_balance_to);407 <Owned<T>>::insert((collection.id, to, token), true);408 }409 }410411 412 <PalletCommon<T>>::deposit_event(CommonEvent::Transfer(413 collection.id,414 token,415 from.clone(),416 to.clone(),417 amount,418 ));419 Ok(())420 }421422 pub fn create_multiple_items(423 collection: &RefungibleHandle<T>,424 sender: &T::CrossAccountId,425 data: Vec<CreateRefungibleExData<T::CrossAccountId>>,426 nesting_budget: &dyn Budget,427 ) -> DispatchResult {428 if !collection.is_owner_or_admin(sender) {429 ensure!(430 collection.permissions.mint_mode(),431 <CommonError<T>>::PublicMintingNotAllowed432 );433 collection.check_allowlist(sender)?;434435 for item in data.iter() {436 for user in item.users.keys() {437 collection.check_allowlist(user)?;438 }439 }440 }441442 for item in data.iter() {443 for (owner, _) in item.users.iter() {444 <PalletCommon<T>>::ensure_correct_receiver(owner)?;445 }446 }447448 449 let totals = data450 .iter()451 .map(|data| {452 Ok(data453 .users454 .iter()455 .map(|u| u.1)456 .try_fold(0u128, |acc, v| acc.checked_add(*v))457 .ok_or(ArithmeticError::Overflow)?)458 })459 .collect::<Result<Vec<_>, DispatchError>>()?;460 for total in &totals {461 ensure!(462 *total <= MAX_REFUNGIBLE_PIECES,463 <Error<T>>::WrongRefungiblePieces464 );465 }466467 let first_token_id = <TokensMinted<T>>::get(collection.id);468 let tokens_minted = first_token_id469 .checked_add(data.len() as u32)470 .ok_or(ArithmeticError::Overflow)?;471 ensure!(472 tokens_minted < collection.limits.token_limit(),473 <CommonError<T>>::CollectionTokenLimitExceeded474 );475476 let mut balances = BTreeMap::new();477 for data in &data {478 for owner in data.users.keys() {479 let balance = balances480 .entry(owner)481 .or_insert_with(|| <AccountBalance<T>>::get((collection.id, owner)));482 *balance = balance.checked_add(1).ok_or(ArithmeticError::Overflow)?;483484 ensure!(485 *balance <= collection.limits.account_token_ownership_limit(),486 <CommonError<T>>::AccountTokenLimitExceeded,487 );488 }489 }490491 for (i, token) in data.iter().enumerate() {492 let token_id = TokenId(first_token_id + i as u32 + 1);493 for (to, _) in token.users.iter() {494 <PalletStructure<T>>::check_nesting(495 sender.clone(),496 to,497 collection.id,498 token_id,499 nesting_budget,500 )?;501 }502 }503504 505506 <TokensMinted<T>>::insert(collection.id, tokens_minted);507 for (account, balance) in balances {508 <AccountBalance<T>>::insert((collection.id, account), balance);509 }510 for (i, token) in data.into_iter().enumerate() {511 let token_id = first_token_id + i as u32 + 1;512 <TotalSupply<T>>::insert((collection.id, token_id), totals[i]);513514 <TokenData<T>>::insert(515 (collection.id, token_id),516 ItemData {517 const_data: token.const_data,518 },519 );520521 for (user, amount) in token.users.into_iter() {522 if amount == 0 {523 continue;524 }525 <Balance<T>>::insert((collection.id, token_id, &user), amount);526 <Owned<T>>::insert((collection.id, &user, TokenId(token_id)), true);527 <PalletStructure<T>>::nest_if_sent_to_token_unchecked(528 &user,529 collection.id,530 TokenId(token_id),531 );532533 534 <PalletCommon<T>>::deposit_event(CommonEvent::ItemCreated(535 collection.id,536 TokenId(token_id),537 user,538 amount,539 ));540 }541 }542 Ok(())543 }544545 pub fn set_allowance_unchecked(546 collection: &RefungibleHandle<T>,547 sender: &T::CrossAccountId,548 spender: &T::CrossAccountId,549 token: TokenId,550 amount: u128,551 ) {552 if amount == 0 {553 <Allowance<T>>::remove((collection.id, token, sender, spender));554 } else {555 <Allowance<T>>::insert((collection.id, token, sender, spender), amount);556 }557 558 <PalletCommon<T>>::deposit_event(CommonEvent::Approved(559 collection.id,560 token,561 sender.clone(),562 spender.clone(),563 amount,564 ))565 }566567 pub fn set_allowance(568 collection: &RefungibleHandle<T>,569 sender: &T::CrossAccountId,570 spender: &T::CrossAccountId,571 token: TokenId,572 amount: u128,573 ) -> DispatchResult {574 if collection.permissions.access() == AccessMode::AllowList {575 collection.check_allowlist(sender)?;576 collection.check_allowlist(spender)?;577 }578579 <PalletCommon<T>>::ensure_correct_receiver(spender)?;580581 if <Balance<T>>::get((collection.id, token, sender)) < amount {582 ensure!(583 collection.ignores_owned_amount(sender) && Self::token_exists(collection, token),584 <CommonError<T>>::CantApproveMoreThanOwned585 );586 }587588 589590 Self::set_allowance_unchecked(collection, sender, spender, token, amount);591 Ok(())592 }593594 595 fn check_allowed(596 collection: &RefungibleHandle<T>,597 spender: &T::CrossAccountId,598 from: &T::CrossAccountId,599 token: TokenId,600 amount: u128,601 nesting_budget: &dyn Budget,602 ) -> Result<Option<u128>, DispatchError> {603 if spender.conv_eq(from) {604 return Ok(None);605 }606 if collection.permissions.access() == AccessMode::AllowList {607 608 collection.check_allowlist(spender)?;609 }610 if let Some(source) = T::CrossTokenAddressMapping::address_to_token(from) {611 612 ensure!(613 <PalletStructure<T>>::check_indirectly_owned(614 spender.clone(),615 source.0,616 source.1,617 None,618 nesting_budget619 )?,620 <CommonError<T>>::ApprovedValueTooLow,621 );622 return Ok(None);623 }624 let allowance =625 <Allowance<T>>::get((collection.id, token, from, &spender)).checked_sub(amount);626 if allowance.is_none() {627 ensure!(628 collection.ignores_allowance(spender),629 <CommonError<T>>::ApprovedValueTooLow630 );631 }632 Ok(allowance)633 }634635 pub fn transfer_from(636 collection: &RefungibleHandle<T>,637 spender: &T::CrossAccountId,638 from: &T::CrossAccountId,639 to: &T::CrossAccountId,640 token: TokenId,641 amount: u128,642 nesting_budget: &dyn Budget,643 ) -> DispatchResult {644 let allowance =645 Self::check_allowed(collection, spender, from, token, amount, nesting_budget)?;646647 648649 Self::transfer(collection, from, to, token, amount, nesting_budget)?;650 if let Some(allowance) = allowance {651 Self::set_allowance_unchecked(collection, from, spender, token, allowance);652 }653 Ok(())654 }655656 pub fn burn_from(657 collection: &RefungibleHandle<T>,658 spender: &T::CrossAccountId,659 from: &T::CrossAccountId,660 token: TokenId,661 amount: u128,662 nesting_budget: &dyn Budget,663 ) -> DispatchResult {664 let allowance =665 Self::check_allowed(collection, spender, from, token, amount, nesting_budget)?;666667 668669 Self::burn(collection, from, token, amount)?;670 if let Some(allowance) = allowance {671 Self::set_allowance_unchecked(collection, from, spender, token, allowance);672 }673 Ok(())674 }675676 677 pub fn create_item(678 collection: &RefungibleHandle<T>,679 sender: &T::CrossAccountId,680 data: CreateRefungibleExData<T::CrossAccountId>,681 nesting_budget: &dyn Budget,682 ) -> DispatchResult {683 Self::create_multiple_items(collection, sender, vec![data], nesting_budget)684 }685686 pub fn repartition(687 collection: &RefungibleHandle<T>,688 owner: &T::CrossAccountId,689 token: TokenId,690 amount: u128,691 ) -> DispatchResult {692 ensure!(693 amount <= MAX_REFUNGIBLE_PIECES,694 <Error<T>>::WrongRefungiblePieces695 );696 ensure!(amount > 0, <CommonError<T>>::TokenValueTooLow);697 698 let total_supply = <TotalSupply<T>>::get((collection.id, token));699 let balance = <Balance<T>>::get((collection.id, token, owner));700 ensure!(701 total_supply == balance,702 <Error<T>>::RepartitionWhileNotOwningAllPieces703 );704705 <Balance<T>>::insert((collection.id, token, owner), amount);706 <TotalSupply<T>>::insert((collection.id, token), amount);707 Ok(())708 }709}