Blog
Posts
Inference - State of Security 2023
Statistical analysis of all our findings from 2023
Tezfin security assessment
Tezfin security assessment.
Inference's assessment reports
Inference's philosophy when it comes to how report bugs, both to the client and publically
The Foundry fundamentals cheat sheet
All the Foundry you need to start your smart contract auditing career
Crypto vademecum
Glossary of common crypto-related wordings
FA1.2 token spender gas issue
Gas issue with FA1.2 token spenders potentially leading to locked tokens
QuipuSwap and PlentySwap security assessments
QuipuSwap and PlentySwap security assessments.
File authenticity checker
Inference authenticity checker and how to use
Make the most out of your audit
5 tips to maximize the effectiveness of your smart contract audits
Michelson code reviews - part 2
Inference reviews both high-level languages and the resulting Michelson code.
Secure your EVM-based projects with Inference
Inference is now performing smart contract audits of EVM-based solutions.
Lurk ZK proof language assessment
Lurk ZK proof language assessment.
FA2 smart contract testing suite
FA2 smart contract testing suite.
Alephium assessment
Inference reviews Alephium's security.
Yupana lending protocol assessment
Inference reviews the Yupana lending protocol.
Anoma MASP circuits assessment
Inference reviews Anoma's MASP circuits.
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.
Cake Wallet assessment
Cake Wallet hired us to review Thorchain's implementation of Monero multisig.
Security checklist for Tezos smart contracts
The Tezos-specific security checklist, by Inference
Hello world
Inference is a new company offering security assessments for the decentralised world, with a particular focus on the Tezos ecosystem.