01
Contract systems
Custody, accounting and asset movement reviewed as one operational system.
Independent protocol assuranceAPI / Research programme 2026
Security research for digital financial infrastructure.
Axioryn evaluates smart contracts, economic mechanisms and distributed systems through manual research, adversarial testing and formal verification.
Manual reviewFormal methodsEconomic simulation
Reference architecture / lending systemFive critical boundaries
01
CollateralLiquidity shortfall02
OracleOracle manipulation03
Lending CoreIncorrect debt accounting04
Liquidation EngineAccess-control failure05
Reserve VaultCross-chain compromise06research disciplines
05illustrative case dossiers
01integrated system model
A contract can execute exactly as written and the system can still fail. We examine both.
Selected dossiers
Evidence from complete systems.
Fictional engagement records illustrating scope, findings and verified remediation.
01
Overcollateralized Stablecoin
Meridian USD
Two high-severity accounting conditions were identified and corrected before the reviewed release.
02Cross-Chain Lending
AtlasLend Protocol
The assessment produced a revised risk model and additional solvency invariants.
03Cross-Chain Infrastructure
Northbridge Network
Message validation and key-rotation procedures were redesigned following the assessment.
04Yield Infrastructure
Solstice Vaults
Vault accounting was hardened against donation and share-manipulation scenarios.
05Decentralized Exchange
Ardent Exchange
Edge cases involving low-liquidity pools were addressed during remediation.
Fields of inquiry
The system is the unit of analysis.
Technical correctness, governance power and market behavior are investigated together—not handed between isolated review tracks.
02
Credit markets
Interest, collateral, liquidation and bad-debt behavior under stressed conditions.
03
Monetary design
Issuance, reserves, redemption and emergency controls for stable-value assets.
04
Interoperability
Validator sets, message verification, custody boundaries and key rotation.
05
Formal methods
Executable specifications and mathematical evidence for critical properties.
06
Market resilience
Liquidity shocks, manipulation, runs and cascading insolvency scenarios.
How evidence is produced
One research record, from boundary definition to verified correction.
Frame
Fix the reviewed code, configuration, dependencies and explicit trust assumptions.
Map
Trace value, authority and information through the complete system.
Challenge
Construct adversarial hypotheses around technical and economic failure.
Test
Use manual reasoning, fuzzing, forks, simulation and formal methods.
Resolve
Connect each finding to evidence, consequence and corrective action.
Verify
Review implemented corrections against the original failure condition.
Reading an assessment
Evidence is not a guarantee.
An assessment describes a fixed codebase and configuration during a limited period. New code, governance actions, dependencies and market conditions create new states—and new risk.
01 / Independent judgment02 / Visible boundaries03 / Reproducible evidence04 / Responsible disclosure05 / Verified remediation
01
Formal Methods
Solvency Invariants in Overcollateralized Lending
18 June 2026 · 14 min
02Protocol Security
Oracle Failure Modes During Market Dislocation
04 May 2026 · 11 min
03Mechanism Design
Designing Safe Redemption Queues
21 March 2026 · 9 min
04Distributed Systems
Cross-Chain Trust Assumptions
12 February 2026 · 16 min