By incorporating Space and Time as a ZK coprocessor solution to provide trustless cutting and incentives for Karak Distributed Secure Services (DSS), Karak is excited to further its goal of universal security. Space and Time (SxT) is the verifiable compute layer that enables trustless data processing to smart contracts, LLMs, and companies by scaling zero-knowledge proofs on a decentralized data warehouse. Space and Time combines offchain datasets with indexed blockchain data from major chains. Space and Time developed Proof of SQL, a unique ZK-proof that guarantees tamperproof computations at scale and demonstrates that query results haven’t been altered. In addition, Space and Time is working on a DSS for its ZK-compatible indexing on Karak.
Utilizing restaked assets as universal security for the services it offers, a Distributed Secure Service (DSS) is a decentralized service based on Karak. Because of its intrinsic flexibility, extensibility, and scalability, the DSS framework may be used for a wide range of applications, from simple utilities like calculators to complex networks like DA marketplaces and ZK Coprocessors. One of the most important pieces of information Karak needs as DSSs onboard is how to prove slashings on-chain. Space and Time provide considerably quicker definition of cutting logic, which in turn enables much faster building and launch of DSSs.
SxT is also developing a DSS for its blockchain indexing service, making it simple for community members to operate indexing nodes inside the SxT network. Developing a DSS is a fantastic match for Space and Time, particularly for use cases like decentralized data indexing that need the utmost security, decentralization, and incentive alignment.
Our goal of achieving universal security is accelerated by this strategic integration, as Space and Time can now index data for additional DSSs. As we continue to push the envelope in terms of efficiency and security, we look forward to sharing more in the months ahead.
Decentralized Verifiable Compute Network
Any smart contract may obtain and validate blockchain data from a variety of major blockchains by using the Space and Time network. SQL statements may be used by smart contracts to query blockchain data, and these queries can be verified on-chain via zero-knowledge (ZK) proofs.
Architecture
Flow
The intended SQL statement to be verified is called by the Karak slashing contract to the Space and Time relayer contract.The query task information are included in an event that is emitted by the Space and Time relayer contract.
The query task emission on the source chain is detected by Space and Time network operators using ZK-compatible indexing nodes (this service is also implemented as a DSS).
The Space and Time network assigns the task to an operator who is available in the Space and Time prover network after event validation.In addition to executing the query, the operator produces a ZK proof and a cryptographic commitment on the requested data.The operator then uses a relayed transaction to return these parts to the Space and Time relayer contract on the source chain.
Through a callback function, the Space and Time relayer contract confirms the query result and sends it to the original Karak slashing contract.
The query result is used by Karak’s slashing contract to calculate how much to slash a certain DSS.
Participants
Relayer Contract: Obtains SQL query requests, sends out Space and Time network events, verifies, and returns query results.
Space and Time Network (Operators): Indexes onchain DSS activity (such as finished tasks) and keeps track of query job events, sending them to the Space and Time network’s available prover operators.
Space and Time Network (Provers): Run queries, generate ZK proofs, and provide results back to the relayer contract.
Conclusion
Developers created Karak, for developers. By combining Space and Time into Karak, the goal of providing verified, universal security for all developers worldwide is accelerated. Please get in touch if you want to expand on the Space and Time DSS, are thinking about expanding a DSS, or are already developing a DSS on Karak!