IC

On June 3, 2025, the DFINITY Foundation held the second World Computer Summit (WCS) in Zurich, bringing together market-leading international technology experts, developers, policymakers, community members, builders, and pioneers for a one-day event dedicated to the future of the open internet.
This event focused on multiple themes that are crucial for realizing the vision of the World Computer, including decentralized computing, sovereign cloud and data infrastructure, tamper-proof and autonomous infrastructure, the role and demand for on-chain artificial intelligence, investment and regulatory landscapes, and the many efforts by DFINITY to make the digital environment safer, more efficient, and more interconnected than ever before.

Celebrating the fourth anniversary of the Internet Computer was fantastic! During the largest community celebration to date, the DFINITY Foundation proudly hosted the World Computer Summit on June 3, a milestone event dedicated to exploring how emerging technologies such as artificial intelligence, Web3, and the revolutionary self-written internet will shape our work, communication, and lifestyles.
The summit was held at the historic Kaufleuten cultural venue, bringing together numerous industry experts, visionary thought leaders, and hundreds of community members for a full day of lively discussions, speeches, and valuable exchanges.

Since the initial "The DAO" smart contract, reentrancy vulnerabilities have plagued smart contracts on various blockchains, followed by a series of high-profile exploits that resulted in the theft of hundreds of millions or even billions of dollars in funds from smart contracts.
These vulnerabilities are difficult to detect through testing because they only occur when different parts of smart contract code are executed in a specific order, and the number of such orders is vast, making simple testing unfeasible.
In previous blog posts, we demonstrated how to perform formal verification using TLA+ (a general toolkit capable of comprehensively testing software designs) to effectively eliminate reentrancy vulnerabilities in smart contracts (or "containers") on the Internet Computer.

This paper investigates the Autonomous Rate Manager (ARM), a system built on the Internet Computer Protocol (ICP) designed to automate Liquity V2 loan rate management.
Liquity V2 is a decentralized protocol running on the Ethereum mainnet that allows users to borrow its stablecoin BOLD against collateral assets (including ETH, wstETH, and rETH). A key innovation of the protocol is allowing borrowers to set and adjust interest rates themselves.
The problem is that borrowers with interest rates below other borrowers face higher redemption risks. Simply put, this mechanism allows any BOLD holder to redeem it through the protocol for a combination of ETH worth $1 and liquid staking tokens (minus fees), and the system will deduct this amount from the collateral of borrowers who set the minimum interest rate.

Robinhood Crypto Senior Vice President and General Manager Johann Kerbrat stated that tokenization can open new opportunities for retail investors to enter traditional restricted asset classes, calling it "very important for financial inclusivity."
Kerbrat stated at the "Consensus 2025" event in Toronto that some real-world assets, such as real estate and private equity, currently have only up to 10% of the US population able to invest. "Right now, you need to be an accredited investor to invest in private equity," he said.
"How many people can afford to buy a house or apartment in New York?" He explained, "But you can get a piece of the returns through fractionalization and tokenization, so we believe this will make transactions easier and make it easier for everyone to access."

Zero-knowledge machine learning (zkML) is the combination of cryptographic magic and artificial intelligence. Imagine proving that a machine learning model produced a specific result without revealing model inputs, internal workings, or outcomes. That's the vision of zkML - and there are already various cutting-edge methods competing to make it a reality.
In this article, we will delve into three leading zkML paradigms - JOLT (modified for machine learning operations and with precompiled features: JOLTx), EZKL (based on Halo2), and DeepProve (based on GKR), compare how they work and their performance, and explain why JOLT's lookup-centric approach is set to reverberate throughout the industry like a snowball in a taxi.

Having truly witnessed the development of the blockchain industry in China and even globally, the 2025 Shanghai Blockchain International Week will grandly open again in October, where the '11th Blockchain Global Summit' hosted by the Wanxiang Blockchain Lab will be the core event of the international week, gathering influential figures once again.
During the Shanghai Blockchain Week from October 20 to 25, dozens of technical sharing, project roadshows, academic seminars, and other surrounding activities will also be presented simultaneously at multiple venues in Shanghai, creating a Web3 feast covering technology, business, and culture.

Regulated custody and self-custody are now live, with staking support coming soon
BitGo is pleased to announce support for the Internet Computer (ICP), a Layer 1 protocol ranked in the top 50 by market capitalization, allowing institutional clients to securely custody ICP using BitGo's regulated custody wallet or self-custody cold wallet infrastructure.
In addition, BitGo will support ICP staking and tokens for decentralized applications (DApps) built on ICP, which will be launched soon.
Expand support for top Layer 1s
This collaboration further expands BitGo's premier asset coverage - the number of supported top 100 digital assets exceeds that of any other qualified custodian.

Chapter One: Silicon Valley: The Digital Utopia of Tech Evangelists
In a garage twenty kilometers south of Stanford University, a serial entrepreneur with a goatee is drawing an amazing curve on a whiteboard: "Our DAO will reconstruct the way humans organize!" Outside the glass door, a Mexican delivery guy silently places sushi next to the valuation sign - the "$300M" written on it with a whiteboard marker is not yet dry.
This scene perfectly interprets the survival rules of the Silicon Valley blockchain circle: using the simplest physical space to carry the most inflated virtual dreams. Data from a certain incubator shows that among the blockchain projects born in the Bay Area in 2023, 37 want to build the "next-generation internet underlying protocol," 29 claim to "disrupt traditional finance," and 15 are preparing to save endangered species with NFTs - including a project that issues digital collectibles for polar bears, even though the team has never seen a real bear.

OpenChat emerges as a pioneering force in decentralized communication, launching a groundbreaking development toolkit (SDK) and a broad open ecosystem, inviting innovators to reimagine the role of bots and AI agents in a blockchain environment.
This strategic leap not only enhances OpenChat's capabilities but also marks a transformative shift in community-driven innovation within Web3.

Unlock infinite possibilities through advanced bot development
The newly launched SDK provides developers with powerful tools to create next-generation bots that go beyond traditional messaging. By enabling seamless integration of multimedia content from text, images, to videos and encrypted files, this toolkit empowers creators to design dynamic, interactive experiences.

As more businesses, creators, and institutions turn to ORIGYN for on-chain certification of real-world assets (RWA), a fundamental need has become clear: cost clarity.
Today, we are excited to announce that the ORIGYN calculator is now live on the ORIGYN dashboard. This tool enables users to accurately estimate the costs of creating and managing digital certificates using the ORIGYN infrastructure before writing any data on-chain.
Certify your assets
On-chain certification of RWA can enhance transparency, traceability, and practicality, but so far, estimating the costs of fully storing certificates, media, and metadata on-chain may still pose a challenge.

We are excited to share the latest updates on the Internet Computer dashboard (dashboard.internetcomputer.org) - this portal aims to help developers, users, and ecosystem explorers better understand the network through clean and accessible data.
The dashboard was originally built as a powerful utility for real-time metrics and is now continually evolving into a more structured, insight-driven platform; this article focuses on its recent improvements and explains how we are building a more data-driven, interconnected, ecosystem-level view of the Internet Computer.

That summer when the ice bucket challenge spread virally on YouTube, Hal Finney's ventilator emitted a rhythmic wheeze. The sunlight in August 2014 pierced through the blinds of the Santa Barbara nursing home, casting alternating shadows on his bony fingers, resembling the immutable hash values on the blockchain.
His eye-tracking device captured the news push about Bitcoin's price breaking $600, and an already prepared smiley face popped up on the screen. This was his last way of communicating with the world - controlling a virtual keyboard through subtle muscle twitches in his face; each keystroke felt as difficult as chiseling holes in ice.