├── .gitignore ├── Agoric ├── informal-agoric-report-phase1.pdf ├── informal-agoric-report-phase2.pdf └── informal-agoric-report-phase3.pdf ├── Anoma ├── 2022-2023 Audit Partnership - Anoma Proof of Stake.md ├── 2024-02-26 Namada MASP Final Report.pdf ├── 2024-04-30 Namada ABCI, Replay Protection, Fee And Gas Metering Final Report.pdf ├── 2024-08-16 IBC and MASP integrations Final Report.pdf ├── 2024-12-11 Namada Governance & PGF.pdf ├── Anoma_Q3_2025-Token_&_Token_Distributor_Audit_Report_Final_v3.pdf └── Namada Q2 2025_ E2E Shielded Transaction & Balance Consistency Audit Report_Final.pdf ├── Apex ├── Apex Q1 2025 _ Reactor & Skyline Critical Path Audit Report_Final.pdf └── ReadME.md ├── Axelar ├── 2023-08-04 Audit Report - Axelar - axelarnet.pdf └── README.md ├── Babylon ├── Babylon Q2 2025 _ Genesis v2 Upgrade Audit Report_Final.pdf └── README.md ├── Celestia ├── 2022-12-25 Audit - Celestia Payment Module.md ├── 2023-03-30 Celestia Namespaced Merkle Tree Library Audit.pdf ├── 2023-09-13 Audit Report Celestia rsmt2d library.pdf ├── Celestia Q2 2025 _ Hana Library Audit Report_Final v2.pdf ├── Celestia Q2 2025 _ High-Throughput Recovery Audit Report_Final v2.pdf └── Celestia Q2 2025_ CIP-31 Audit Report_Final.pdf ├── Cosmos Hub └── 2023-02-10 Audit Report - ICS replicated security.pdf ├── Duality └── 2023-05-16 Audit Report - Duality Dex and Incentives modules.pdf ├── Espresso ├── Espresso Q1 2025 _ Epoch Change Protocol Audit Report_Final.pdf └── README.md ├── Evmos └── informal-evmos-report-2021q4.pdf ├── IBC-GO ├── 1-executive-summary.md ├── 2-project-dashboard.md ├── 3-engagement-goals.md ├── 4-coverage.md ├── 5-recommendation-summary.md ├── 6-findings-summary.md ├── IF-IBC-01.md ├── IF-IBC-02.md ├── IF-IBC-03.md ├── IF-IBC-04.md ├── IF-IBC-05.md ├── IF-IBC-06.md ├── IF-IBC-07.md ├── IF-IBC-08.md ├── IF-IBC-09.md ├── IF-IBC-10.md ├── IF-IBC-11.md ├── IF-IBC-12.md ├── IF-IBC-13.md ├── IF-IBC-14.md ├── README.md ├── models │ ├── baseapp │ │ └── invariants.md │ ├── capability │ │ └── invariants.md │ ├── ics03 │ │ └── invariants.md │ ├── ics04 │ │ ├── handshake │ │ │ ├── findings.md │ │ │ └── invariants.md │ │ └── tla │ │ │ ├── channel.tla │ │ │ ├── channels.tla │ │ │ ├── identifiers.tla │ │ │ ├── packetdata.tla │ │ │ └── packets.tla │ ├── ics05 │ │ └── invariants.md │ └── ics20 │ │ ├── invariants.md │ │ ├── model_based_tests │ │ ├── Test5Packets.json │ │ ├── Test5Packets.tla │ │ ├── Test5PacketsAllDifferentPass.json │ │ ├── Test5PacketsAllDifferentPass.tla │ │ ├── TestOnRecvAcknowledgementErrorFail.json │ │ ├── TestOnRecvAcknowledgementErrorFail.tla │ │ ├── TestOnRecvAcknowledgementErrorPass.json │ │ ├── TestOnRecvAcknowledgementErrorPass.tla │ │ ├── TestOnRecvAcknowledgementResultFail.json │ │ ├── TestOnRecvAcknowledgementResultFail.tla │ │ ├── TestOnRecvAcknowledgementResultPass.json │ │ ├── TestOnRecvAcknowledgementResultPass.tla │ │ ├── TestOnRecvPacketFail.json │ │ ├── TestOnRecvPacketFail.tla │ │ ├── TestOnRecvPacketPass.json │ │ ├── TestOnRecvPacketPass.tla │ │ ├── TestOnTimeoutFail.json │ │ ├── TestOnTimeoutFail.tla │ │ ├── TestOnTimeoutPass.json │ │ ├── TestOnTimeoutPass.tla │ │ ├── TestSendTransferFail.json │ │ ├── TestSendTransferFail.tla │ │ ├── TestSendTransferPass.json │ │ ├── TestSendTransferPass.tla │ │ ├── TestUnescrowTokens.json │ │ └── TestUnescrowTokens.tla │ │ └── relay_model │ │ ├── account.tla │ │ ├── account_record.tla │ │ ├── apalache-to-relay-test.json │ │ ├── apalache-to-relay-test2.json │ │ ├── denom.tla │ │ ├── denom_record.tla │ │ ├── denom_record2.tla │ │ ├── denom_sequence.tla │ │ ├── identifiers.tla │ │ ├── relay.tla │ │ └── relay_tests.tla └── report.pdf ├── Injective ├── 1-executive-summary.md ├── 2-project-dashboard.md ├── 3-engagement-goals.md ├── 4-coverage.md ├── 5-recommendation-summary.md ├── 6-findings-summary.md ├── IF-INJECTIVE-01.md ├── IF-INJECTIVE-02.md ├── IF-INJECTIVE-03.md ├── IF-INJECTIVE-04.md ├── IF-INJECTIVE-05.md ├── IF-INJECTIVE-06.md ├── IF-INJECTIVE-07.md ├── IF-INJECTIVE-08.md ├── IF-INJECTIVE-09.md ├── IF-INJECTIVE-10.md ├── IF-INJECTIVE-11.md ├── IF-INJECTIVE-12.md ├── README.md ├── informal-report-injective-audit-202106.pdf └── tla │ ├── MC_futures.tla │ ├── MC_spots.tla │ ├── futures.tla │ ├── spots.tla │ ├── typedefs.tla │ └── typedefs_futures.tla ├── Interlay ├── informal-report-interlay-audit-2021Q2.pdf └── informal-report-interlay-audit-2021Q3.pdf ├── LICENSE ├── Mars Protocol └── 2023-02-03 Audit report - Mars Protocol Envoy module.pdf ├── Neutron ├── 2023-04-06 Audit Report - Neutron SDK DAO Wasmd TGE .pdf ├── 2023-04-06 Audit Scope Q1-Q2-2023.md ├── 2023-11-05 Audit Report - Neutron Smart Contracts - Overrule + Liquidity Migration.pdf ├── 2023-11-11 Audit Report - Neutron - Duality v0.5.0 + integration of Cosmos SDK 0.47.pdf ├── 2024-03-21_liquidity_migration_audit_report.pdf ├── 2024-03-28_neutron_chain_manager_report.pdf ├── 2024-12-11 Neutron Dex Model.pdf ├── 2025-07-18 Neutron-Timewave Q2 2025 _ Valence Protocol Audit Report_Final.pdf └── 2025-07-30 Neutron Q3 2025 _ DEX Fractional Banking Audit Report_Final.pdf ├── Osmosis ├── 2022-09-30 Audit - Osmosis Token Factory.md ├── 2022-12-20 Audit - Osmosis TWAP GAMM.md ├── 2023-03-27 Audit - Osmosis Crosschainswaps Swaprouter.md ├── 2023-03-27 Audit - Osmosis Token Transfer Analysis Testing.md ├── 2023-06-23 Audit Report - Osmosis Q2.pdf └── 2023-30-10 Audit - Fee Abstraction Module by Notional.pdf ├── README.md ├── Ripple ├── 2025-03-25 XRPL EVM Sidechain.pdf └── README.md ├── Skip └── 2023-04-11 Audit Report - Skip Mev Tendermint.pdf ├── Stride ├── 2022-11-30 Audit Report - Stride StakeIBC ICACallbacks.pdf └── README.md └── dYdX ├── README.md └── dydx_Q3_2025_-_Proposer_Selection_Updates_Audit_Report_Final.pdf /.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | 3 | -------------------------------------------------------------------------------- /Agoric/informal-agoric-report-phase1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Agoric/informal-agoric-report-phase1.pdf -------------------------------------------------------------------------------- /Agoric/informal-agoric-report-phase2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Agoric/informal-agoric-report-phase2.pdf -------------------------------------------------------------------------------- /Agoric/informal-agoric-report-phase3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Agoric/informal-agoric-report-phase3.pdf -------------------------------------------------------------------------------- /Anoma/2022-2023 Audit Partnership - Anoma Proof of Stake.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Anoma/2022-2023 Audit Partnership - Anoma Proof of Stake.md -------------------------------------------------------------------------------- /Anoma/2024-02-26 Namada MASP Final Report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Anoma/2024-02-26 Namada MASP Final Report.pdf -------------------------------------------------------------------------------- /Anoma/2024-04-30 Namada ABCI, Replay Protection, Fee And Gas Metering Final Report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Anoma/2024-04-30 Namada ABCI, Replay Protection, Fee And Gas Metering Final Report.pdf -------------------------------------------------------------------------------- /Anoma/2024-08-16 IBC and MASP integrations Final Report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Anoma/2024-08-16 IBC and MASP integrations Final Report.pdf -------------------------------------------------------------------------------- /Anoma/2024-12-11 Namada Governance & PGF.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Anoma/2024-12-11 Namada Governance & PGF.pdf -------------------------------------------------------------------------------- /Anoma/Anoma_Q3_2025-Token_&_Token_Distributor_Audit_Report_Final_v3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Anoma/Anoma_Q3_2025-Token_&_Token_Distributor_Audit_Report_Final_v3.pdf -------------------------------------------------------------------------------- /Anoma/Namada Q2 2025_ E2E Shielded Transaction & Balance Consistency Audit Report_Final.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Anoma/Namada Q2 2025_ E2E Shielded Transaction & Balance Consistency Audit Report_Final.pdf -------------------------------------------------------------------------------- /Apex/Apex Q1 2025 _ Reactor & Skyline Critical Path Audit Report_Final.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Apex/Apex Q1 2025 _ Reactor & Skyline Critical Path Audit Report_Final.pdf -------------------------------------------------------------------------------- /Apex/ReadME.md: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /Axelar/2023-08-04 Audit Report - Axelar - axelarnet.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Axelar/2023-08-04 Audit Report - Axelar - axelarnet.pdf -------------------------------------------------------------------------------- /Axelar/README.md: -------------------------------------------------------------------------------- 1 | Under update .. 2 | -------------------------------------------------------------------------------- /Babylon/Babylon Q2 2025 _ Genesis v2 Upgrade Audit Report_Final.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Babylon/Babylon Q2 2025 _ Genesis v2 Upgrade Audit Report_Final.pdf -------------------------------------------------------------------------------- /Babylon/README.md: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /Celestia/2022-12-25 Audit - Celestia Payment Module.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Celestia/2022-12-25 Audit - Celestia Payment Module.md -------------------------------------------------------------------------------- /Celestia/2023-03-30 Celestia Namespaced Merkle Tree Library Audit.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Celestia/2023-03-30 Celestia Namespaced Merkle Tree Library Audit.pdf -------------------------------------------------------------------------------- /Celestia/2023-09-13 Audit Report Celestia rsmt2d library.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Celestia/2023-09-13 Audit Report Celestia rsmt2d library.pdf -------------------------------------------------------------------------------- /Celestia/Celestia Q2 2025 _ Hana Library Audit Report_Final v2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Celestia/Celestia Q2 2025 _ Hana Library Audit Report_Final v2.pdf -------------------------------------------------------------------------------- /Celestia/Celestia Q2 2025 _ High-Throughput Recovery Audit Report_Final v2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Celestia/Celestia Q2 2025 _ High-Throughput Recovery Audit Report_Final v2.pdf -------------------------------------------------------------------------------- /Celestia/Celestia Q2 2025_ CIP-31 Audit Report_Final.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Celestia/Celestia Q2 2025_ CIP-31 Audit Report_Final.pdf -------------------------------------------------------------------------------- /Cosmos Hub/2023-02-10 Audit Report - ICS replicated security.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Cosmos Hub/2023-02-10 Audit Report - ICS replicated security.pdf -------------------------------------------------------------------------------- /Duality/2023-05-16 Audit Report - Duality Dex and Incentives modules.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Duality/2023-05-16 Audit Report - Duality Dex and Incentives modules.pdf -------------------------------------------------------------------------------- /Espresso/Espresso Q1 2025 _ Epoch Change Protocol Audit Report_Final.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Espresso/Espresso Q1 2025 _ Epoch Change Protocol Audit Report_Final.pdf -------------------------------------------------------------------------------- /Espresso/README.md: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /Evmos/informal-evmos-report-2021q4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Evmos/informal-evmos-report-2021q4.pdf -------------------------------------------------------------------------------- /IBC-GO/1-executive-summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/1-executive-summary.md -------------------------------------------------------------------------------- /IBC-GO/2-project-dashboard.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/2-project-dashboard.md -------------------------------------------------------------------------------- /IBC-GO/3-engagement-goals.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/3-engagement-goals.md -------------------------------------------------------------------------------- /IBC-GO/4-coverage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/4-coverage.md -------------------------------------------------------------------------------- /IBC-GO/5-recommendation-summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/5-recommendation-summary.md -------------------------------------------------------------------------------- /IBC-GO/6-findings-summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/6-findings-summary.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-01.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-01.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-02.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-02.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-03.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-03.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-04.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-04.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-05.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-05.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-06.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-06.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-07.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-07.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-08.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-08.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-09.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-09.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-10.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-10.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-11.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-11.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-12.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-12.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-13.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-13.md -------------------------------------------------------------------------------- /IBC-GO/IF-IBC-14.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/IF-IBC-14.md -------------------------------------------------------------------------------- /IBC-GO/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/README.md -------------------------------------------------------------------------------- /IBC-GO/models/baseapp/invariants.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/baseapp/invariants.md -------------------------------------------------------------------------------- /IBC-GO/models/capability/invariants.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/capability/invariants.md -------------------------------------------------------------------------------- /IBC-GO/models/ics03/invariants.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics03/invariants.md -------------------------------------------------------------------------------- /IBC-GO/models/ics04/handshake/findings.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics04/handshake/findings.md -------------------------------------------------------------------------------- /IBC-GO/models/ics04/handshake/invariants.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics04/handshake/invariants.md -------------------------------------------------------------------------------- /IBC-GO/models/ics04/tla/channel.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics04/tla/channel.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics04/tla/channels.tla: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /IBC-GO/models/ics04/tla/identifiers.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics04/tla/identifiers.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics04/tla/packetdata.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics04/tla/packetdata.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics04/tla/packets.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics04/tla/packets.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics05/invariants.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics05/invariants.md -------------------------------------------------------------------------------- /IBC-GO/models/ics20/invariants.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/invariants.md -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/Test5Packets.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/Test5Packets.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/Test5Packets.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/Test5Packets.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/Test5PacketsAllDifferentPass.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/Test5PacketsAllDifferentPass.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/Test5PacketsAllDifferentPass.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/Test5PacketsAllDifferentPass.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementErrorFail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementErrorFail.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementErrorFail.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementErrorFail.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementErrorPass.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementErrorPass.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementErrorPass.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementErrorPass.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementResultFail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementResultFail.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementResultFail.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementResultFail.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementResultPass.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementResultPass.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementResultPass.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnRecvAcknowledgementResultPass.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnRecvPacketFail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnRecvPacketFail.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnRecvPacketFail.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnRecvPacketFail.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnRecvPacketPass.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnRecvPacketPass.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnRecvPacketPass.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnRecvPacketPass.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnTimeoutFail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnTimeoutFail.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnTimeoutFail.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnTimeoutFail.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnTimeoutPass.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnTimeoutPass.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestOnTimeoutPass.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestOnTimeoutPass.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestSendTransferFail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestSendTransferFail.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestSendTransferFail.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestSendTransferFail.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestSendTransferPass.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestSendTransferPass.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestSendTransferPass.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestSendTransferPass.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestUnescrowTokens.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestUnescrowTokens.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/model_based_tests/TestUnescrowTokens.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/model_based_tests/TestUnescrowTokens.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/relay_model/account.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/relay_model/account.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/relay_model/account_record.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/relay_model/account_record.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/relay_model/apalache-to-relay-test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/relay_model/apalache-to-relay-test.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/relay_model/apalache-to-relay-test2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/relay_model/apalache-to-relay-test2.json -------------------------------------------------------------------------------- /IBC-GO/models/ics20/relay_model/denom.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/relay_model/denom.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/relay_model/denom_record.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/relay_model/denom_record.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/relay_model/denom_record2.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/relay_model/denom_record2.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/relay_model/denom_sequence.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/relay_model/denom_sequence.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/relay_model/identifiers.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/relay_model/identifiers.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/relay_model/relay.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/relay_model/relay.tla -------------------------------------------------------------------------------- /IBC-GO/models/ics20/relay_model/relay_tests.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/models/ics20/relay_model/relay_tests.tla -------------------------------------------------------------------------------- /IBC-GO/report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/IBC-GO/report.pdf -------------------------------------------------------------------------------- /Injective/1-executive-summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/1-executive-summary.md -------------------------------------------------------------------------------- /Injective/2-project-dashboard.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/2-project-dashboard.md -------------------------------------------------------------------------------- /Injective/3-engagement-goals.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/3-engagement-goals.md -------------------------------------------------------------------------------- /Injective/4-coverage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/4-coverage.md -------------------------------------------------------------------------------- /Injective/5-recommendation-summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/5-recommendation-summary.md -------------------------------------------------------------------------------- /Injective/6-findings-summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/6-findings-summary.md -------------------------------------------------------------------------------- /Injective/IF-INJECTIVE-01.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/IF-INJECTIVE-01.md -------------------------------------------------------------------------------- /Injective/IF-INJECTIVE-02.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/IF-INJECTIVE-02.md -------------------------------------------------------------------------------- /Injective/IF-INJECTIVE-03.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/IF-INJECTIVE-03.md -------------------------------------------------------------------------------- /Injective/IF-INJECTIVE-04.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/IF-INJECTIVE-04.md -------------------------------------------------------------------------------- /Injective/IF-INJECTIVE-05.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/IF-INJECTIVE-05.md -------------------------------------------------------------------------------- /Injective/IF-INJECTIVE-06.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/IF-INJECTIVE-06.md -------------------------------------------------------------------------------- /Injective/IF-INJECTIVE-07.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/IF-INJECTIVE-07.md -------------------------------------------------------------------------------- /Injective/IF-INJECTIVE-08.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/IF-INJECTIVE-08.md -------------------------------------------------------------------------------- /Injective/IF-INJECTIVE-09.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/IF-INJECTIVE-09.md -------------------------------------------------------------------------------- /Injective/IF-INJECTIVE-10.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/IF-INJECTIVE-10.md -------------------------------------------------------------------------------- /Injective/IF-INJECTIVE-11.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/IF-INJECTIVE-11.md -------------------------------------------------------------------------------- /Injective/IF-INJECTIVE-12.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/IF-INJECTIVE-12.md -------------------------------------------------------------------------------- /Injective/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/README.md -------------------------------------------------------------------------------- /Injective/informal-report-injective-audit-202106.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/informal-report-injective-audit-202106.pdf -------------------------------------------------------------------------------- /Injective/tla/MC_futures.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/tla/MC_futures.tla -------------------------------------------------------------------------------- /Injective/tla/MC_spots.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/tla/MC_spots.tla -------------------------------------------------------------------------------- /Injective/tla/futures.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/tla/futures.tla -------------------------------------------------------------------------------- /Injective/tla/spots.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/tla/spots.tla -------------------------------------------------------------------------------- /Injective/tla/typedefs.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/tla/typedefs.tla -------------------------------------------------------------------------------- /Injective/tla/typedefs_futures.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Injective/tla/typedefs_futures.tla -------------------------------------------------------------------------------- /Interlay/informal-report-interlay-audit-2021Q2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Interlay/informal-report-interlay-audit-2021Q2.pdf -------------------------------------------------------------------------------- /Interlay/informal-report-interlay-audit-2021Q3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Interlay/informal-report-interlay-audit-2021Q3.pdf -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/LICENSE -------------------------------------------------------------------------------- /Mars Protocol/2023-02-03 Audit report - Mars Protocol Envoy module.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Mars Protocol/2023-02-03 Audit report - Mars Protocol Envoy module.pdf -------------------------------------------------------------------------------- /Neutron/2023-04-06 Audit Report - Neutron SDK DAO Wasmd TGE .pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Neutron/2023-04-06 Audit Report - Neutron SDK DAO Wasmd TGE .pdf -------------------------------------------------------------------------------- /Neutron/2023-04-06 Audit Scope Q1-Q2-2023.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Neutron/2023-04-06 Audit Scope Q1-Q2-2023.md -------------------------------------------------------------------------------- /Neutron/2023-11-05 Audit Report - Neutron Smart Contracts - Overrule + Liquidity Migration.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Neutron/2023-11-05 Audit Report - Neutron Smart Contracts - Overrule + Liquidity Migration.pdf -------------------------------------------------------------------------------- /Neutron/2023-11-11 Audit Report - Neutron - Duality v0.5.0 + integration of Cosmos SDK 0.47.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Neutron/2023-11-11 Audit Report - Neutron - Duality v0.5.0 + integration of Cosmos SDK 0.47.pdf -------------------------------------------------------------------------------- /Neutron/2024-03-21_liquidity_migration_audit_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Neutron/2024-03-21_liquidity_migration_audit_report.pdf -------------------------------------------------------------------------------- /Neutron/2024-03-28_neutron_chain_manager_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Neutron/2024-03-28_neutron_chain_manager_report.pdf -------------------------------------------------------------------------------- /Neutron/2024-12-11 Neutron Dex Model.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Neutron/2024-12-11 Neutron Dex Model.pdf -------------------------------------------------------------------------------- /Neutron/2025-07-18 Neutron-Timewave Q2 2025 _ Valence Protocol Audit Report_Final.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Neutron/2025-07-18 Neutron-Timewave Q2 2025 _ Valence Protocol Audit Report_Final.pdf -------------------------------------------------------------------------------- /Neutron/2025-07-30 Neutron Q3 2025 _ DEX Fractional Banking Audit Report_Final.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Neutron/2025-07-30 Neutron Q3 2025 _ DEX Fractional Banking Audit Report_Final.pdf -------------------------------------------------------------------------------- /Osmosis/2022-09-30 Audit - Osmosis Token Factory.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Osmosis/2022-09-30 Audit - Osmosis Token Factory.md -------------------------------------------------------------------------------- /Osmosis/2022-12-20 Audit - Osmosis TWAP GAMM.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Osmosis/2022-12-20 Audit - Osmosis TWAP GAMM.md -------------------------------------------------------------------------------- /Osmosis/2023-03-27 Audit - Osmosis Crosschainswaps Swaprouter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Osmosis/2023-03-27 Audit - Osmosis Crosschainswaps Swaprouter.md -------------------------------------------------------------------------------- /Osmosis/2023-03-27 Audit - Osmosis Token Transfer Analysis Testing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Osmosis/2023-03-27 Audit - Osmosis Token Transfer Analysis Testing.md -------------------------------------------------------------------------------- /Osmosis/2023-06-23 Audit Report - Osmosis Q2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Osmosis/2023-06-23 Audit Report - Osmosis Q2.pdf -------------------------------------------------------------------------------- /Osmosis/2023-30-10 Audit - Fee Abstraction Module by Notional.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Osmosis/2023-30-10 Audit - Fee Abstraction Module by Notional.pdf -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/README.md -------------------------------------------------------------------------------- /Ripple/2025-03-25 XRPL EVM Sidechain.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Ripple/2025-03-25 XRPL EVM Sidechain.pdf -------------------------------------------------------------------------------- /Ripple/README.md: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /Skip/2023-04-11 Audit Report - Skip Mev Tendermint.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Skip/2023-04-11 Audit Report - Skip Mev Tendermint.pdf -------------------------------------------------------------------------------- /Stride/2022-11-30 Audit Report - Stride StakeIBC ICACallbacks.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/Stride/2022-11-30 Audit Report - Stride StakeIBC ICACallbacks.pdf -------------------------------------------------------------------------------- /Stride/README.md: -------------------------------------------------------------------------------- 1 | In progress .. 2 | -------------------------------------------------------------------------------- /dYdX/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/dYdX/README.md -------------------------------------------------------------------------------- /dYdX/dydx_Q3_2025_-_Proposer_Selection_Updates_Audit_Report_Final.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/audits/HEAD/dYdX/dydx_Q3_2025_-_Proposer_Selection_Updates_Audit_Report_Final.pdf --------------------------------------------------------------------------------