Dual Condition

Dual Condition specializes in smart-contract security research with a focus on verifying that deployed DeFi protocols behave as promised in public materials. The service addresses the gap between what teams claim about their protocols and what is actually deployed, examining not just the source code but also the configuration, governance structures, and live on-chain state. Its core offering is structural verification audits, which systematically assess whether the deployed system matches the intended design and operational promises.

The platform employs a framework called Parallax to detect discrepancies between the promised and actual behavior of DeFi protocols. This involves live-state verification across four critical substrates: code, configuration, governance, and on-chain state. For code, Dual Condition checks if the deployed bytecode matches the audited source and identifies issues such as unreviewed custom modifications or integrations left out of scope. In terms of configuration, it verifies that deployed parameters like thresholds, delays, and role assignments are consistent with public documentation, identifying issues such as multisig threshold drift or missing validation for oracle feeds. Governance analysis ensures that the process for parameter changes aligns with the stated trust model, catching problems such as timelocks that differ from documentation or upgrade authorities held by unexpected entities. The live on-chain state is also scrutinized to confirm that current balances, roles, and validator sets reflect the described operating posture, revealing discrepancies like unauthorized role holders or custody addresses acting outside documented flows.

Dual Condition’s services are relevant for protocol teams at several stages, including pre-token launch verification, multichain deployments, configuration drift checks, oracle integration reviews, forked architecture validation, and pre-bounty structural soundness assessments. The process involves a 14-day coordinated disclosure window and results in a structural-soundness verdict or a detailed gap analysis, enabling targeted remediation by the protocol team.

The company is led by Dr. Sven Schlegel, who brings a background in systematic detection of structural conflicts from land-use planning algorithms to the domain of smart-contract systems. The methodology emphasizes load-bearing structural analysis, focusing on the trust assumptions and design choices that underpin protocol security.