analyze_transaction_post_conditions
Analyze contract calls to determine required post-conditions for transaction security. Essential for identifying necessary safeguards in complex blockchain transactions.
Instructions
Analyze a contract call to determine what post-conditions are required for security. Essential for complex transactions.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| contractAddress | Yes | The contract address being called | |
| contractName | Yes | The contract name being called | |
| expectedTransfers | Yes | Expected asset transfers in the transaction | |
| functionName | Yes | The function being called |
Input Schema (JSON Schema)
{
"properties": {
"contractAddress": {
"description": "The contract address being called",
"type": "string"
},
"contractName": {
"description": "The contract name being called",
"type": "string"
},
"expectedTransfers": {
"description": "Expected asset transfers in the transaction",
"items": {
"additionalProperties": false,
"properties": {
"amount": {
"type": "number"
},
"asset": {
"type": "string"
},
"from": {
"type": "string"
},
"to": {
"type": "string"
},
"tokenId": {
"type": "number"
},
"type": {
"enum": [
"fungible",
"non-fungible",
"stx"
],
"type": "string"
}
},
"required": [
"type"
],
"type": "object"
},
"type": "array"
},
"functionName": {
"description": "The function being called",
"type": "string"
}
},
"required": [
"contractAddress",
"contractName",
"functionName",
"expectedTransfers"
],
"type": "object"
}