Make Web3.0 Connected

${\mathsf Web3.0}$
, often cited to drastically shape our lives, is ubiquitous. However, few literatures have discussed the crucial differentiators that separate
${\mathsf Web3.0}$
from the era we are currently living in. Via a thorough analysis of the recent blockchain infrastructure evolution, we capture a key invariant featuring the evolution, based on which we provide the first academic definition for
${\mathsf Web3.0}$
. Our definition is not the only way of understanding
${\mathsf Web3.0}$
, yet, it captures the fundamental and defining trait of
${\mathsf Web3.0}$
, and meanwhile it is has two desirable properties. Under this definition, we articulate three key categories of infrastructural enablers for
${\mathsf Web3.0}$
: individual smart-contract capable blockchains, federated or centralized platforms capable of publishing verifiable states, and an interoperability platform to hyperconnect those state publishers to provide a unified and connected computing platform for
${\mathsf Web3.0}$
applications. While innovations in all categories are necessary to fully enable
${\mathsf Web3.0}$
, in this article, we present a design for the third enabler, i.e., the first interoperability platform, namely
${\mathsf HyperService}$
, that advances the state-of-the-art by simultaneously delivers
interoperability
and
programmability
across
heterogeneous
blockchains and state publishers.
${\mathsf HyperService}$
is powered by two innovative designs:
${\mathsf (i)}$
a developer-facing programming framework that allows developers to build cross-chain applications in a unified programming model; and
${\mathsf (ii)}$
a secure blockchain-facing cryptography protocol that provably realizes those applications on blockchains. We implement a prototype of
${\mathsf HyperService}$
in approximately 62,000 lines of code to demonstrate its practicality, usability and scalability.