Audit Planning

• Multiple Audits
• Check REKT to verify auditors’ reputation
• Peer Reviews
• Auditing & Bounty Platforms
  • Code4Arena
  • Immunefi
• Audit fixes
• Commit the final report to the repo! And do not change the code

Automated Formal Verification

Can you fund the issue in the transfer function?

function transfer(to: address, amount: uint256) public {
	require(funds[msg.sender] > amount);
  
  uint256 fundsTo = funds[to];
  
  funds[msg.sender] -= amount;
  funds[to] = fundsTo + amount;
}

Formal Verification can be used the test better guarantees on the Smart Contracts.

Specification By Example