CertiK Founder Ronghui Gu Appears at Davos: Anchoring IPO Goals, Advancing into the Institutional Market

marsbitPubblicato 2026-01-23Pubblicato ultima volta 2026-01-23

Introduzione

CertiK founder Ronghui Gu announced at the 2026 World Economic Forum in Davos that the company is advancing its IPO plans, aiming to become the "first Web3 infrastructure stock." This signals both CertiK's corporate maturity and the Web3 industry's shift toward institutional adoption and standardization. Gu emphasized that a successful public listing would help mainstream markets better understand and adopt Web3 technology, reflecting recognition from traditional industries. CertiK has received significant strategic investment, including from YZi Labs (formerly Binance Labs), supporting its expansion into institutional markets. To meet growing institutional demand, CertiK launched Skynet Enterprise, a security platform offering real-time on-chain monitoring, risk visualization, and compliance-ready tools. The company is also integrating AI into its formal verification engine, Spoq, to enhance security scalability and efficiency—a approach validated at top academic conferences. Gu concluded that CertiK’s public market entry is a critical step for Web3's integration into the global financial system, marking the industry’s transition toward regulated, institution-friendly maturity.

During the 2026 World Economic Forum (WEF) Annual Meeting, CertiK Founder Ronghui Gu was interviewed by CBS in Davos. He revealed that as the world's largest Web3 security company, CertiK is actively advancing its IPO plans, striving to become the "first stock in Web3 infrastructure." This signal not only marks CertiK's own development entering a mature stage but is also seen by the industry as a significant indicator of the Web3 sector moving towards institutionalization and standardization.

"The market is still anticipating the listing of native Web3 enterprises, especially infrastructure companies like CertiK," Gu stated in the interview. "This will help the mainstream market better understand and adopt Web3 technology, and it also represents recognition from traditional enterprises and mainstream industries."

It is reported that CertiK's IPO plan has received support from strategic capital. Among them, YZi Labs (formerly Binance Labs) recently completed a milestone investment, establishing its position as CertiK's largest investor to date. The continuous injection of capital from such top-tier investors not only provides CertiK with ample momentum for expansion but also paves the way for its comprehensive penetration into the institutional market.

Web3 Infrastructure for Institutions

As more traditional financial institutions and large enterprises explore Web3, security, transparency, and risk visibility have become prerequisites for entering this field. Gu pointed out that Web3 is entering a new phase that requires "institutional-grade standards."

In this context, CertiK has focused on institutional needs and launched the enterprise-grade security platform Skynet Enterprise. This platform is designed to meet the demands of institutions and regulators for transparency, risk visibility, and data quality. Through real-time on-chain monitoring, alert systems, and analytical dashboards, it transforms complex on-chain activities into intuitive insights, helping to build a more resilient digital asset ecosystem. Currently, CertiK is working closely with multiple regulatory bodies to promote the platform's implementation, paving the way for Web3 industry compliance.

AI-Enhanced Formal Verification Security Framework

In the interview, Gu also emphasized the application of AI in Web3 security. Unlike basic automation tools, CertiK deeply integrates AI into its self-developed Spoq engine, significantly enhancing the scalability and execution efficiency of its core formal verification system through empowerment. This cutting-edge research has been validated at top academic conferences such as OSDI 2023 and ASPLOS 2026.

Relying on this system, CertiK can provide mathematical-grade security guarantees for institutional clients. This practice of translating academic rigor into production-ready tools highlights CertiK's core philosophy: security should be a matter of genuine technical depth, not just superficial "trust labels."

The Inevitable Path for Web3's Integration into the Global Financial System

Gu noted in the interview: "Many people hope to see CertiK's successful IPO because it is not only crucial for CertiK but also for the entire Web3 industry." In his view, moving towards the public market is not only a natural progression for corporate development but also an essential path for Web3 to integrate into the global financial system and win the trust of users worldwide.

In the global context of Davos, the signal sent by CertiK is increasingly clear: Web3 is moving away from fringe innovation and transitioning into a mature stage that can be regulated, adopted by institutions, and supervised by public markets.

Domande pertinenti

