Inference

32 issues reported, on average, on all projects we audited. 72 issues on the one with most bugs. If you like stats and security, do not miss our latest post! inference.ag/blog/2024-01-1…

New security review completed! We reviewed @TezosFinance , an on-chain savings and loan platform built on @tezos. Check out our latest blog post to read all about it: inference.ag/blog/2024-01-1…

To report or not to report, that is the question. And Inference has a clear answer in mind. Find out more about it here: inference.ag/blog/2023-12-0… #tezos #Ethereum #EVM

Struggling to start with smart contract auditing? We put together a Foundry cheat sheet to help you tackle the HackTheBox x HackenProof track, check it out! inference.ag/blog/2023-11-1… #EVM #solidity #HackTheBox

LP, HODL, FUD, ICO... It's not an encrypted message, just some common terminology used in the Web3 ecosystem. If you want to know what it all means, check out our vademecum. Let us know what should be added next or need a deep dive! inference.ag/blog/2023-10-2…

Being a FA1.2 token is exhausting! Check out our latest blog post discussing the gas exhaustion issue in the FA1.2 token standard, which can result in assets locked in an improbable edge case: inference.ag/blog/2023-10-0… #tezos @tezos @TezosFoundation

@TezosFoundation hired us to review the security of two Uniswap v3 style swap solutions. One from the @QuipuSwap team and one from @plenty_network. Reports can be found here: inference.ag/blog/2023-26-0…

Check out what @TezosBakingBad, @Kord_Fi, @TeiaCommunity / @TeiaArt, @youves_com think about working with Inference: inference.ag/testimonials/ If you wish to become our next security assessment client, please send us an email at contact@inference.ag.

In Inference we trust! You have an Inference document and you want to make sure it is trustworthy and 100% original? Check out how you can be sure of its authenticity here: inference.ag/blog/2023-08-2…

Are you getting ready for your next smart contract #audit? Follow our #preparation tips for your #EVM-based or #Tezos smart contracts and make the most of your upcoming audit! Read more here: inference.ag/blog/2023-08-1…

New blog “Michelson code reviews (part 2)”: This article delves into the significance of Michelson code reviews in the context of security assessment and optimizing gas usage. Read here: inference.ag/blog/2023-08-0… #tezos #tezoscommunity

Exciting news! Inference is now offering security assessments for Ethereum Virtual Machine (EVM) based smart contracts. Learn more here: inference.ag/blog/2023-07-1… #EVM, #ETHCC2023

New security assessment completed by Inference for 3Route from Baking Bad. Report can be found at: github.com/InferenceAG/Re… @TezosFoundation @TezosBakingBad

A new security assessment has been completed for the smart contract of the Yupana lending protocol created by Madfish. The report can be found at: lnkd.in/e6RN2g-3

A new security assessment has been completed for Anoma MASP circuits. The report can be found at: inference.ag/blog/2022-06-2….

Inference AG is pleased to announce the opening of the new Zurich office located in Langstrasse, designed by Atelier Pluskota. With the new premises we now have a formal location where the whole team can meet and work.

A new security assessment has been completed for Cake Wallet. The report can be found at: inference.ag/blog/2022-03-2…

Writing Tezos smart contracts? Using or auditing ones Our security checklist will help you avoiding disasters: Post: inference.ag/blog/2022-02-0… Document: docs.google.com/document/d/1uQ… Disclaimer: Checking all the boxes is good but does not mean your contracts are secure :)

we're hiring: - must be CH-based or willing to relocate - 100% or 80% rate, can work from home - your skills and attitude matter, but not the rest (diplomas, nationality, favourite foods, etc.) contact[at]inference.ag

Hello world inference.ag/blog/2021-10-0…