NFT Auction Program Verification | Orb