Kernax Asset Architecture engaged CertiK to conduct a rigorous, line-by-line smart contract security assessment of their core asset tokenization smart contracts. The target of this audit is the implementation of the ERC-3643 (TREX) tokenization standard, which enforces on-chain compliance, investor whitelisting, and a physical redemption protocol.
The assessment was performed using state-of-the-art diagnostic testing suites, including automated static analysis and symbolic execution, alongside a meticulous manual review by our lead security engineers. Every potential vector for reentrancy, integer anomalies, or access control escalation was exhaustively analyzed.