Beltsys Labs
Beltsys Labs
Tayt

Tayt

Tayt is a Starknet (Cairo) smart contract fuzzer in a Python box.

Starknet

What is Tayt

A Crytic project, supported by the security company, Trail of Bits, Tayt is a testing library optimized to analyze Cairo smart contracts. Developers can target specific files or run Tayt on entire projects to introduce external functions that 'fuzz' smart contracts and checks for flags. Tayt supports invariant function calls, coverage, and fuzzing of smart contracts that deploy other smart contracts.

Best Dev Tools

Discover more web3 applications and developer tools.

View all dApps →

Need a custom blockchain solution?

We build dApps, smart contracts and Web3 solutions for startups and fintech.

Contact Us