Smart Contract Audits

Dedicated teams

Companies known to maintain in-house(!) researchers dedicated to Algorand protocol:

• CoinFabrik

Offering Algorand audits

Companies known to deliver AVM audits:

• Certik
• Coinspect
• Kudelski Security
• Runtime Verification
• Trail of Bits
• Vantage Point

Did you know?

Algorand AVM is unique. Many of the pitfalls of EVM do not apply here and contracts are safer and more predictable by design.
You can also write contracts in Python!