QWhat is the main goal of CertiK as announced by its founder at the World Economic Forum?

ACertiK is actively advancing its listing plan, aiming to become the 'first Web3 infrastructure stock' and targeting the institutional market.

QWhich investment firm is now the largest investor in CertiK?

AYZi Labs (formerly Binance Labs) is the largest investor in CertiK following a milestone investment.

QWhat enterprise-level security platform did CertiK launch to meet institutional needs?

ACertiK launched Skynet Enterprise, an enterprise-level security platform designed for institutional transparency, risk visibility, and data quality needs.

QHow does CertiK integrate AI into its Web3 security solutions?

ACertiK integrates AI into its self-developed Spoq engine to enhance the scalability and efficiency of its formal verification system, providing mathematical-level security for institutional clients.

QWhy is CertiK's potential IPO significant for the broader Web3 industry?

ACertiK's IPO is seen as a critical step for Web3 to integrate into the global financial system, gain trust, and be adopted by mainstream institutions and traditional enterprises.

Letture associate

OpenAI Post-Training Engineer Weng Jiayi Proposes a New Paradigm Hypothesis for Agentic AI

OpenAI engineer Weng Jiayi's "Heuristic Learning" experiments propose a new paradigm for Agentic AI, suggesting that intelligent agents can improve not just by training neural networks, but also by autonomously writing and refining code based on environmental feedback. In the experiment, a coding agent (powered by Codex) was tasked with developing and maintaining a programmatic strategy for the Atari game Breakout. Starting from a basic prompt, the agent iteratively wrote code, ran the game, analyzed logs and video replays to identify failures, and then modified the code. Through this engineering loop of "code-run-debug-update," it evolved a pure Python heuristic strategy that achieved a perfect score of 864 in Breakout and performed competitively with deep reinforcement learning (RL) algorithms in MuJoCo control tasks like Ant and HalfCheetah. This approach, termed Heuristic Learning (HL), contrasts with Deep RL. In HL, experience is captured in readable, modifiable code, tests, logs, and configurations—a software system—rather than being encoded solely into opaque neural network weights. This offers potential advantages in explainability, auditability for safety-critical applications, easier integration of regression tests to combat catastrophic forgetting, and more efficient sample use in early learning stages, as demonstrated in broader tests on 57 Atari games. However, the blog acknowledges clear limitations. Programmatic strategies struggle with tasks requiring long-horizon planning or complex perception (e.g., Montezuma's Revenge), areas where neural networks excel. The future vision is a hybrid architecture: specialized neural networks for fast perception (System 1), HL systems for rules, safety, and local recovery (also System 1), and LLM agents providing high-level feedback and learning from the HL system's data (System 2). The core proposition is that in the era of capable coding agents, a significant portion of an AI's learned experience could be maintained as an auditable, evolving software system.

marsbit42 min fa

OpenAI Post-Training Engineer Weng Jiayi Proposes a New Paradigm Hypothesis for Agentic AI

marsbit42 min fa

Your Claude Will Dream Tonight, Don't Disturb It

This article explores the recent phenomenon of AI companies increasingly using anthropomorphic language—like "thinking," "memory," "hallucination," and now "dreaming"—to describe machine learning processes. Focusing on Anthropic's newly announced "Dreaming" feature for its Claude Agent platform, the piece explains that this function is essentially an automated, offline batch processing of an agent's operational logs. It analyzes past task sessions to identify patterns, optimize future actions, and consolidate learnings into a persistent memory system, akin to a form of reinforcement learning and self-correction. The article draws parallels to similar features in other AI agent systems like Hermes Agent and OpenClaw, which also implement mechanisms for reviewing historical data, extracting reusable "skills," and strengthening long-term memory. It notes a key difference from human dreaming: these AI "dreams" still consume computational resources and user tokens. Further context is provided by discussing the technical challenges of managing AI "memory" or context, highlighting the computational expense of large context windows and innovations like Subquadratic's new model claiming drastically longer contexts. The core critique argues that this strategic use of human-centric vocabulary does more than market products; it subtly reshapes user perception. By framing algorithms with terms associated with consciousness, companies blur the line between tool and autonomous entity. This linguistic shift can influence user expectations, tolerance for errors, and even perceptions of responsibility when systems fail, potentially diverting scrutiny from the companies and engineers behind the technology. The article concludes by speculating that terms like "daydreaming" for predictive task simulation might be next, continuing this trend of embedding the idea of an "inner life" into computational processes.

