Awesome Tezos Security

This repository serves as a comprehensive resource that delves into the various security aspects of the Tezos blockchain and provides best practices for developing secure smart contracts.

Tezos Smart contract Vulnerability List:

PDF Version: Tezos-Attack-Vectors.pdf

References:

Common Tezos Smart contract Vulnerability ~ OpenTezos

Lilolang Security

---

Security checklist for Tezos smart contracts

• TezosSecurityBaselineChecking
• TezosSecurity Checklist V1 by Inference
• TezosSecurity Checklist V1.1 by Inference
• TezosSecurity Checklist V1.2 by Inference
• TezosSecurity Checklist V2 by Inference

---

Tezos Audit Reports:

• Inference Tezos Audit Reports
• LeastAuthority Tezos Audit Reports
• RAMP SECURITY AUDITS
• Runtime Verification Audit for Quipuswap
• Runtime Verification Audit for Quipuswap StableSwap AMM

Tezos Formal Verification Reports:

• Tezos Dexter V2
• Tezos Liquidity Baking Contract

---

Security Blogs:

• Michelson code reviews
• LigoLang Security
• Michelson Anti-Patterns
• Testing and Debugging Ligo

---

Gas Optimizations

• The Tezos gas model
• Tezos Code Optimization
• Ligolang Gas Optimizations

---

Video Tutorials:

• Tezos research and development Series by Nomadiclabs
• Building a dapp on Tezos in SmartPy - Part 1
• Building a dapp on Tezos in SmartPy - Part 2
• How to build a front-end of a Tezos dapp
• Token Standards on Tezos FA1.2 & FA2
• Building a dapp on Tezos in LIGO - Part 1
• Building a dapp on Tezos in LIGO - Part 2

---

Miscellaneous Resources:

• Awesome Tezos
• Awesome SmartPy
• Open Tezos
• Tezos Developer Resources

---

Official Resources and Community 🌐

• Discord
• Forum
• Telegram
• Twitter
• Website
• Developer Portal
• Source Code at GitLab