https://alexzoid.com 2026-08-12T12:25:12.119Z always 1.0 https://alexzoid.com/certora-formal-verification-practical-guide 2025-03-25T07:13:05.800Z daily 0.8 https://alexzoid.com/practical-guide-to-certora-formal-verification-contests 2025-03-19T11:55:41.451Z daily 0.8 https://alexzoid.com/first-steps-with-certora-fv-catching-a-real-bug 2025-02-20T07:46:14.896Z daily 0.8 https://alexzoid.com/page/portfolio 2026-08-12T12:25:12.119Z monthly 0.7 https://alexzoid.com/archive 2026-08-12T12:25:12.119Z daily 0.5 https://alexzoid.com/recommendations 2026-08-12T12:25:12.119Z weekly 0.4