3 repository-uri
Awesome GitHub RepositoriesProof-Generating Executions
SQL execution processes that produce cryptographic proofs of correctness alongside the result set.
Distinct from SQL Query Execution: Focuses on generating a proof of correct execution rather than the simple process of retrieving data.
Explore 3 awesome GitHub repositories matching data & databases · Proof-Generating Executions. Refine with filters or upvote what's useful.
Awesome Proof-Generating Executions GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- spaceandtimefdn/sxt-proof-of-sql
spaceandtimefdn/sxt-proof-of-sql
5,423Vezi pe GitHubAcest proiect este un motor de bază de date verificabil care oferă un sistem de dovezi criptografice SQL pentru a asigura integritatea informațiilor stocate și regăsirea acestora. Acesta funcționează ca un depozit de date care poartă dovezi și utilizează angajamente criptografice pentru a preveni manipularea datelor și a garanta că rezultatele interogărilor sunt corecte. Sistemul generează dovezi zero-knowledge pentru a oferi dovezi matematice că o interogare SQL a fost executată corect, fără a necesita o re-rulare completă a procesului. Aceste dovezi criptografice pot fi exportate pentru validare on-chain, permițând contractelor inteligente sau terților să verifice rezultatele bazei de date în mod trustless. Motorul include un procesor de interogări SQL analitice de înaltă performanță, capabil să execute agregări și filtre complexe peste milioane de rânduri cu timpi de răspuns sub o secundă. Menține un pipeline de ingestie a datelor securizat care creează hash-uri anti-manipulare în timpul introducerii pentru a asigura integritatea stării bazei de date.
Produces cryptographic evidence that a database query executed correctly for third-party validation.
Rust - spaceandtimefdn/blitzar
spaceandtimefdn/blitzar
4,884Vezi pe GitHubBlitzar is a verifiable SQL proof engine and cryptographic library designed for verifiable SQL computation. It enables the execution of database queries off-chain while generating zero-knowledge proofs that certify the correctness of the results for on-chain verification. The project distinguishes itself through a GPU-accelerated proof accelerator that offloads heavy cryptographic workloads to graphics processors, reducing the time required for succinct proof generation. It provides high-performance cryptographic primitives for C++ and Rust applications, focusing on elliptic curve operations
Produces cryptographic proofs attesting that SQL queries were executed correctly against specific datasets for on-chain verification.
C++cpp20curve25519elliptic-curve-cryptography - spaceandtimefdn/sxt-go-sdk
spaceandtimefdn/SxT-Go-SDK
3,858Vezi pe GitHubThe Space and Time Go SDK is a development toolkit designed for interacting with decentralized storage environments and executing verifiable SQL queries. It provides the necessary infrastructure to manage database schemas, manipulate tables, and perform complex data operations within a distributed storage system. The SDK distinguishes itself by integrating cryptographic proof generation and verification directly into the database workflow. It enables the execution of SQL commands that produce mathematical evidence of data integrity, ensuring that results returned to an application remain accu
Produces mathematical evidence alongside query results to verify that data returned from the database remains untampered.
Go
