Hassan Maishera
Karak announced on Wednesday, July 31st, that it has integrated Space and Time as a ZK coprocessor solution to power trustless slashing and rewards for Karak Distributed Secure Services (DSS).
In a press release shared with Cryptowisser, Karak explained that Space and Time (SxT) is the verifiable compute layer that scales zero-knowledge proofs on a decentralized data warehouse to deliver trustless data processing to smart contracts, LLMs, and enterprises. Space and Time is also developing a DSS on Karak for its ZK-compatible indexing.
A Distributed Secure Service (DSS) is a decentralized service built on Karak, leveraging restaked assets as universal security for the services it provides. Karak explained that the DSS framework is inherently flexible, extensible, and scalable, making it suitable for everything from basic utilities, like calculators, to sophisticated networks, such as DA marketplaces and ZK Coprocessors.
With Space and Time, developers can slash logic to be defined much faster, ultimately allowing for DSSs to be built and launched much faster. Furthermore, SxT is building a DSS for its blockchain indexing service so that community members can easily run indexing nodes in the SxT network. The integration with Space and Time accelerates Karak’s vision for universal security.
Decentralized Verifiable Compute Network
With the Space and Time network, smart contracts can retrieve and validate blockchain data across a wide range of major blockchains. They can also query blockchain data using SQL statements that can be validated on-chain with zero-knowledge (ZK) proofs.
Karak’s Architecture
Karak’s Flow
-
It starts with the Karak slashing contract calling the Space and Time relayer contract with the desired SQL statement it wants to verify.
-
The Space and Time relayer contract goes ahead to emit an event containing the query job details.
-
Space and Time network operators detect the query job emission on the source chain.
-
Once event validation is completed, the Space and Time network routes the job to an available operator in the Space and Time prover network.
-
The operator executes the query, generates a ZK proof, and creates a cryptographic commitment on the queried data.
-
The operator proceeds to send these components back to the Space and Time relayer contract on the source chain via a relayed transaction.
-
The Space and Time relayer contract verifies the query result and delivers it to the original Karak slashing contract through a callback function.
-
Finally, Karak’s slashing contract uses the query result to determine how much to slash a certain DSS.
Participants
There are three major participants in this flow. They are;
-
Relayer Contract: Receives SQL query requests, emits events for the Space and Time network, and verifies and delivers query results.
-
Space and Time Network (Operators): Indexes onchain DSS activities (such as completed jobs) and monitors query job events, routing them to available prover operators within the Space and Time network.
-
Space and Time Network (Provers): Execute queries, generate ZK proofs, and send results back to the relayer contract.
The integration of Space and Time with Karak accelerates the vision of universal, verifiable security for every developer, everywhere. Karak is the universal security layer that makes it easy to provide universal security with any asset and unlocks a new design space for developers to seamlessly and securely create innovative infrastructure systems.
Meanwhile, Space and Time (SxT) is the verifiable compute layer that scales zero-knowledge proofs on a decentralized data warehouse to deliver trustless data processing to smart contracts, LLMs, and enterprises.
Space and Time joins indexed blockchain data from major chains with offchain datasets. Proof of SQL, the novel ZK-proof developed by Space and Time, ensures tamperproof computations at scale and proves that query results haven’t been manipulated. Space and Time is trusted by the most prominent financial institutions, enterprises, and Web3 apps.
