Hats.sol
Hats
Inherits: IHats, ERC1155, Multicallable, HatsIdUtilities
Author: Haberdasher Labs
Hats are DAO-native, revocable, and programmable roles that are represented as non-transferable ERC-1155-similar tokens for composability
This is a multi-tenant contract that can manage all hats for a given chain. While it fully implements the ERC1155 interface, it does not fully comply with the ERC1155 standard.
State Variables
name
The name of the contract, typically including the version
lastTopHatId
The first 4 bytes of the id of the last tophat created.
baseImageURI
The fallback image URI for hat tokens with no imageURI
specified in their branch
_hats
Internal mapping of hats to hat ids. See HatsIdUtilities.sol for more info on how hat ids work
badStandings
Mapping of wearers in bad standing for certain hats
Used by external contracts to trigger penalties for wearers in bad standing hatId => wearer => !standing
Functions
constructor
All arguments are immutable; they can only be set once during construction
Parameters
Name | Type | Description |
---|---|---|
|
| The name of this contract, typically including the version |
|
| The fallback image URI |
mintTopHat
Creates and mints a Hat that is its own admin, i.e. a "topHat"
A topHat has no eligibility and no toggle
Parameters
Name | Type | Description |
---|---|---|
|
| The address to which the newly created topHat is minted |
|
| A description of the Hat [optional]. Should not be larger than 7000 bytes (enforced in changeHatDetails) |
|
| The image uri for this top hat and the fallback for its downstream hats [optional]. Should not be large than 7000 bytes (enforced in changeHatImageURI) |
Returns
Name | Type | Description |
---|---|---|
|
| The id of the newly created topHat |
createHat
Creates a new hat. The msg.sender must wear the _admin
hat.
Initializes a new Hat struct, but does not mint any tokens.
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat that will control who wears the newly created hat |
|
| A description of the Hat. Should not be larger than 7000 bytes (enforced in changeHatDetails) |
|
| The total instances of the Hat that can be worn at once |
|
| The address that can report on the Hat wearer's status |
|
| The address that can deactivate the Hat |
|
| Whether the hat's properties are changeable after creation |
|
| The image uri for this hat and the fallback for its downstream hats [optional]. Should not be larger than 7000 bytes (enforced in changeHatImageURI) |
Returns
Name | Type | Description |
---|---|---|
|
| The id of the newly created Hat |
batchCreateHats
Creates new hats in batch. The msg.sender must be an admin of each hat.
This is a convenience function that loops through the arrays and calls createHat
.
Parameters
Name | Type | Description |
---|---|---|
|
| Array of ids of admins for each hat to create |
|
| Array of details for each hat to create |
|
| Array of supply caps for each hat to create |
|
| Array of eligibility module addresses for each hat to create |
|
| Array of toggle module addresses for each hat to create |
|
| Array of mutable flags for each hat to create |
|
| Array of imageURIs for each hat to create |
Returns
Name | Type | Description |
---|---|---|
|
| True if all createHat calls succeeded |
getNextId
Gets the id of the next child hat of the hat _admin
Does not incrememnt lastHatId
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the hat to serve as the admin for the next child hat |
Returns
Name | Type | Description |
---|---|---|
|
| The new hat id |
mintHat
Mints an ERC1155-similar token of the Hat to an eligible recipient, who then "wears" the hat
The msg.sender must wear an admin Hat of _hatId
, and the recipient must be eligible to wear _hatId
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat to mint |
|
| The address to which the Hat is minted |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the mint succeeded |
batchMintHats
Mints new hats in batch. The msg.sender must be an admin of each hat.
This is a convenience function that loops through the arrays and calls mintHat
.
Parameters
Name | Type | Description |
---|---|---|
|
| Array of ids of hats to mint |
|
| Array of addresses to which the hats will be minted |
Returns
Name | Type | Description |
---|---|---|
|
| True if all mintHat calls succeeded |
setHatStatus
Toggles a Hat's status from active to deactive, or vice versa
The msg.sender must be set as the hat's toggle
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat for which to adjust status |
|
| The new status to set |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the status was toggled |
checkHatStatus
Checks a hat's toggle module and processes the returned status
May change the hat's status in storage
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat whose toggle we are checking |
Returns
Name | Type | Description |
---|---|---|
|
| Whether there was a new status |
_pullHatStatus
setHatWearerStatus
Report from a hat's eligibility on the status of one of its wearers and, if false
, revoke their hat
Burns the wearer's hat, if revoked
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the hat |
|
| The address of the hat wearer whose status is being reported |
|
| Whether the wearer is eligible for the hat (will be revoked if false) |
|
| False if the wearer is no longer in good standing (and potentially should be penalized) |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the report succeeded |
checkHatWearerStatus
Check a hat's eligibility for a report on the status of one of the hat's wearers and, if false
, revoke their hat
Burns the wearer's hat, if revoked
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the hat |
|
| The address of the Hat wearer whose status report is being requested |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the wearer's status was altered |
renounceHat
Stop wearing a hat, aka "renounce" it
Burns the msg.sender's hat
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat being renounced |
_createHat
Internal call for creating a new hat
Initializes a new Hat in storage, but does not mint any tokens
Parameters
Name | Type | Description |
---|---|---|
|
| ID of the hat to be stored |
|
| A description of the hat |
|
| The total instances of the Hat that can be worn at once |
|
| The address that can report on the Hat wearer's status |
|
| The address that can deactivate the hat [optional] |
|
| Whether the hat's properties are changeable after creation |
|
| The image uri for this top hat and the fallback for its downstream hats [optional] |
_processHatStatus
Internal function to process hat status
Updates a hat's status if different from current
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat in quest |
|
| The status to potentially change to |
Returns
Name | Type | Description |
---|---|---|
|
| - Whether the status was updated |
_processHatWearerStatus
Internal call to process wearer status from the eligibility module
Burns the wearer's Hat token if _eligible is false, and updates badStandings state if necessary
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat to revoke |
|
| The address of the wearer in question |
|
| Whether _wearer is eligible for the Hat (if false, this function will revoke their Hat) |
|
| Whether _wearer is in good standing (to be recorded in storage) |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the wearer standing was updated |
_setHatStatus
Internal function to set a hat's status in storage
Flips the 0th bit of _hat.config via bitwise operation
Parameters
Name | Type | Description |
---|---|---|
|
| The hat object |
|
| The status to set for the hat |
_staticBalanceOf
Internal function to retrieve an account's internal "static" balance directly from internal storage,
This function bypasses the dynamic _isActive
and _isEligible
checks
Parameters
Name | Type | Description |
---|---|---|
|
| The account to check |
|
| The hat to check |
Returns
Name | Type | Description |
---|---|---|
|
| The account's static of the hat, from internal storage |
_checkAdmin
Checks whether msg.sender is an admin of a hat, and reverts if not
_checkAdminOrWearer
checks whether the msg.sender is either an admin or wearer or a hat, and reverts the appropriate error if not
transferHat
Transfers a hat from one wearer to another eligible wearer
The hat must be mutable, and the transfer must be initiated by an admin
Parameters
Name | Type | Description |
---|---|---|
|
| The hat in question |
|
| The current wearer |
|
| The new wearer |
makeHatImmutable
Set a mutable hat to immutable
Sets the second bit of hat.config to 0
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat to make immutable |
changeHatDetails
Change a hat's details
Hat must be mutable, except for tophats.
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat to change |
|
| The new details. Must not be larger than 7000 bytes. |
changeHatEligibility
Change a hat's details
Hat must be mutable
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat to change |
|
| The new eligibility module |
changeHatToggle
Change a hat's details
Hat must be mutable
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat to change |
|
| The new toggle module |
changeHatImageURI
Change a hat's details
Hat must be mutable, except for tophats
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat to change |
|
| The new imageURI. Must not be larger than 7000 bytes. |
changeHatMaxSupply
Change a hat's details
Hat must be mutable; new max supply cannot be less than current supply
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat to change |
|
| The new max supply |
requestLinkTopHatToTree
Submits a request to link a Hat Tree under a parent tree. Requests can be submitted by either... a) the wearer of a topHat, previous to any linkage, or b) the admin(s) of an already-linked topHat (aka tree root), where such a request is to move the tree root to another admin within the same parent tree
A topHat can have at most 1 request at a time. Submitting a new request will replace the existing request.
Parameters
Name | Type | Description |
---|---|---|
|
| The domain of the topHat to link |
|
| The hat that will administer the linked tree |
approveLinkTopHatToTree
Approve a request to link a Tree under a parent tree, with options to add eligibility or toggle modules and change its metadata
Requests can only be approved by wearer or an admin of the _newAdminHat
, and there can only be one link per tree root at a given time.
Parameters
Name | Type | Description |
---|---|---|
|
| The 32 bit domain of the topHat to link |
|
| The hat that will administer the linked tree |
|
| Optional new eligibility module for the linked topHat |
|
| Optional new toggle module for the linked topHat |
|
| Optional new details for the linked topHat |
|
| Optional new imageURI for the linked topHat |
unlinkTopHatFromTree
Unlink a Tree from the parent tree
*This can only be called by an admin of the tree root. Fails if the topHat to unlink has no non-zero wearer, which can occur if...
It's wearer is in badStanding
It has been revoked from its wearer (and possibly burned)ห
It is not active (ie toggled off)*
Parameters
Name | Type | Description |
---|---|---|
|
| The 32 bit domain of the topHat to unlink |
|
| The current wearer of the topHat to unlink |
relinkTopHatWithinTree
Move a tree root to a different position within the same parent tree, without a request. Valid destinations include within the same local tree as the origin, or to the local tree of the tippyTopHat. TippyTopHat wearers can bypass this restriction to relink to anywhere in its full tree.
Caller must be both an admin tree root and admin or wearer of _newAdminHat
.
Parameters
Name | Type | Description |
---|---|---|
|
| The 32 bit domain of the topHat to relink |
|
| The new admin for the linked tree |
|
| Optional new eligibility module for the linked topHat |
|
| Optional new toggle module for the linked topHat |
|
| Optional new details for the linked topHat |
|
| Optional new imageURI for the linked topHat |
_linkTopHatToTree
Internal function to link a Tree under a parent Tree, with protection against circular linkages and relinking to a separate Tree, with options to add eligibility or toggle modules and change its metadata
Linking _topHatDomain
replaces any existing links
Parameters
Name | Type | Description |
---|---|---|
|
| The 32 bit domain of the topHat to link |
|
| The new admin for the linked tree |
|
| Optional new eligibility module for the linked topHat |
|
| Optional new toggle module for the linked topHat |
|
| Optional new details for the linked topHat |
|
| Optional new imageURI for the linked topHat |
viewHat
View the properties of a given Hat
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat |
Returns
Name | Type | Description |
---|---|---|
|
| The details of the Hat |
|
| The max supply of tokens for this Hat |
|
| The number of current wearers of this Hat |
|
| The eligibility address for this Hat |
|
| The toggle address for this Hat |
|
| The image URI used for this Hat |
|
| The most recently created Hat with this Hat as admin; also the count of Hats with this Hat as admin |
|
| Whether this hat's properties can be changed |
|
| Whether the Hat is current active, as read from |
isWearerOfHat
Checks whether a given address wears a given Hat
Convenience function that wraps balanceOf
Parameters
Name | Type | Description |
---|---|---|
|
| The address in question |
|
| The id of the Hat that the |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the |
isAdminOfHat
Checks whether a given address serves as the admin of a given Hat
Recursively checks if _user
wears the admin Hat of the Hat in question. This is recursive since there may be a string of Hats as admins of Hats.
Parameters
Name | Type | Description |
---|---|---|
|
| The address in question |
|
| The id of the Hat for which the |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the |
_isActive
Checks the active status of a hat
For internal use instead of isActive
when passing Hat as param is preferable
Parameters
Name | Type | Description |
---|---|---|
|
| The Hat struct |
|
| The id of the hat |
Returns
Name | Type | Description |
---|---|---|
|
| The active status of the hat |
isActive
Checks the active status of a hat
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the hat |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the hat is active |
_getHatStatus
Internal function to retrieve a hat's status from storage
reads the 0th bit of the hat's config
Parameters
Name | Type | Description |
---|---|---|
|
| The hat object |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the hat is active |
_isMutable
Internal function to retrieve a hat's mutability setting
reads the 1st bit of the hat's config
Parameters
Name | Type | Description |
---|---|---|
|
| The hat object |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the hat is mutable |
isInGoodStanding
Checks whether a wearer of a Hat is in good standing
Parameters
Name | Type | Description |
---|---|---|
|
| The address of the Hat wearer |
|
| The id of the Hat |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the wearer is in good standing |
_isEligible
Internal call to check whether an address is eligible for a given Hat
Tries an external call to the Hat's eligibility module, defaulting to existing badStandings state if the call fails (ie if the eligibility module address does not conform to the IHatsEligibility interface)
Parameters
Name | Type | Description |
---|---|---|
|
| The address of the Hat wearer |
|
| The Hat object |
|
| The id of the Hat |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the wearer is eligible for the Hat |
isEligible
Checks whether an address is eligible for a given Hat
Public function for use when passing a Hat object is not possible or preferable
Parameters
Name | Type | Description |
---|---|---|
|
| The address to check |
|
| The id of the Hat |
Returns
Name | Type | Description |
---|---|---|
|
| Whether the wearer is eligible for the Hat |
hatSupply
Gets the current supply of a Hat
Only tracks explicit burns and mints, not dynamic revocations
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat |
Returns
Name | Type | Description |
---|---|---|
|
| The current supply of the Hat |
getHatEligibilityModule
Gets the eligibility module for a hat
Parameters
Name | Type | Description |
---|---|---|
|
| The hat whose eligibility module we're looking for |
Returns
Name | Type | Description |
---|---|---|
|
| The eligibility module for this hat |
getHatToggleModule
Gets the toggle module for a hat
Parameters
Name | Type | Description |
---|---|---|
|
| The hat whose toggle module we're looking for |
Returns
Name | Type | Description |
---|---|---|
|
| The toggle module for this hat |
getHatMaxSupply
Gets the max supply for a hat
Parameters
Name | Type | Description |
---|---|---|
|
| The hat whose max supply we're looking for |
Returns
Name | Type | Description |
---|---|---|
|
| The maximum possible quantity of this hat that could be minted |
getImageURIForHat
Gets the imageURI for a given hat
If this hat does not have an imageURI set, recursively get the imageURI from its admin
Parameters
Name | Type | Description |
---|---|---|
|
| The hat whose imageURI we're looking for |
Returns
Name | Type | Description |
---|---|---|
|
| The imageURI of this hat or, if empty, its admin |
_constructURI
Constructs the URI for a Hat, using data from the Hat struct
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat |
Returns
Name | Type | Description |
---|---|---|
|
| An ERC1155-compatible JSON string |
balanceOf
Gets the Hat token balance of a user for a given Hat
Balance is dynamic based on the hat's status and wearer's eligibility, so off-chain balance data indexed from events may not be in sync
Parameters
Name | Type | Description |
---|---|---|
|
| The address whose balance is being checked |
|
| The id of the Hat |
Returns
Name | Type | Description |
---|---|---|
|
| The |
_mintHat
Internal call to mint a Hat token to a wearer
Unsafe if called when _wearer
has a non-zero balance of _hatId
Parameters
Name | Type | Description |
---|---|---|
|
| The wearer of the Hat and the recipient of the newly minted token |
|
| The id of the Hat to mint |
_burnHat
Internal call to burn a wearer's Hat token
Unsafe if called when _wearer
doesn't have a zero balance of _hatId
Parameters
Name | Type | Description |
---|---|---|
|
| The wearer from which to burn the Hat token |
|
| The id of the Hat to burn |
setApprovalForAll
Approvals are not necessary for Hats since transfers are not handled by the wearer
Admins should use transferHat()
to transfer
safeTransferFrom
Safe transfers are not necessary for Hats since transfers are not handled by the wearer
Admins should use transferHat()
to transfer
safeBatchTransferFrom
Safe transfers are not necessary for Hats since transfers are not handled by the wearer
supportsInterface
ERC165 interface detection
While Hats Protocol conforms to the ERC1155 interface, it does not fully conform to the ERC1155 specification since it does not implement the ERC1155Receiver functionality. For this reason, this function overrides the ERC1155 implementation to return false for ERC1155.
Parameters
Name | Type | Description |
---|---|---|
|
| The interface identifier, as specified in ERC-165 |
Returns
Name | Type | Description |
---|---|---|
|
| bool True if the contract implements |
balanceOfBatch
Batch retrieval for wearer balances
Given the higher gas overhead of Hats balanceOf checks, large batches may be high cost or run into gas limits
Parameters
Name | Type | Description |
---|---|---|
|
| Array of addresses to check balances for |
|
| Array of Hat ids to check, using the same index as _wearers |
uri
View the uri for a Hat
Parameters
Name | Type | Description |
---|---|---|
|
| The id of the Hat |
Returns
Name | Type | Description |
---|---|---|
|
| An 1155-compatible JSON object |
Structs
Hat
This contract's version is labeled v1. Previous versions labeled similarly as v1 and v1.0 are deprecated, and should be treated as beta deployments.
A Hat object containing the hat's properties
The members are packed to minimize storage costs
Last updated