ERC20

ERC-20

If `transfer` Returns `false`, the Contract State Is Not Changed

`transferFrom` Never Returns `false`

`transfer` Succeeds on Admissible Non-self Transfers

`totalSupply` Does Not Change the Contract's State

`transferFrom` Performs Self Transfers Correctly

If `transferFrom` Returns `false`, the Contract's State Is Unchanged

`transferFrom` Succeeds on Admissible Self Transfers

`approve` Updates the Approval Mapping Correctly

`approve` Prevents Approvals For the Zero Address

`transferFrom` Fails for Transfers From the Zero Address

`approve` Never Returns `false`

`transfer` Succeeds on Admissible Self Transfers

`balanceOf` Does Not Change the Contract's State

`transferFrom` Transfers the Correct Amount in Non-self Transfers

`balanceOf` Returns the Correct Value

`allowance` Does Not Change the Contract's State

`transferFrom` Succeeds on Admissible Non-self Transfers

`transferFrom` Fails if the Requested Amount Exceeds the Available Balance

`transferFrom` Updated the Allowance Correctly

`transfer` Fails if Requested Amount Exceeds Available Balance

`transferFrom` Prevents Overflows in the Recipient's Balance

`balanceOf` Always Succeeds

If `approve` Returns `false`, the Contract's State Is Unchanged

`approve` Succeeds for Admissible Inputs

`transferFrom` Fails for Transfers To the Zero Address

`transfer` Never Returns `false`

`transfer` Transfers the Correct Amount in Self Transfers

`allowance` Returns Correct Value

`totalSupply` Returns the Value of the Corresponding State Variable

`transferFrom` Fails if the Requested Amount Exceeds the Available Allowance

`transfer` Prevents Overflows in the Recipient's Balance

`transfer` Transfers the Correct Amount in Non-self Transfers

`allowance` Always Succeeds

`transfer` Prevents Transfers to the Zero Address

`totalSupply` Always Succeeds

Initial Token Distribution

AIhub

AIhub.sol

ERC20.sol

IERC20.sol

IERC20Metadata.sol

Context.sol

Formal Verification

https://images.ctfassets.net/jqfm0se0f03r/13oN6NhQGQX77OxGGSl9Pr/456983dacd9386e477e1a12ae15e8961/__2023-10-26_18.32.56.png

AIHub offers an automated process that enables businesses to connect existing AI tools to build solutions, reducing the duplication of effort involved in proprietary development. The platform democratizes access to AI tools and datasets, allowing developers to monetize their inventions and share data and abilities.

Aihub

Aihub

Audit History

Security Assessment

2023/10/27

Solidity

2023/10/31

Skynet

Project Owner?
Activate Today!

Aihub

Audit History

Security Assessment

2023/10/27

Solidity

2023/10/31

Skynet

Project Owner?Activate Today!

Project Owner?
Activate Today!