archon.audit.report
100.0
For agent 97 on Mantle Mainnet · 2026-05-22
https://archonaudit.xyz/app/proofs
{
"chain": {
"name": "Mantle Mainnet",
"chainId": 5000
},
"report": {
"id": "5ec46389-918a-4c90-858a-c14da0667a46",
"scope": {
"pragma": "^0.8.24",
"network": "mantle-mainnet",
"lineCount": 63,
"protocols": [
"mETH",
"cmETH",
"USDY",
"Aave V3",
"Merchant Moe",
"Agni"
],
"sourceKind": "paste",
"solcVersion": "0.8.24"
},
"scanId": "eaafb45c-94e7-4346-9cd1-a3ab7ba0d971",
"createdAt": "2026-05-22T06:58:18.363Z",
"riskScore": 96,
"contractName": "VaultV2",
"severityCounts": {
"low": 2,
"high": 2,
"info": 2,
"medium": 1,
"critical": 1
},
"executiveSummary": "Archon completed a read-only Mantle Mainnet audit of VaultV2 and found 8 deterministic findings. The highest-priority issue is Reentrancy Eth, with risk score 96/100 based on severity-weighted findings. Reentrancy Eth was detected from deterministic analysis at VaultV2.sol:27-35. The issue should be reviewed because it can affect contract correctness, user balances, or operational cost depending on how the function is used. Review the recommended fixes and run regression tests before deployment."
},
"schema": "archon.proof.metadata.v1",
"erc8004": {
"verifiedConfig": true,
"agentIdentityRef": "eip155:5000:0x8004A169FB4a3325136EB29fA0ceB6D2e539a432:97",
"identityRegistry": "0x8004A169FB4a3325136EB29fA0ceB6D2e539a432",
"reputationRegistry": "0x8004BAa17C55a88189AE136b182e5fdA19dE9b63",
"validationRegistry": null
},
"product": "Archon",
"findings": [
{
"id": "0b8deae1-a1e4-42b3-a905-64bba9bc0777",
"title": "Reentrancy Eth",
"category": "reentrancy-eth",
"location": {
"file": "VaultV2.sol",
"lineEnd": 35,
"lineStart": 27
},
"severity": "high"
},
{
"id": "a86e97fe-3517-4415-958c-d63c94097193",
"title": "Reentrancy Events",
"category": "reentrancy-events",
"location": {
"file": "VaultV2.sol",
"lineEnd": 35,
"lineStart": 27
},
"severity": "low"
},
{
"id": "ecfd0795-3fcd-4b04-9e56-75749379655c",
"title": "Low Level Calls",
"category": "low-level-calls",
"location": {
"file": "VaultV2.sol",
"lineEnd": 35,
"lineStart": 27
},
"severity": "info"
},
{
"id": "7298cbab-9dbd-4aa8-93ce-57bd83d54434",
"title": "Redundant Statements",
"category": "redundant-statements",
"location": {
"file": "VaultV2.sol",
"lineEnd": 48,
"lineStart": 48
},
"severity": "info"
},
{
"id": "2b7a7c59-98e1-46b9-be1f-34f3ee787318",
"title": "Cache Array Length",
"category": "cache-array-length",
"location": {
"file": "VaultV2.sol",
"lineEnd": 55,
"lineStart": 55
},
"severity": "low"
},
{
"id": "8974920d-8f2e-4385-b381-856e2a2e6939",
"title": "External value transfer before balance update",
"category": "mantle-reentrancy-rule",
"location": {
"file": "VaultV2.sol",
"lineEnd": null,
"lineStart": 30
},
"severity": "critical"
},
{
"id": "b0586e98-f516-4ebb-ae08-c28cb010eb2d",
"title": "Missing slippage enforcement for swap output",
"category": "mantle-missing-slippage-bound",
"location": {
"file": "VaultV2.sol",
"lineEnd": null,
"lineStart": 37
},
"severity": "high"
},
{
"id": "3a2821a3-dc3c-4a04-95a0-00287cf77f31",
"title": "Unbounded storage iteration can create runaway gas cost",
"category": "mantle-l1-data-fee-unaware-gas",
"location": {
"file": "VaultV2.sol",
"lineEnd": null,
"lineStart": 55
},
"severity": "medium"
}
]
}
ipfs://QmVqmvKfb3M3jP8EmK5jan87XvuMF1zjqkrxgDhcrrKXig