3 रिपॉजिटरी
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
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- spaceandtimefdn/sxt-proof-of-sql
spaceandtimefdn/sxt-proof-of-sql
5,423GitHub पर देखेंयह प्रोजेक्ट एक सत्यापन योग्य डेटाबेस इंजन है जो संग्रहीत जानकारी की अखंडता और इसकी पुनर्प्राप्ति सुनिश्चित करने के लिए एक SQL क्रिप्टोग्राफिक प्रूफ सिस्टम प्रदान करता है। यह एक प्रूफ-कैरिंग डेटा स्टोर के रूप में कार्य करता है जो डेटा के साथ छेड़छाड़ को रोकने और यह गारंटी देने के लिए कि क्वेरी परिणाम सटीक हैं, क्रिप्टोग्राफिक कमिटमेंट्स का उपयोग करता है। यह सिस्टम यह गणितीय प्रमाण प्रदान करने के लिए ज़ीरो-नॉलेज प्रूफ्स जनरेट करता है कि एक SQL क्वेरी को पूरी प्रक्रिया को फिर से चलाए बिना सही ढंग से निष्पादित किया गया था। इन क्रिप्टोग्राफिक प्रूफ्स को ऑन-चेन सत्यापन के लिए एक्सपोर्ट किया जा सकता है, जिससे स्मार्ट कॉन्ट्रैक्ट्स या थर्ड पार्टीज़ डेटाबेस परिणामों को ट्रस्टलेस तरीके से सत्यापित कर सकते हैं। इंजन में एक उच्च-प्रदर्शन विश्लेषणात्मक SQL क्वेरी प्रोसेसर शामिल है जो उप-सेकंड प्रतिक्रिया समय के साथ लाखों पंक्तियों पर जटिल एग्रीगेशन और फिल्टर्स को निष्पादित करने में सक्षम है। यह एक सुरक्षित डेटा इंजेक्शन पाइपलाइन बनाए रखता है जो डेटाबेस स्थिति की अखंडता सुनिश्चित करने के लिए प्रवेश के दौरान छेड़छाड़-रोधी हैश बनाता है।
Produces cryptographic evidence that a database query executed correctly for third-party validation.
Rust - spaceandtimefdn/blitzar
spaceandtimefdn/blitzar
4,884GitHub पर देखेंBlitzar एक वेरिफिएबल SQL प्रूफ इंजन और क्रिप्टोग्राफिक लाइब्रेरी है जिसे वेरिफिएबल SQL कंप्यूटेशन के लिए डिज़ाइन किया गया है। यह ऑन-चेन सत्यापन के लिए परिणामों की शुद्धता को प्रमाणित करने वाले ज़ीरो-नॉलेज प्रूफ जेनरेट करते समय डेटाबेस क्वेरी को ऑफ-चेन निष्पादित करने में सक्षम बनाता है। यह प्रोजेक्ट एक GPU-त्वरित प्रूफ एक्सीलरेटर के माध्यम से खुद को अलग करता है जो भारी क्रिप्टोग्राफिक वर्कलोड को ग्राफिक्स प्रोसेसर पर ऑफलोड करता है, जिससे संक्षिप्त प्रूफ जनरेशन के लिए आवश्यक समय कम हो जाता है। यह C++ और Rust एप्लिकेशन के लिए उच्च-प्रदर्शन क्रिप्टोग्राफिक प्रिमिटिव प्रदान करता है, जो एलिप्टिक कर्व ऑपरेशंस और मल्टी-स्केलर मल्टीप्लिकेशन पर केंद्रित है। यह सिस्टम डेटा प्रबंधन और सुरक्षा की एक विस्तृत सतह को कवर करता है, जिसमें ट्रस्टलेस डेटा एकीकरण शामिल है जो ब्लॉकचेन इंडेक्सिंग को ऑफ-चेन डेटासेट के साथ छेड़छाड़-रोधी रिलेशनल टेबल में जोड़ता है। यह स्टेट अखंडता बनाए रखने के लिए BFT कंसेंसस और थ्रेशोल्ड सिग्नेचर का उपयोग करता है, साथ ही स्मार्ट कॉन्ट्रैक्ट कॉलबैक के माध्यम से कोरम-आधारित डेटा सिंक्रोनाइज़ेशन और सत्यापित परिणाम वितरण के लिए तंत्र का उपयोग करता है। कोडबेस अपने क्रिप्टोग्राफिक टूलसेट्स और प्रूफ कंप्यूटेशन लाइब्रेरी को उजागर करने के लिए C++ और Rust के लिए नेटिव बाइंडिंग प्रदान करता है।
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,858GitHub पर देखेंThe 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
