Karak has expanded its vision of universal security by integrating Space and Time (SxT) as a zero-knowledge (ZK) coprocessor solution to power trustless slashing and rewards for Karak Distributed Secure Services (DSS). This integration marks a significant step forward in enhancing the security and efficiency of decentralized services on the Karak network.
Space and Time: The Verifiable Compute Layer
Space and Time is a verifiable compute layer that scales zero-knowledge proofs on a decentralized data warehouse, enabling trustless data processing for smart contracts, large language models (LLMs), and enterprises. By combining indexed blockchain data from major chains with offchain datasets, SxT ensures tamperproof computations at scale through its novel ZK-proof, Proof of SQL. This technology proves that query results are unmanipulated, providing a high level of security and reliability.
The Role of Space and Time in Karak DSS
A Distributed Secure Service on Karak leverages restaked assets as universal security for the services it provides. The DSS framework is flexible, extensible, and scalable, suitable for a wide range of applications, from basic utilities like calculators to sophisticated networks like DA marketplaces and ZK Coprocessors. As DSSs onboard, proving slashings on-chain becomes crucial. Space and Time’s integration allows for slashing logic to be defined more quickly, facilitating faster development and deployment of DSSs.
Space and Time is also building a DSS for its blockchain indexing service, enabling community members to run indexing nodes within the SxT network. This is particularly beneficial for decentralized data indexing, which demands the highest levels of security, incentive alignment, and decentralization. The strategic integration of Space and Time with Karak accelerates the vision of universal security and extends SxT’s capabilities to indexing data for other DSSs.
Decentralized Verifiable Compute Network
The Space and Time network allows any smart contract to retrieve and validate blockchain data across a wide range of major blockchains. Smart contracts can query blockchain data using SQL statements validated on-chain with ZK proofs, ensuring secure and reliable data processing.
Architecture and Flow
Karak slashing contract calls the Space and Time relayer contract with the desired SQL statement for verification.
Space and Time relayer contract emits an event containing the query job details.
Space and Time network operators, running ZK-compatible indexing nodes, detect the query job emission on the source chain.
After event validation, 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 sends 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.
Karak’s slashing contract uses the query result to determine how much to slash a certain DSS.
Participants
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 on-chain 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): Executes queries, generates ZK proofs, and sends results back to the relayer contract.
The Way Forward
Karak is built for developers by developers. Integrating Space and Time on Karak accelerates the vision of universal, verifiable security for every developer, everywhere. This integration simplifies the process of building secure and efficient DSSs, allowing developers to focus on innovation. If you are interested in building on the Space and Time DSS or are considering developing a DSS on Karak, please reach out.
Karak serves as the universal security layer, enabling the provision of universal security with any asset and unlocking new design spaces for developers to create innovative infrastructure systems securely and seamlessly.
Karak’s robust and secure trust networks significantly lower the barrier to securing new protocols, eliminating the need for protocols to incentivize their own validator sets with highly dilutive reward mechanisms, making the process of bootstrapping security more scalable, accessible, and affordable.
Space and Time stands as a trusted verifiable compute layer, ensuring tamperproof computations at scale and trusted by prominent financial institutions, enterprises, and Web3 applications. By integrating with Karak, Space and Time continues to push the boundaries of security and efficiency in the decentralized ecosystem.