§Internet Computer Protocol (ICP)The internet overlay for AIware
Sovereign cloud.
Create custom AIware apps and SaaS on-demand, which have fluid functionality
The Internet Computer is a frontier serverless cloud, backed by independent hardware operators. For the first time, cloud is produced from a secure network. This runs a new form of software supporting AI agents that generate apps, websites, and SaaS, on-demand. Generated apps allow users to make arbitrary requests via fluid AI experiences, because AI can see the data inside, and dynamically create logic on the fly. Software is also tamperproof, immune to infrastructure hacks, always-on, can be auto-scaled, and is digital assets native.
Experience the future of cloud
Configure a sovereign cloud engine, experience on-demand fluid apps
Start building:Security and resilience guarantees from math
Why agents build here
Internet Computer cloud has properties that enable agents to build online with greater autonomy.
№ 01
Tamperproof
Serverless software is hosted within mathematical protocols that create the cloud, not directly on servers, and is tamperproof by default, just like the network. A misconfiguration cannot lead to a cyber breach. Immunity from infrastructure hacks allows AI to deploy without oversight from human security teams.
№ 02
Fault-tolerant
The network cloud replicates the computations and data of serverless software across compute nodes, and the protocol is fault-tolerant. Serverless software does not depend on platform software, such as databases, so AI can build without oversight from human systems administration teams.
№ 03
Sovereign
Your cloud is a compute configuration, not a machine. Run on the shared public network, or define a cloud engine — your own subnet — choosing compute providers and locations. Add and remove nodes to move over hardware and auto-scale software without interrupting hosted apps. AI choices don't add lock-in.
The self-writing cloud
Agents build and update sophisticated AIware for you, while only needing to focus on the abstract logic of your apps and services.
№ 04
AIware comes for free
AI builds using a new kind of software, and new languages. It focuses only on the UX and abstract backend logic of apps. The program is the database, because data lives in persistent memory, and is defined by program logic. AI can see this memory, and dynamically add logic, so AI chat can offer fluid extra functionality.
№ 05
Lossy updates can't happen
Upgrading production apps has always been risky, so how can AI be trusted? Program data lives in memory and is defined by program logic. AI must specify how to transform that data on updates. Mistakes that could lead to loss are detectable, and lossy updates are rejected, reducing potential disasters to AI coding retries.
№ 06
Digital assets, trustlessly
Increasingly, online commerce relies on digital assets, including stablecoins. Custodying any kind of digital asset securely is hard, but AI is provided with multi-blockchain APIs, and tamperproof key custody and signing, safe even against the physical breach of an underlying compute node. Digital assets are simplified to abstractions.
The research program
The world's most sophisticated network science, made yours.
The Internet Computer was developed by a multi-year R&D program. After initial work, the DFINITY Foundation was formed in October 2016, and has run one of the largest independent research operations in frontier computing since late 2017.
Its purpose is to develop internet-scale cloud that hosts a new kind of software — any language that compiles to WebAssembly, plus the domain-specific Motoko language developed in-house. Over the years, the network has benefited from the work of some of the world's leading researchers and engineers in secure distributed protocols, cryptography, execution environments, Wasm, and programming languages.
In recent times, an increasing emphasis has been placed on enabling the self-writing internet, where AI generates apps on demand. As the Internet Computer hosts ever more apps and services, it becomes increasingly clear that its time has come.
Research & documents
Papers, decks, and specifications from the program.
Every long document on this site is also available in Markdown and JSON so coding agents can ingest it directly.
In the press
Recent coverage, announcements, and field notes.

Exclusive: Pakistan moves towards sovereign AI
Axios

Pakistan Digital Authority and DFINITY Partner for Sovereign Cloud Infrastructure and AI Software Systems
DFINITY Foundation

Pakistan digital authority partners with Swiss-based group on sovereign cloud, AI systems
Arab News

Mission 70 and Accelerating the Internet Computer Economy
Whitepaper

DFINITY launches Caffeine
VentureBeat
Monetize apps with Caffeine
Ecosystem spotlight · Consumer
Mass-market platforms already live on the Internet Computer.

Caffeine — Build through conversation
Create custom websites, apps, and digital services simply by describing them in natural language. Caffeine demonstrates the self-writing internet, where AI generates fully functional applications on demand.

OISY: your digital wealth, private and tamperproof
One wallet for crypto, stablecoins, tokenized stocks, and collectibles across eight networks, opened in a browser tab.

OpenChat — Messaging with no backend operator
A real-time messaging platform comparable to WhatsApp, running entirely inside the Internet Computer. Users own their data and conversations.
Ecosystem spotlight · Government & NGO
Institutions building on the sovereign-by-default stack.

PDA — Sovereign infrastructure for Pakistan
The Pakistan Digital Authority and DFINITY partner to advance sovereign, AI-native digital infrastructure in Pakistan.

UNDP — Universal Trusted Credentials
The United Nations Development Programme uses ICP to issue tamperproof, verifiable credentials.

GZA — Europe's tech powerhouse
How the Internet Computer plays a leading role in the Greater Zurich Area's technology ecosystem.
Quick start · for human developers
Everything you need to ship apps, websites, and services inside the Internet Computer's tamperproof serverless environment.
For agentsMachine-readable copies of “Internet Computer — frontier computing platform”