Audits

Solidity Finance

Bridging

• BaseChildTunnel
• BaseRootTunnel
• StandardChildTunnel
• StandardRootTunnel
• GovernanceChildTunnel
• GovernanceRootTunnel
• Dock

Construction

• ConstructionBay

Finance

• CitadelPaymentSplitter

Gameplay

• TravelLib
• BeltsLib
• OutpostsLib
• RewardsLib
• UpgradesCalculatorLib
• UpgradesLib
• Game

Governance

• CitadelGovernor
• CitadelTimelock

Oracle

• RandomOracle
• RandomOracleConsumer

Proxy

• CitadelProxyAdmin

Token

• ERC721C
• BaseShips
• BaseShipTraits
• DutchAuctionShips
• FixedPriceShips
• GenesisShipTraits
• FixedShipTraits
• MetadataLib
• Ore
• ERC20Locked
• ERC20LockedVotes
• PilotBadge

View report

Machinations

• Game economy validity
• Game economy stability
• Potential sources of economic failure
• Ongoing economic monitoring
• Weekly economic Reports
• Balance change forecasting

View report