Flow

Secure

Karak

Compute Network

Time

<p>By incorporating <a href="https://www.spaceandtime.io/" target="_blank" rel="noopener noreferrer nofollow">Space and Time</a> as a ZK coprocessor solution to provide trustless cutting and incentives for Karak Distributed Secure Services (DSS), <a href="https://karak.network/" target="_blank" rel="noopener noreferrer nofollow">Karak</a> is excited to further its goal of universal security. Space and Time (SxT) is the verifiable compute layer that enables trustless data processing to&nbsp;smart contracts, LLMs, and companies by scaling zero-knowledge proofs on a decentralized data warehouse. Space and Time combines offchain datasets&nbsp;with indexed blockchain data from major&nbsp;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.</p>
<p>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&nbsp;and ZK Coprocessors. One of the most important pieces of information Karak needs as DSSs onboard is how to prove&nbsp;slashings on-chain. Space and Time provide considerably quicker definition of cutting logic, which in turn enables much faster building and launch&nbsp;of DSSs.</p>
<p>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.</p>
<p>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.</p>
<h3 class="wp-block-heading" id="h-decentralized-verifiable-compute-network">Decentralized Verifiable Compute Network</h3>
<p>Any smart contract may obtain and validate&nbsp;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.</p>
<p><strong>Architecture</strong></p>
<p class="has-text-align-center"><img decoding="async" src="https://lh7-rt.googleusercontent.com/docsz/AD_4nXd2-JwkIBvmHdrLuCJyss3GZoaKWUVl1QUNp7vRUaxqUSmQiQ0Dm0uw4zuhRN02TIarj1ni1I8655ozf7bu8tY1_Wt6H1UzgGDCQV6cMnj1bJGGZ_AaLMnH_TtIh5BZa4me06wHIRbHC1ixhSdsTpL4QvR7?key=eSToNMPzLOX-2bRwceVP8A" width="624" height="833"></p>
<h3 class="wp-block-heading" id="h-flow"><strong>Flow</strong></h3>
<ul>
 <li>The intended SQL statement to be verified is called by the Karak slashing contract to the Space and Time relayer contract.<br>The query task information are included in an event that is emitted by the Space and Time relayer contract.</li>
 <li>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).</li>
 <li>The Space and Time network assigns the task to an operator who is available in the Space and Time prover network after event validation.<br>In addition to executing the query, the operator produces a ZK proof and a cryptographic commitment on the requested data.<br>The operator then uses a relayed transaction to return these parts to the Space and Time relayer contract on the source chain.</li>
 <li>Through a callback function, the Space and Time relayer contract confirms the query result and sends it to the original Karak slashing contract.</li>
 <li>The query result is used by Karak’s slashing contract to calculate how much to slash a certain DSS.</li>
</ul>
<h3 class="wp-block-heading" id="h-participants">Participants</h3>
<ul>
 <li><strong>Relayer Contract</strong>: Obtains SQL query requests, sends out Space and Time network events, verifies, and returns query results.</li>
 <li><strong>Space and Time Network (Operators)</strong>: Indexes onchain DSS activity (such as&nbsp;finished tasks) and keeps track of query job events, sending them to the Space and Time network’s available prover operators.</li>
 <li><strong>Space and Time Network (Provers):</strong> Run queries, generate ZK proofs, and provide results back&nbsp;to the relayer contract.</li>
</ul>
<h3 class="wp-block-heading" id="h-conclusion">Conclusion</h3>
<p>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!</p>

Karak Integrates Space and Time as a ZK coprocessor to Boost DSS

Table of Contents

TheNewsCrypto

Other articles published on Jul 31, 2024

Asic Marketplace Celebrates 3 Remarkable Years Of Excellence In The Mining Industry

BlackRock Ethereum ETF Crosses $600 Million Inflows In A Week

Solana activity on DEX may be due to wash trading

Trump Raises $4 Million In BTC, Rollblock Heading For A Podium Finish With Olympics Giveaway, DOG...

Banana Players Reach 1 Million Milestone in 72 Hours

Azimut Invests €105 Million in Alps Blockchain for Sustainable Bitcoin Mining

Join our free newsletter for daily crypto updates!