'/%3e%3cpath%20d='M4%206L17%206L23%2016L17%2022L4%206Z'%20fill='url(%23g)'/%3e%3cpath%20d='M4%206L17%206L20.2%2011.3L15.6%209.9L4%206Z'%20fill='%23fff'%20opacity='0.28'/%3e%3cpath%20d='M44%206H31L19%2024V44H28V26L44%206Z'%20fill='url(%23b)'/%3e%3cpath%20d='M44%206H31L19%2024V44H28V26L44%206Z'%20fill='url(%23g)'/%3e%3cpath%20d='M44%206H31L20.4%2021.8L23.2%2022.9L34.2%208.6H41.6L44%206Z'%20fill='%23fff'%20opacity='0.26'/%3e%3c/svg%3e)
A complete audit protocol verifies: - Discriminators on every account struct. - Signer verification on all authorities. - Owner validation on foreign accounts. - Reentrancy / CEI patterns on CPI calls. - Checked arithmetic enabled in release profile. - Explicit account close data zeroing. - Oracle freshness and confidence boundaries.
← Solana theorytheory 0/100 · 0%
level 1
Curious · 0 XP
streak
0d
perfect
0
badges
0
100 XP to Apprentice
Security · hard
99. Auditing and Formal Verification Checklist
Pre-mainnet security review protocol.
1 min read2 questionsup to 50 XPtopic 99/100
Read in another language
AI translates the explanation and quiz text while preserving code and answer scoring.
How to study this topic
- 1. Read the explanation once end to end, skipping the code.
- 2. Re-read the code snippets and say out loud what each line does.
- 3. Answer the quiz without scrolling back — that is the real check.
- 4. Read every explanation, even for the answers you got right.
Scoring
- · Up to 30 XP from quiz accuracy.
- · +15 XP for a perfect first attempt.
- · +5 XP while a 3-day streak is running.
- · 75% or higher marks the topic complete.
Check your understanding
1. Which compiler profile configuration must be verified before releasing a Solana program to mainnet?
2. What is the primary cause of high-severity exploits in Solana protocols historically?
Badges
First light
Pass your first topic
Sharp shooter
3 perfect first-try quizzes
On a roll
Study 3 days in a row
Week warrior
Study 7 days in a row
Grinder
Earn 500 XP
Deep diver
Earn 1500 XP