Waves 스마트 자산: 흑백 목록, 간격 거래

이전 두 기사에서는 스마트 계정과 스마트 계정 사용 방법에 대해 이야기했습니다. 경매 개최 및 로열티 프로그램 생성그리고 도움도 줘 금융상품의 투명성 확보.

이제 스마트 자산과 자산 동결, 지정된 주소에서의 거래 제한 등 스마트 자산의 여러 사용 사례를 살펴보겠습니다.

Waves 스마트 자산을 사용하면 스마트 계정과 동일한 메커니즘에 따라 자산에 스크립트를 오버레이할 수 있습니다. 스마트 자산을 사용하여 생성된 각각의 새로운 거래는 먼저 스크립트에 의해 확인되고 그 다음에는 블록체인에 의해 확인됩니다.

스마트 자산과 스마트 계정의 다음 차이점에 주목할 필요가 있습니다.

1. 스마트 자산의 코드에서는 증명을 확인하는 것이 불가능합니다. 첫 번째 기사에서).
2. 스마트 계정 코드에서는 해당 계정이 일치자 계정인 경우에만 ExchangeTransaction을 확인할 수 있습니다. 그렇지 않으면 순서만 확인됩니다. 스마트 자산 코드에서는 주문을 직접 확인할 수 없으며 ExchangeTransaction을 확인하고 필요한 경우 해당 주문을 검색할 수 있습니다.
3. 스마트 계정과 달리 스마트 자산에는 상태가 없지만 스크립트에서 계정 상태에 계속 액세스할 수 있습니다.

스마트 자산은 계약서 작성을 크게 단순화하여 많은 사례의 구현을 간결하고 우아하게 만듭니다.

자산 동결

자산을 특정 블록 높이로 고정하려면 목표 높이, 다음 스마트 자산의 스크립트에서 이 값을 간단히 설정할 수 있습니다.

let targetHeight = 1500000
height >= targetHeight
 
height - функция языка, возращающая текущую высоту.

일치자 특정 조건

특정 일치자를 원하는 것으로 설정하려면 다음과 같은 스마트 자산 스크립트에서 해당 주소를 보낸 사람으로 설정할 수 있습니다.

match tx {
    case t : ExchangeTransaction =>
        t.sender == addressFromString("3PJaDyprvekvPXPuAtxrapacuDJopgJRaU3")
    case _ => true
}

수신자의 "화이트리스트"

토큰이 특정 계정에만 전송되도록 허용하려면(수신자의 "화이트 리스트" 생성) 목록에 포함되는지 확인하는 다음 구성표와 함께 스마트 자산을 사용할 수 있습니다.

match tx {
  case t : TransferTransaction =>
    let trustedRecipient1 = addressFromString("3P6ms9EotRX8JwSrebeTXYVnzpsGCrKWLv4")
    let trustedRecipient2 = addressFromString("3PLZcCJyYQnfWfzhKXRA4rteCQC9J1ewf5K")
    let trustedRecipient3 = addressFromString("3PHrS6VNPRtUD8MHkfkmELavL8JnGtSq5sx")
    t.recipient == trustedRecipient1 || t.recipient == trustedRecipient2 || t.recipient == trustedRecipient3
  case _ => false
}

보안상의 이유와 언어의 완전성 입증을 위해 목록에는 반복기 구현이 포함되어 있지 않습니다. 따라서 이는 구체적인 요소의 집합으로 정의됩니다.

수신자의 "블랙리스트"

마찬가지로 특정 계정에 토큰을 보내는 것을 금지하려면 "블랙리스트"를 만들 수 있습니다. 이 경우 정확히 동일한 스마트 자산이 사용되지만 주소가 블랙리스트에 없는지 확인하기 위해 확인됩니다.

match tx {
  case t : TransferTransaction =>
    let bannedRecipient1 = addressFromString("3P6ms9EotRX8JwSrebeTXYVnzpsGCrKWLv4")
    let bannedRecipient2 = addressFromString("3PLZcCJyYQnfWfzhKXRA4rteCQC9J1ewf5K")
    let bannedRecipient3 = addressFromString("3PHrS6VNPRtUD8MHkfkmELavL8JnGtSq5sx")
    t.recipient != bannedRecipient1 && t.recipient != bannedRecipient2 && t.recipient != bannedRecipient3
  case _ => false
}

