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,423在 GitHub 上查看该项目是一个可验证的数据库引擎，提供 SQL 加密证明系统，以确保存储信息及其检索的完整性。它作为一个支持证明的数据存储，利用加密承诺来防止数据篡改并保证查询结果的准确性。 该系统生成零知识证明，提供数学证据证明 SQL 查询已正确执行，而无需重新运行整个过程。这些加密证明可以导出以进行链上验证，允许智能合约或第三方以无需信任的方式验证数据库结果。 该引擎包括一个高性能分析 SQL 查询处理器，能够在数百万行数据上执行复杂的聚合和过滤，响应时间在亚秒级。它维护一个安全的数据摄取流水线，在输入期间创建防篡改哈希，以确保数据库状态的完整性。
Produces cryptographic evidence that a database query executed correctly for third-party validation.
Rust - spaceandtimefdn/blitzar
spaceandtimefdn/blitzar
4,884在 GitHub 上查看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,858在 GitHub 上查看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
