https://alexzoid.com 2026-04-07T20:11:23.244Z always 1.0 https://alexzoid.com/certora-formal-verification-practical-guide 2025-03-19T08:41:02.193Z daily 0.8 https://alexzoid.com/practical-guide-to-certora-formal-verification-contests 2025-02-25T11:58:06.997Z daily 0.8 https://alexzoid.com/first-steps-with-certora-fv-catching-a-real-bug 2025-02-20T07:40:14.240Z daily 0.8 https://alexzoid.com/page/portfolio 2026-04-07T20:11:23.244Z monthly 0.7 https://alexzoid.com/archive 2026-04-07T20:11:23.244Z daily 0.5 https://alexzoid.com/recommendations 2026-04-07T20:11:23.244Z weekly 0.4