Dawn Song

Provided high‑level research guidance and academic validation for the formal methods and automated analysis approaches that CertiK translated into Shentu's toolchain. Advised on adapting peer‑reviewed verification techniques to operational blockchain constraints, enabling formal proofs and automated checks to be incorporated into audit pipelines and on‑chain oracle signals that affect CTK utility. Her involvement gave credibility to the use of formal verification as a commercial service and supported product decisions to monetize those outputs through CTK‑denominated services. Participated in technical reviews, co‑authored whitepapers and engaged with engineering teams to ensure research prototypes met production quality and scalability requirements for Shentu. Recommendations on threat modelling and secure compiler practices influenced the design of the verification libraries and secure compilation steps used in CertiK's audits and the Shentu runtime. By bridging academic research and applied engineering, the advisory role accelerated adoption of rigorous verification practices in the protocol and audit marketplace. These concrete research contributions and advisory actions affected how security guarantees are packaged, priced and purchased in CTK, thereby shaping demand for the token among projects seeking certified security assurances.