Smart contract verification
Prove the correctness of smart contracts compiled for the Ethereum and Cardano virtual machines
NFT Checker
Mints can be gamed, tokens can be stolen, gas can be wasted, and bad code makes people wary of rug pulls.
Protocol verification
Increase confidence in the correctness and security of the decentralized system powered by your protocol
Blockchain advisory services
Receive targeted advice from an RV senior engineer on the verification topic of your choice: smart contracts, tokens, protocols, or virtual machines
Firefly
Firefly is a set of quality assurance tools for Ethereum smart contracts aimed to help developers before the audit and formal verification stages
ERC20 token verifier
Check your token’s full functional compliance with the ERC20 standard (the approve, transfer and transferFrom functions), before deploying it on mainnet