diff --git a/audits/Certora_FV_Report.pdf b/audits/Certora_FV_Report.pdf
deleted file mode 100644
index 7698ee1..0000000
Binary files a/audits/Certora_FV_Report.pdf and /dev/null differ
diff --git a/audits/Formal_Verification_Report_stk_v1_5.pdf b/audits/Formal_Verification_Report_stk_v1_5.pdf
new file mode 100644
index 0000000..c9465c4
Binary files /dev/null and b/audits/Formal_Verification_Report_stk_v1_5.pdf differ
diff --git a/audits/Formal_Verification_Report_stk_v3.pdf b/audits/Formal_Verification_Report_stk_v3.pdf
new file mode 100644
index 0000000..bb72cbb
Binary files /dev/null and b/audits/Formal_Verification_Report_stk_v3.pdf differ