발행자의 허가를 받아 발송

스마트 자산을 이용하면 발급자의 허가가 있어야만 스마트 자산을 보낼 수 있는 옵션도 설정할 수 있습니다. (약정/부채 라벨). 발행자는 계정 상태에 거래 ID를 입력하여 동의를 표시합니다.

match tx {
  case t : TransferTransaction =>
    let issuer = extract(addressFromString("3P6ms9EotRX8JwSrebeTXYVnzpsGCrKWLv4"))
    #убеждаемся, что в стейте эмитента содержится ID текущей транзакции
    isDefined(getInteger(issuer, toBase58String(t.id)))
  case _ => false
}

특정 코인으로만 교환

스마트 자산은 특정 코인으로만 교환할 수 있는 권한을 허용합니다. 예를 들어 비트코인 ​​교환만 허용하려면 다음 코드를 사용할 수 있습니다.

let BTCId = base58'8LQW8f7P5d5PZM7GtZEBgaqRPGSzS3DfPuiXrURJ4AJS'
match tx {
  case t : ExchangeTransaction =>
    t.sellOrder.assetPair.priceAsset == BTCId ||
     t.sellOrder.assetPair.amountAsset == BTCId
  case _ => true
}

오라클의 가격으로 거래

스마트 자산 스크립트에서는 신뢰할 수 있는 오라클 상태에서 고정된 가격으로만 거래할 수 있도록 권한을 설정할 수 있습니다. 다음은 그러한 스크립트의 예입니다.

let oracle = Address(base58'3PLNmokt22NrSiNvCLvwMUP84LCMJqbXwAD')
let assetId = toBase58String(base58'oWgJN6YGZFtZrV8BWQ1PGktZikgg7jzGmtm16Ktyvjd')
 
match tx {
  #запрещаем передачу ассета
  case t: TransferTransaction | MassTransferTransaction => false
  case e: ExchangeTransaction =>
    #убеждаемся, что торговля происходит по цене, заданной в стейте оракла для этого ассета
    let correctPrice = e.price == extract(getInteger(oracle, assetId))
    #убеждаемся, что торговля происходит в обмен на WAVES
    let correctPriceAsset = !isDefined(e.sellOrder.assetPair.priceAsset) 
correctPrice && correctPriceAsset
  case _ => true
}

여기서 거래가 수행되는 자산의 ID를 확인할 때 명확하지 않은 지점에 직면하게 됩니다. 요점은 자산 ID가 정의되지 않은 경우 WAVES에 대해 이야기하고 있다는 것입니다. 스크립트에서 우리는 정확히 이런 방식으로 WAVES와 함께 거래가 수행되도록 합니다.

고정 가격 인상

스마트 자산에 대해 고정 가격을 설정할 수 있으며, 이는 주어진 비율에 따라 단계적으로 증가합니다. 다음은 5블록마다 가격이 1000%씩 증가하는 자산 스크립트의 예입니다.

let startPrice = 10
let startHeight = 1000
let interval = 1000
#на сколько процентов цена увеличивается за один шаг
let raise = 5
 
match tx {
  case t: TransferTransaction | MassTransferTransaction => false
  case e: ExchangeTransaction =>
    e.price == startPrice + ((height - startHeight) / interval) * (100 + raise) / 100
    && !isDefined(e.sellOrder.assetPair.priceAsset)
  case _ => true
}

간격거래

또한 스크립트 덕분에 스마트 자산의 거래를 미리 정해진 간격으로 제한할 수 있습니다. 다음은 그러한 스크립트의 예입니다.

let startHeight = 10000
let interval = 44000
let limit = 1500
 
match tx {
  case t: TransferTransaction | MassTransferTransaction | ExchangeTransaction =>
    (height - startHeight) % interval < limit
  case _ => true
}

스크립트에서 우리는 거래 시작부터 시작높이 이하 제한 간격. 간격의 길이는 필드에 지정된 블록 수와 같습니다. 간격.

출처 : habr.com