https://www.certora.com 2025-04-16T11:23:17.000Z weekly 1 https://www.certora.com/prover 2024-09-23T08:04:56.000Z monthly 1 https://www.certora.com/audits 2024-09-23T08:12:40.000Z monthly 1 https://www.certora.com/reports 2026-11-06T19:54:31.000Z weekly 0.8 https://www.certora.com/blog 2026-11-07T15:49:19.000Z daily 0.9 https://www.certora.com/blog/engineers-hub 2026-11-07T15:49:20.000Z daily 0.7 https://www.certora.com/enterprise 2024-09-23T08:13:59.000Z monthly 0.9 https://www.certora.com/team 2026-10-22T14:49:02.000Z monthly 0.6 https://www.certora.com/privacy 2023-11-13T15:33:48.000Z monthly 0.5 https://www.certora.com/terms 2026-07-29T08:15:57.000Z monthly 0.5 https://www.certora.com/gambit 2026-10-09T19:52:26.000Z monthly 0.8 https://www.certora.com/contests 2025-08-11T21:05:55.000Z monthly 0.7 https://careers.certora.com/#jobs monthly 0.5 https://www.certora.com/blog/securing-uniswap-v4-part-5 2026-11-07T15:49:20.000Z monthly 0.7 https://www.certora.com/blog/5myths 2026-11-07T15:49:06.000Z monthly 0.7 https://www.certora.com/blog/roadmap-to-a-soroban-security-audit 2026-11-07T15:49:20.000Z monthly 0.7 https://www.certora.com/blog/optimize-gas-without-getting-rekt-part-1 2026-11-07T15:49:20.000Z monthly 0.7 https://www.certora.com/blog/tectonic-exploit-120million-collateral-inflation-attack 2026-11-07T15:49:19.000Z monthly 0.7 https://www.certora.com/blog/proving-solvency-in-uniswaps-amm 2026-11-07T15:49:19.000Z monthly 0.7 https://www.certora.com/blog/threat-modeling 2026-11-07T15:49:19.000Z monthly 0.7 https://www.certora.com/blog/rapid-response-full-recovery-certora-and-texture-a 2026-11-07T15:49:07.000Z monthly 0.7 https://www.certora.com/blog/rekt-part-2 2026-11-07T15:49:19.000Z monthly 0.7 https://www.certora.com/blog/token-extensions-audit 2026-11-07T15:49:18.000Z monthly 0.7 https://www.certora.com/blog/certora-cork-hypernative 2026-11-07T15:49:05.000Z monthly 0.7 https://www.certora.com/blog/reflecting-on-our-journey-with-aave 2026-11-07T15:49:18.000Z monthly 0.7 https://www.certora.com/blog/bitget-hack-forged-withdrawal-attack 2026-11-07T15:49:18.000Z monthly 0.7 https://www.certora.com/blog/autoprover-agentic-formal-verification 2026-11-07T15:49:18.000Z monthly 0.7 https://www.certora.com/blog/silo-incident-report-contract-exploit 2026-11-07T15:49:17.000Z monthly 0.7 https://www.certora.com/blog/shiftleft 2026-11-07T15:49:07.000Z monthly 0.7 https://www.certora.com/blog/breaking-down-the-balancer-hack 2026-11-07T15:49:17.000Z monthly 0.7 https://www.certora.com/blog/silo-finance-post-mortem 2026-11-07T15:49:17.000Z monthly 0.7 https://www.certora.com/blog/autoprover-aave-v4-hub-formal-verification 2026-11-07T15:49:17.000Z monthly 0.7 https://www.certora.com/blog/writing-verification-friendly-smart-contracts-in-rust 2026-11-07T15:49:17.000Z monthly 0.7 https://www.certora.com/blog/formal-verification-vs-fuzzing 2026-11-07T15:49:16.000Z monthly 0.7 https://www.certora.com/blog/cve-2026-32322-soroban-sdk-bug 2026-11-07T15:49:16.000Z monthly 0.7 https://www.certora.com/blog/formal-verification-solana-stake-pool 2026-11-07T15:49:16.000Z monthly 0.7 https://www.certora.com/blog/solana-token-extensions 2026-11-07T15:49:16.000Z monthly 0.7 https://www.certora.com/blog/post-mortem-analysis-of-the-notional-finance-vulnerability 2026-11-07T15:49:15.000Z monthly 0.7 https://www.certora.com/blog/vyper-announcement 2026-11-07T15:49:15.000Z monthly 0.7 https://www.certora.com/blog/formally-verifying-webassembly 2026-11-07T15:49:15.000Z monthly 0.7 https://www.certora.com/blog/threat-model-stablecoin-chains 2026-11-07T15:49:15.000Z monthly 0.7 https://www.certora.com/blog/spl-extension 2026-11-07T15:49:14.000Z monthly 0.7 https://www.certora.com/blog/protecting-uniswap-v4-against-unknown-attacks-part-one-a-threat-model 2026-11-07T15:49:06.000Z monthly 0.7 https://www.certora.com/blog/formal-verification 2026-11-07T15:49:14.000Z monthly 0.7 https://www.certora.com/blog/finding-compiler-bugs-with-formal-verification 2026-11-07T15:49:14.000Z monthly 0.7 https://www.certora.com/blog/uniswap-v4-audits-what-we-learned-about-defi-security 2026-11-07T15:49:06.000Z monthly 0.7 https://www.certora.com/blog/certora-wins-canton-foundation-grant 2026-11-07T15:49:14.000Z monthly 0.7 https://www.certora.com/blog/formally-verifying-zlib-memory-safety-with-lean 2026-11-07T15:49:13.000Z monthly 0.7 https://www.certora.com/blog/catch-tricky-bugs-in-less-time-using-formal-verification 2026-11-07T15:49:13.000Z monthly 0.7 https://www.certora.com/blog/3-myths-of-formal-verification 2026-11-07T15:49:13.000Z monthly 0.7 https://www.certora.com/blog/the-double-edged-dao-sword 2026-11-07T15:49:13.000Z monthly 0.7 https://www.certora.com/blog/white-paper 2026-11-07T15:49:12.000Z monthly 0.7 https://www.certora.com/blog/auditing-smart-contracts-solana 2026-11-07T15:49:12.000Z monthly 0.7 https://www.certora.com/blog/gambit 2026-11-07T15:49:12.000Z monthly 0.7 https://www.certora.com/blog/concordance-automatically-simplifying-smart-contracts 2026-11-07T15:49:12.000Z monthly 0.7 https://www.certora.com/blog/llvm-bug 2026-11-07T15:49:11.000Z monthly 0.7 https://www.certora.com/blog/fv-suilend 2026-11-07T15:49:11.000Z monthly 0.7 https://www.certora.com/blog/the-holy-grail 2026-11-07T15:49:11.000Z monthly 0.7 https://www.certora.com/blog/certora-x-sui 2026-11-07T15:49:11.000Z monthly 0.7 https://www.certora.com/blog/harness-your-math-skills 2026-11-07T15:49:11.000Z monthly 0.7 https://www.certora.com/blog/payy-exploit-forged-zk-proof-attack 2026-11-07T15:49:07.000Z monthly 0.7 https://www.certora.com/blog/auditing-smart-contracts-stellar 2026-11-07T15:49:10.000Z monthly 0.7 https://www.certora.com/blog/announcing-safeguard 2026-11-07T15:49:10.000Z monthly 0.7 https://www.certora.com/blog/prover_v8_5_1 2026-11-07T15:49:07.000Z monthly 0.7 https://www.certora.com/blog/bringing-formal-verification-to-rust 2026-11-07T15:49:06.000Z monthly 0.7 https://www.certora.com/blog/certora-ai-composer-first-safe-ai-coding-platform 2026-11-07T15:49:10.000Z monthly 0.7 https://www.certora.com/blog/securing-sushiswaps-trident 2026-11-07T15:49:10.000Z monthly 0.7 https://www.certora.com/blog/bridge-single-points-of-failure 2026-11-07T15:49:09.000Z monthly 0.7 https://www.certora.com/blog/certora-goes-open-source 2026-11-07T15:49:08.000Z monthly 0.7 https://www.certora.com/blog/momentum-for-2026 2026-11-07T15:49:09.000Z monthly 0.7 https://www.certora.com/blog/when-one-wei-costs-millions 2026-11-07T15:49:09.000Z monthly 0.7 https://www.certora.com/blog/best-practices-for-writing-secure-uniswap-v4-hooks 2026-11-07T15:49:08.000Z monthly 0.7 https://www.certora.com/blog/ensuring-fair-redemptions-in-infinifi-with-formal-verification 2026-11-07T15:49:09.000Z monthly 0.7 https://www.certora.com/blog/strengthening-symbiotics-security-for-mainnet-launch 2026-11-07T15:49:08.000Z monthly 0.7 https://www.certora.com/blog/certora-x-aavev4 2026-11-07T15:49:08.000Z monthly 0.7 https://www.certora.com/blog/proving-p-token 2026-11-07T15:49:08.000Z monthly 0.7 https://www.certora.com/blog/certora-x-1inch.crosschain-swaps 2026-11-06T11:24:51.000Z monthly 0.7 https://www.certora.com/blog/securing-zkevm-optimizations 2026-11-06T11:24:42.000Z monthly 0.7 https://www.certora.com/blog/prover_v8_3_0 2026-11-06T11:24:44.000Z monthly 0.7 https://www.certora.com/blog/prover_v8.13.0 2026-11-06T11:24:44.000Z monthly 0.7 https://www.certora.com/blog/the-electra-upgrade 2026-11-06T11:24:39.000Z monthly 0.7 https://www.certora.com/blog/prover-730 2026-11-06T11:24:45.000Z monthly 0.7 https://www.certora.com/blog/operating-a-solana-validator 2026-11-06T11:24:46.000Z monthly 0.7 https://www.certora.com/blog/the-shift-to-zero-trust 2026-11-06T11:24:38.000Z monthly 0.7 https://www.certora.com/blog/formal-verification-testing-auditing 2026-11-06T11:24:49.000Z monthly 0.7 https://www.certora.com/blog/sol-token 2026-11-06T19:54:26.000Z monthly 0.7 https://www.certora.com/blog/incorrect-calldata-validation-in-inter-contract-communication 2026-11-06T11:24:48.000Z monthly 0.7 https://www.certora.com/blog/autoprover-rust-formal-verification-solana 2026-11-06T11:24:54.000Z monthly 0.7 https://www.certora.com/blog/auditing-smart-contracts-canton 2026-11-05T20:53:36.000Z monthly 0.7 https://www.certora.com/blog/moonwell-exploit-supply-cap-bypass-attack 2026-11-02T19:58:53.000Z monthly 0.7 https://www.certora.com/blog/sui-order-book-liveness-vulnerability 2026-11-06T11:24:40.000Z monthly 0.7 https://www.certora.com/blog/capture-the-funds 2026-11-06T11:24:52.000Z monthly 0.7 https://www.certora.com/blog/designing-solidity-contracts-for-easier-formal-verification 2026-11-06T11:24:50.000Z monthly 0.7 https://www.certora.com/blog/the-solidity-compiler-silently-corrupts-storage 2026-11-06T11:24:37.000Z monthly 0.7 https://www.certora.com/blog/are-blockchains-ready-for-atp 2026-11-06T11:24:54.000Z monthly 0.7 https://www.certora.com/blog/bybit-hack-multisig-wallet-security 2026-11-06T11:24:52.000Z monthly 0.7 https://www.certora.com/blog/devcon-india-2026-ai-formal-verification 2026-11-05T20:53:36.000Z monthly 0.7 https://www.certora.com/blog/non-deterministic-solidity-transactions 2026-11-06T11:24:46.000Z monthly 0.7 https://www.certora.com/blog/formal-verification-powdr-autoprecompiles 2026-11-06T11:24:49.000Z monthly 0.7 https://www.certora.com/blog/prover_v8.8.0 2026-11-06T11:24:44.000Z monthly 0.7 https://www.certora.com/blog/formally-verified-code-wrong-how-catch-it 2026-11-05T20:53:36.000Z monthly 0.7 https://www.certora.com/blog/take-no-hint-soundness-vulnerability-gnark 2026-11-06T11:24:39.000Z monthly 0.7 https://www.certora.com/blog/overly-optimistic-optimizer 2026-11-06T11:24:46.000Z monthly 0.7 https://www.certora.com/blog/problems-in-solidity-fixed-point-libraries 2026-11-06T11:24:45.000Z monthly 0.7 https://www.certora.com/blog/securing-kamino-lending 2026-11-06T11:24:42.000Z monthly 0.7 https://www.certora.com/blog/sol-formal-verification 2026-11-06T19:54:26.000Z monthly 0.7 https://www.certora.com/blog/prover_v8_1_0 2026-11-06T11:24:44.000Z monthly 0.7 https://www.certora.com/blog/solidity-code-generation-bug-can-cause-memory-corruption 2026-11-06T11:24:40.000Z monthly 0.7 https://www.certora.com/blog/popsicle-finance-bug-revisited--preventing-the-20m 2026-11-06T11:24:45.000Z monthly 0.7 https://www.certora.com/blog/what-is-formal-verification 2026-11-06T11:24:36.000Z monthly 0.7 https://www.certora.com/blog/certora-joins-the-solana-foundation-delegation-program 2026-11-06T11:24:52.000Z monthly 0.7 https://www.certora.com/blog/prover_v8.11.3 2026-11-06T11:24:45.000Z monthly 0.7 https://www.certora.com/blog/keep-it-like-a-secret 2026-11-06T11:24:47.000Z monthly 0.7 https://www.certora.com/blog/bls-signature-subtleties 2026-11-06T11:24:53.000Z monthly 0.7 https://www.certora.com/blog/memory-isolation-violation-in-deserialization-code 2026-11-06T11:24:47.000Z monthly 0.7 https://www.certora.com/blog/static-analysis-eof-response 2026-10-30T02:42:50.000Z monthly 0.7 https://www.certora.com/blog/prover_v8.6.3 2026-10-30T02:42:47.000Z monthly 0.7 https://www.certora.com/blog/how-certora-is-securing-uniswap-v4s-multi-billion-ecosystem 2026-10-30T02:42:47.000Z monthly 0.7 https://www.certora.com/blog/compound-website-attack 2026-10-30T02:42:36.000Z monthly 0.7 https://www.certora.com/blog/quorum-dao-governance-security 2026-10-30T02:42:40.000Z monthly 0.7 https://www.certora.com/reports/balancer-timelock 2026-11-06T19:54:31.000Z monthly 0.7 https://www.certora.com/reports/oz-contracts 2026-11-06T19:54:31.000Z monthly 0.7 https://www.certora.com/reports/aave-gho 2026-11-06T19:54:31.000Z monthly 0.7 https://www.certora.com/reports/silo-report 2026-11-06T19:54:30.000Z monthly 0.7 https://www.certora.com/reports/aave-clsynchronicity-price-adapter 2026-11-06T19:54:30.000Z monthly 0.7 https://www.certora.com/reports/balancer-stable-pool 2026-11-06T19:54:30.000Z monthly 0.7 https://www.certora.com/reports/aave-static-a-token 2026-11-06T19:54:29.000Z monthly 0.7 https://www.certora.com/reports/aave-vault 2026-11-06T19:54:29.000Z monthly 0.7 https://www.certora.com/reports/oz-report 2026-11-06T19:54:30.000Z monthly 0.7 https://www.certora.com/reports/aave-pr-820 2026-11-06T19:54:27.000Z monthly 0.7 https://www.certora.com/reports/dcspark-report 2026-11-06T19:54:27.000Z monthly 0.7 https://www.certora.com/reports/lido-v2 2026-11-06T19:54:27.000Z monthly 0.7 https://www.certora.com/reports/aave-v301 2026-11-06T19:54:27.000Z monthly 0.7 https://www.certora.com/reports/aave-rescue-mission 2026-11-06T19:54:29.000Z monthly 0.7 https://www.certora.com/reports/radicle-drips 2026-11-06T19:54:29.000Z monthly 0.7 https://www.certora.com/reports/traderjoe-report 2026-11-06T19:54:28.000Z monthly 0.7 https://www.certora.com/reports/benqi-report 2026-11-06T19:54:28.000Z monthly 0.7 https://www.certora.com/reports/compound-report 2026-11-06T19:54:28.000Z monthly 0.7 https://www.certora.com/reports/sonic-bridge 2026-10-26T19:49:27.000Z monthly 0.7 https://www.certora.com/reports/jito-restaking-security-assessment--formal-verification-report-v1 2026-10-26T19:49:25.000Z monthly 0.7 https://www.certora.com/reports/cozy-finance-fv 2026-10-26T19:49:44.000Z monthly 0.7 https://www.certora.com/reports/suilend-liquid-staking 2026-10-26T19:49:45.000Z monthly 0.7 https://www.certora.com/reports/safe-v1.5.0 2026-10-26T19:49:37.000Z monthly 0.7 https://www.certora.com/reports/lulo-smart-contract-security-assessment-report 2026-10-26T19:49:31.000Z monthly 0.7 https://www.certora.com/reports/uniswap-v4 2026-10-26T19:49:25.000Z monthly 0.7 https://www.certora.com/reports/veda-yield-streaming 2026-10-26T19:49:47.000Z monthly 0.7 https://www.certora.com/reports/calastone-ctd 2026-10-26T19:49:44.000Z monthly 0.7 https://www.certora.com/reports/ether.fi-v3-prelude 2026-10-26T19:49:38.000Z monthly 0.7 https://www.certora.com/reports/silo-router-report 2026-10-26T19:49:36.000Z monthly 0.7 https://www.certora.com/reports/kamino-lending-security-report 2026-10-26T19:49:32.000Z monthly 0.7 https://www.certora.com/reports/ether.fi-oct-2025 2026-10-26T19:49:39.000Z monthly 0.7 https://www.certora.com/reports/suilend 2026-10-26T19:49:45.000Z monthly 0.7 https://www.certora.com/reports/compound-reth-capo 2026-10-26T19:49:45.000Z monthly 0.7 https://www.certora.com/reports/solana-foundation-security-report 2026-10-26T19:49:24.000Z monthly 0.7 https://www.certora.com/reports/claynosaurz-nft 2026-10-26T19:49:37.000Z monthly 0.7 https://www.certora.com/reports/gmx 2026-10-26T19:49:20.000Z monthly 0.7 https://www.certora.com/reports/eignelayer-security-report 2026-10-26T19:49:32.000Z monthly 0.7 https://www.certora.com/reports/lido-v3-oracle-12-2025 2026-10-26T19:49:41.000Z monthly 0.7 https://www.certora.com/reports/solana-ptoken 2026-10-26T19:49:49.000Z monthly 0.7 https://www.certora.com/reports/lido-dual-governance-audit-report 2026-10-26T19:49:33.000Z monthly 0.7 https://www.certora.com/reports/calastone-ctd-certora-report 2026-10-26T19:49:52.000Z monthly 0.7 https://www.certora.com/reports/blend 2026-10-26T19:49:21.000Z monthly 0.7 https://www.certora.com/reports/compound-comet-erc4626-wrapper 2026-10-26T19:49:52.000Z monthly 0.7 https://www.certora.com/reports/ether.fi-jan-2026-2 2026-10-26T19:49:42.000Z monthly 0.7 https://www.certora.com/reports/balancer-lpb-security-report 2026-10-26T19:49:33.000Z monthly 0.7 https://www.certora.com/reports/den-mls-wallet 2026-10-26T19:49:48.000Z monthly 0.7 https://www.certora.com/reports/relend-security-assessment-report 2026-10-26T19:49:32.000Z monthly 0.7 https://www.certora.com/reports/umia 2026-10-26T19:49:46.000Z monthly 0.7 https://www.certora.com/reports/kinto 2026-10-26T19:49:23.000Z monthly 0.7 https://www.certora.com/reports/compound-v3-governor-whitelist 2026-10-26T19:49:41.000Z monthly 0.7 https://www.certora.com/reports/eigenlayer-pepe 2026-10-26T19:49:24.000Z monthly 0.7 https://www.certora.com/reports/aquarius-amm-security 2026-10-26T19:49:28.000Z monthly 0.7 https://www.certora.com/reports/polygon-vault-bridge 2026-10-26T19:49:36.000Z monthly 0.7 https://www.certora.com/reports/origin-protocol 2026-10-26T19:49:29.000Z monthly 0.7 https://www.certora.com/reports/huma 2026-10-26T19:49:24.000Z monthly 0.7 https://www.certora.com/reports/slender 2026-10-26T19:49:23.000Z monthly 0.7 https://www.certora.com/reports/frax-bamm 2026-10-26T19:49:28.000Z monthly 0.7 https://www.certora.com/reports/squads-v4 2026-10-26T19:49:28.000Z monthly 0.7 https://www.certora.com/reports/veda-incentive-teller-system 2026-10-26T19:49:47.000Z monthly 0.7 https://www.certora.com/reports/twamm-hook 2026-10-26T19:49:30.000Z monthly 0.7 https://www.certora.com/reports/aave-v4-fv-tokenizationspoke 2026-10-26T19:49:50.000Z monthly 0.7 https://www.certora.com/reports/cables 2026-10-26T19:49:22.000Z monthly 0.7 https://www.certora.com/reports/calastone-digital-investment 2026-10-26T19:49:40.000Z monthly 0.7 https://www.certora.com/reports/templar 2026-10-26T19:49:45.000Z monthly 0.7 https://www.certora.com/reports/light-extension 2026-10-26T19:49:43.000Z monthly 0.7 https://www.certora.com/reports/royco-dawn-fv 2026-10-26T19:49:50.000Z monthly 0.7 https://www.certora.com/reports/balancer-v3 2026-10-26T19:49:27.000Z monthly 0.7 https://www.certora.com/reports/texture-finance-security-report 2026-10-26T19:49:35.000Z monthly 0.7 https://www.certora.com/reports/lido-v3-audit-01-2026 2026-10-26T19:49:42.000Z monthly 0.7 https://www.certora.com/reports/liquity-bold 2026-10-26T19:49:28.000Z monthly 0.7 https://www.certora.com/reports/sui-bridge 2026-10-26T19:49:39.000Z monthly 0.7 https://www.certora.com/reports/silo-v2 2026-10-26T19:49:29.000Z monthly 0.7 https://www.certora.com/reports/seamless 2026-10-26T19:49:22.000Z monthly 0.7 https://www.certora.com/reports/paraswap 2026-10-26T19:49:23.000Z monthly 0.7 https://www.certora.com/reports/ether.fi-nov-2025 2026-10-26T19:49:40.000Z monthly 0.7 https://www.certora.com/reports/mezzanine-fv 2026-10-26T19:49:49.000Z monthly 0.7 https://www.certora.com/reports/tokemak 2026-10-26T19:49:22.000Z monthly 0.7 https://www.certora.com/reports/silocore-v2-smart-contract-coverage-report 2026-10-26T19:49:34.000Z monthly 0.7 https://www.certora.com/reports/compound-v3-multiplier-plugin 2026-10-26T19:49:41.000Z monthly 0.7 https://www.certora.com/reports/safe-mobile 2026-10-26T19:49:39.000Z monthly 0.7 https://www.certora.com/reports/spectra-bridge 2026-10-26T19:49:49.000Z monthly 0.7 https://www.certora.com/reports/veda-fuzz-testing 2026-10-26T19:49:47.000Z monthly 0.7 https://www.certora.com/reports/reserve 2026-10-26T19:49:46.000Z monthly 0.7 https://www.certora.com/reports/blend-smart-contract-verification-report 2026-10-26T19:49:30.000Z monthly 0.7 https://www.certora.com/reports/aave-v4-fv-hub 2026-10-26T19:49:51.000Z monthly 0.7 https://www.certora.com/reports/delv 2026-10-26T19:49:21.000Z monthly 0.7 https://www.certora.com/reports/re-core 2026-10-26T19:49:38.000Z monthly 0.7 https://www.certora.com/reports/glow-finance-lrt-security-assessment-report 2026-10-26T19:49:31.000Z monthly 0.7 https://www.certora.com/reports/compound-price-oracle 2026-10-26T19:49:16.000Z monthly 0.7 https://www.certora.com/reports/orbt 2026-10-26T19:49:43.000Z monthly 0.7 https://www.certora.com/reports/spark-alm 2026-10-26T19:49:48.000Z monthly 0.7 https://www.certora.com/reports/manifest 2026-10-26T19:49:27.000Z monthly 0.7 https://www.certora.com/reports/lido-dual-governance-design-review 2026-10-26T19:49:33.000Z monthly 0.7 https://www.certora.com/reports/balancer-mev-tax-hook-security-report 2026-10-26T19:49:32.000Z monthly 0.7 https://www.certora.com/reports/ajna 2026-10-26T19:49:21.000Z monthly 0.7 https://www.certora.com/reports/kamino-vault-audit-report 2026-10-26T19:49:37.000Z monthly 0.7 https://www.certora.com/reports/silo-corev2-security-report 2026-10-26T19:49:36.000Z monthly 0.7 https://www.certora.com/reports/ether.fi 2026-10-26T19:49:29.000Z monthly 0.7 https://www.certora.com/reports/boring-bridge-veda-security-report 2026-10-26T19:49:30.000Z monthly 0.7 https://www.certora.com/reports/protofire 2026-10-26T19:49:21.000Z monthly 0.7 https://www.certora.com/reports/tradeport 2026-10-26T19:49:46.000Z monthly 0.7 https://www.certora.com/reports/ether.fi-jan-2026 2026-10-26T19:49:42.000Z monthly 0.7 https://www.certora.com/reports/ether.fi-rewardsmanager 2026-10-26T19:49:35.000Z monthly 0.7 https://www.certora.com/reports/cap 2026-10-26T19:49:40.000Z monthly 0.7 https://www.certora.com/reports/aave-v4-fv-spoke 2026-10-26T19:49:50.000Z monthly 0.7 https://www.certora.com/reports/curve-security-analysis-report 2026-10-26T19:49:23.000Z monthly 0.7 https://www.certora.com/reports/saturn-dollar 2026-10-26T19:49:47.000Z monthly 0.7 https://www.certora.com/reports/compound-bytecoderepository 2026-10-26T19:49:48.000Z monthly 0.7 https://www.certora.com/reports/spark-pau-deployments-audit 2026-10-26T19:49:15.000Z monthly 0.7 https://www.certora.com/reports/midas-certora-report 2026-10-26T19:49:52.000Z monthly 0.7 https://www.certora.com/reports/ether.fi-priority-queue 2026-10-26T19:49:43.000Z monthly 0.7 https://www.certora.com/reports/compound-v3-extended-pause 2026-10-26T19:49:41.000Z monthly 0.7 https://www.certora.com/reports/ether.fi-v2.49 2026-10-26T19:49:35.000Z monthly 0.7 https://www.certora.com/reports/aave-v3-risk-steward 2026-10-26T19:49:36.000Z monthly 0.7 https://www.certora.com/reports/fv-aave-stablevault 2026-10-26T19:49:51.000Z monthly 0.7 https://www.certora.com/reports/aave-v4-fv-libraries 2026-10-26T19:49:51.000Z monthly 0.7 https://www.certora.com/reports/infinifi-protocol-formal-verification-report 2026-10-26T19:49:37.000Z monthly 0.7 https://www.certora.com/reports/aftermath-finance-perpetuals-audit 2026-10-26T17:47:55.000Z monthly 0.7 https://www.certora.com/reports/squads-smart-account-program-report 2026-10-26T19:49:34.000Z monthly 0.7 https://www.certora.com/reports/tether-token-security-and-formal-verification-report 2026-10-26T19:49:23.000Z monthly 0.7 https://www.certora.com/reports/kamino-limo-audit-report 2026-10-26T19:49:38.000Z monthly 0.7 https://www.certora.com/reports/apyx-apxusd 2026-10-26T19:49:42.000Z monthly 0.7 https://www.certora.com/reports/layerzero-v2 2026-10-26T19:49:20.000Z monthly 0.7 https://www.certora.com/reports/solana-stake-pool 2026-10-26T19:49:51.000Z monthly 0.7 https://www.certora.com/reports/doppler-security-assessment-report 2026-10-26T19:49:31.000Z monthly 0.7 https://www.certora.com/reports/jito-restaking-security-assessment--formal-verification-report-v2 2026-10-26T19:49:26.000Z monthly 0.7 https://www.certora.com/reports/kleros-v2 2026-10-26T19:49:43.000Z monthly 0.7 https://www.certora.com/reports/jito-tip-router-security-report 2026-10-26T19:49:32.000Z monthly 0.7 https://www.certora.com/reports/jito-foundation-stake-deposit-interceptor 2026-10-26T19:49:28.000Z monthly 0.7 https://www.certora.com/reports/glow-v1 2026-10-26T19:49:27.000Z monthly 0.7 https://www.certora.com/reports/euler-vault-kit 2026-10-26T19:49:25.000Z monthly 0.7 https://www.certora.com/reports/symbiotic 2026-10-26T19:49:24.000Z monthly 0.7 https://www.certora.com/reports/royco-day-certora-audit 2026-10-26T19:49:51.000Z monthly 0.7 https://www.certora.com/reports/alluvialfinance-liquidcollective 2026-10-26T19:49:26.000Z monthly 0.7 https://www.certora.com/reports/moviepass-exchange-security-report 2026-10-26T19:49:33.000Z monthly 0.7 https://www.certora.com/reports/comet-service-patch 2026-10-26T19:49:48.000Z monthly 0.7 https://www.certora.com/reports/reytscad 2026-10-26T19:49:50.000Z monthly 0.7 https://www.certora.com/reports/cozy-router-euler-helpers 2026-10-26T19:49:44.000Z monthly 0.7 https://www.certora.com/reports/1inch-cross-chain-swap 2026-10-26T19:49:39.000Z monthly 0.7 https://www.certora.com/reports/saturn-dollar-m0-extensions 2026-10-26T19:49:47.000Z monthly 0.7 https://www.certora.com/reports/fragmetric-restaking-v0.6.3 2026-10-26T19:49:38.000Z monthly 0.7 https://www.certora.com/reports/mayan-smart-contract-security-report 2026-10-26T19:49:34.000Z monthly 0.7 https://www.certora.com/reports/lido-dual-governance-security-audit-and-formal-verification-report 2026-10-26T19:49:30.000Z monthly 0.7 https://www.certora.com/reports/grove-alm 2026-10-26T19:49:40.000Z monthly 0.7 https://www.certora.com/reports/fragmetric 2026-10-26T19:49:26.000Z monthly 0.7 https://www.certora.com/reports/ether.fi-eigenlayer-slashing 2026-10-26T19:49:35.000Z monthly 0.7 https://www.certora.com/reports/1delta-dao-compound-integration 2026-10-26T19:49:44.000Z monthly 0.7 https://www.certora.com/reports/openzeppelin-stellar-contracts-audit-formal-verification 2026-10-26T19:49:52.000Z monthly 0.7 https://www.certora.com/reports/balancer-stablepool-surge-hooks 2026-10-26T19:49:31.000Z monthly 0.7 https://www.certora.com/reports/reflector-security-assessment-v1 2026-10-26T19:49:26.000Z monthly 0.7 https://www.certora.com/reports/lido-v3-fv-12-2025 2026-10-26T19:49:41.000Z monthly 0.7 https://www.certora.com/reports/royco-dawn 2026-10-26T19:49:49.000Z monthly 0.7 https://www.certora.com/reports/coinbase-wallet 2026-10-26T19:49:22.000Z monthly 0.7 https://www.certora.com/reports/compound-treasury-manager 2026-10-26T19:49:46.000Z monthly 0.7 https://www.certora.com/reports/balancer-gyroscope-pools-security-review 2026-10-26T19:49:29.000Z monthly 0.7 https://www.certora.com/reports/silo-vault-report 2026-10-26T19:49:36.000Z monthly 0.7