Group 1 - The core point of the news is the launch of the Global Korean Won Stablecoin Alliance (GAKS) by WEMADE in collaboration with CertiK, aimed at enhancing the infrastructure and ecosystem for Korean won stablecoins globally [1][2]. - GAKS includes leading companies such as Chainalysis and SentBe, which will collaborate to promote the development of the Korean won stablecoin ecosystem [1]. - CertiK will provide various services to WEMADE, including support for blockchain transparency, comprehensive security audits for StableNet, and node validation services to optimize on-chain monitoring capabilities [1][2]. Group 2 - WEMADE is a leading game developer and publisher in South Korea, actively integrating gaming with blockchain technology through its WEMIX Web3 platform [1]. - CertiK views South Korea as a key international market and has established long-term partnerships with core ecosystems like WEMIX, indicating a commitment to supporting the development of the Korean blockchain ecosystem [2]. - The collaboration aims to create a comprehensive service system from stablecoin underlying technology to real-world use cases, enhancing the competitiveness and influence of the Korean won stablecoin in the global digital asset landscape [2].

Core Insights - The article highlights the journey and achievements of Guo Ronghui, a prominent figure in the Web3 security industry, emphasizing his academic background and entrepreneurial spirit [2][3][4]. Group 1: Background and Early Career - Guo Ronghui's early fascination with mathematics and his exceptional talent were evident during his academic years, where he excelled in competitions and pursued a degree in computer science at Tsinghua University [3][4]. - His research focus on formal verification during his PhD at Yale laid the groundwork for his later success in the Web3 security sector [4][5]. Group 2: CertiK's Formation and Growth - CertiK, co-founded by Guo Ronghui in December 2017, achieved a valuation of $2 billion by 2022, marking a significant milestone in its growth trajectory [5][12]. - The company developed CertiKOS, the world's first operating system kernel proven to be free of vulnerabilities through formal verification, which garnered attention from both academia and the investment community [5][12]. Group 3: Challenges and Strategic Focus - The COVID-19 pandemic posed significant challenges for CertiK, as the company had to adapt to remote work while maintaining team morale and productivity [10][11]. - Guo Ronghui emphasized the importance of focusing on customer needs and long-term goals, leading CertiK to tackle complex security challenges in the Web3 space [12][13]. Group 4: Company Values and Market Position - CertiK's core value of "doing what should be done" reflects its commitment to addressing genuine customer needs, even when they extend beyond traditional security services [12][13]. - The company has become a leader in the Web3 security sector, serving over 5,000 enterprises and identifying more than 150,000 security vulnerabilities, while maintaining a market share exceeding 60% [13][14].