marsbit44 min fa

Your Claude Will Dream Tonight, Don't Disturb It

marsbit44 min fa

Duan Yongping's Bottom-Fishing in CoreWeave Is Turning into a Battleground for Bulls and Bears

CoreWeave's Q1 2026 earnings report has intensified the ongoing bull-bear battle over the AI infrastructure stock. While revenue doubled year-over-year to $2.08B and the firm's remaining performance obligation (RPO) surged to nearly $100B, its net loss more than doubled to $740M. The critical point of contention is profitability: while adjusted EBITDA margin was a robust 56%, the adjusted operating margin collapsed to just 1% due to soaring infrastructure and sales costs. A weaker-than-expected Q2 revenue guidance further triggered an 11.4% single-day stock drop. The bull thesis hinges on CoreWeave's massive order backlog, deep strategic ties with NVIDIA (as a customer, investor, and key supplier), and a diversified client base now including Anthropic and Meta. The bear case focuses on the "scale at all costs" model, where expanding revenue leads to wider losses, ballooning debt ($25B), and massive capital expenditures ($6.8B in Q1). Insider selling by executives contrasts with a notable new investor: Chinese investor Duan Yongping initiated a small position (0.12% of his portfolio) in Q4 2025 near the stock's lows. The coming Q2 report is seen as a key test for management's promise of a profit margin recovery.

marsbit50 min fa

Duan Yongping's Bottom-Fishing in CoreWeave Is Turning into a Battleground for Bulls and Bears

marsbit50 min fa

China's Version of 'Tech Burning Man' Debuts in Shanghai, muShanghai Creates a Global Geek 'Pop-up City'

From May 10 to June 6, 2026, the inaugural muShanghai "Pop-up City" experiment, dubbed China's version of a "tech Burning Man," launched in Shanghai. Co-organized by the international open-source community The Mu and the Hongqiao Alibaba Center, this 28-day event aimed to build a global "parallel city" for geeks, attracting over 800 participants from more than 50 countries, including former OpenAI engineers and startup founders. The program featured four themed weeks: AI Week, Biotech Week, Robotics Week, and Culture Week, hosting nearly 100 sessions like ClawCon 2026. Activities ranged from discussions on AI safety and consumer apps to robot battles and cyberpunk culture, culminating in large outdoor "Innovator Marketplaces." A core principle was "Build in Public," encouraging open sharing of projects and progress. Hongqiao Alibaba Center served as the co-host and primary venue, positioning itself as a first-stop hub for international talent in China. The event marks a significant step for The Mu community, which has previously organized similar pop-up cities in Argentina and San Francisco, in bringing its model of immersive, collaborative innovation to China. It aims to be a key window for global科创 (scientific and technological innovation) exchange.

marsbit50 min fa

China's Version of 'Tech Burning Man' Debuts in Shanghai, muShanghai Creates a Global Geek 'Pop-up City'

marsbit50 min fa

CLARITY Act: Banking Trade Groups Push For Yield Agreement Revision – Details

US banking trade groups are urging revisions to the stablecoin yield compromise in the upcoming CLARITY Act ahead of a key committee markup. The Act currently aims to ban all passive, deposit-like interest on stablecoins to prevent competition with traditional bank savings, while allowing rewards tied to active uses like staking or transactions. In a letter, groups including the American Banking Association and Bank Policy Institute proposed stricter language to eliminate perceived loopholes for passive yield and prevent deposit flight from banks. However, these efforts are reportedly viewed as minor by some lawmakers. The Senate Banking Committee is scheduled to mark up the bill on May 14, a critical step before it can advance through Congress.

bitcoinist14 h fa

CLARITY Act: Banking Trade Groups Push For Yield Agreement Revision – Details

bitcoinist14 h fa

Trading

Spot

Futures