3 repository-uri
Awesome GitHub RepositoriesVerifiable SQL Querying
SQL execution systems that generate cryptographic proofs of correctness for the query results.
Distinguishing note: No candidate covers the specific intersection of SQL querying and cryptographic verifiability.
Explore 3 awesome GitHub repositories matching security & cryptography · Verifiable SQL Querying. Refine with filters or upvote what's useful.
Awesome Verifiable SQL Querying 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.
Generates cryptographic proofs to ensure database query results are accurate and untampered.
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
Computes results from large datasets and generates cryptographic proofs attesting to computation correctness and data integrity.
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
Provides a development kit for executing verifiable SQL queries and managing decentralized data structures.
Go
