← Back to home

zkSQL

Rust

Verifiable execution of SQL queries using web3.storage as input and output. computation is done through Stark circuits that are execute in a distributed matter over different computing units

GitHubLive Demo

Screenshots

zkSQL screenshot 1
zkSQL screenshot 2
zkSQL screenshot 3

Problem Statement

problem statement: A data warehouse like Google cloud Bigquery involves a lot of trust assumptions. So we have to fully rely on google to execute our big data analysis of big chunks of datasolution statement: build a verifiable SQL query engine that allows us to fully verify the execution of your query. the tools being used were:filecoin web3.storage (input of data to be analyzed)starknet L2 (store metadata of SQL query execution + result)filecoin web3.storage(output of SQL query)

Solution

problem statement: A data warehouse like Google cloud Bigquery involves a lot of trust assumptions. So we have to fully rely on google to execute our big data analysis of big chunks of datasolution statement: build a verifiable SQL query engine that allows us to fully verify the execution of your query. the tools being used were:filecoin web3.storage (input of data to be analyzed)starknet L2 (store metadata of SQL query execution + result)filecoin web3.storage(output of SQL query)

Hackathon

ETHGlobal Istanbul

2024

Contributors