Karak is excited to announce the integration of Space and Time (SxT) as a ZK coprocessor solution, revolutionizing trustless slashing and rewards for Karak Distributed Secure Services (DSS). This strategic collaboration aims to fortify Karak's vision of universal security by leveraging SxT’s advanced capabilities.
Space and Time is a cutting-edge verifiable compute layer that scales zero-knowledge proofs (ZK-proofs) on a decentralized data warehouse. This innovative platform delivers trustless data processing for smart contracts, LLMs, and enterprises by merging indexed blockchain data from major chains with off-chain datasets.
The novel ZK-proof developed by SxT, known as Proof of SQL, ensures tamperproof computations at scale, guaranteeing the integrity of query results.
Karak’s Distributed Secure Services (DSS) leverage restaked assets to provide universal security for decentralized services. The flexible, extensible, and scalable DSS framework is ideal for a wide range of applications, from basic utilities to sophisticated networks like DA marketplaces and ZK coprocessors. A crucial aspect of DSSs is proving slashing on-chain, and SxT’s capabilities enable faster definition of slashing logic, accelerating the development and deployment of DSSs.
Loading tweet...
View Tweet
SxT is building a DSS for its blockchain indexing service, allowing community members to run indexing nodes in the SxT network. This integration is particularly suited for decentralized data indexing, which demands high security, incentive alignment, and decentralization. By integrating SxT, Karak enhances its vision for universal security and extends SxT’s indexing capabilities to other DSSs.
How It Works
Space and Time Network: The SxT network enables any smart contract to retrieve and validate blockchain data across multiple blockchains. Smart contracts can query this data using SQL statements validated on-chain with ZK proofs.
Flow and Architecture:
Karak slashing contract requests verification of an SQL statement from the SxT relayer contract.
The SxT relayer contract emits an event containing the query job details.
SxT network operators, running ZK-compatible indexing nodes, detect the query job emission.
After validation, the SxT network routes the job to an available operator in the SxT 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 SxT relayer contract on the source chain.
The SxT relayer contract verifies the query result and delivers it to the original Karak slashing contract.
Karak’s slashing contract uses the query result to determine the appropriate slashing for a DSS.
Participants:
Relayer Contract: Manages SQL query requests, emits events, and verifies and delivers query results.
SxT Network (Operators): Index on-chain DSS activities and monitor query job events.
SxT Network (Provers): Execute queries, generate ZK proofs, and relay results.
Loading tweet...
View Tweet
Looking Ahead
This integration with SxT accelerates Karak’s mission of providing universal, verifiable security for developers worldwide. The synergy between Karak and SxT promises to push the boundaries of security and efficiency, paving the way for innovative infrastructure systems in the DeFi space.
About Karak
Karak is a universal security layer that simplifies providing universal security with any asset. It unlocks new design spaces for developers to create innovative infrastructure systems seamlessly and securely. By enabling protocols to tap into robust and secure trust networks from day one, Karak lowers the barrier to securing new protocols and eliminates the need for protocols to incentivize their validator sets with dilutive rewards.
