
Blog
Posts

File authenticity checker
Inference authenticity checker and how to use

Michelson code reviews - part 2
Inference reviews both high-level languages and the resulting Michelson code.

FA2 smart contract testing suite
FA2 smart contract testing suite.

Michelson code reviews
Inference reviews both high-level languages and the resulting Michelson code.

Security baseline checking framework for Tezos smart contracts
Inference recently published the first version of the security assessment checklist for smart contracts on Tezos.

Security checklist for Tezos smart contracts
The Tezos-specific security checklist, by Inference