Blitzar

Blitzar 是一个可验证的 SQL 证明引擎和加密库，专为可验证的 SQL 计算而设计。它支持在链下执行数据库查询，同时生成零知识证明，以证明结果的正确性，从而实现链上验证。

该项目以其 GPU 加速的证明加速器脱颖而出，该加速器将繁重的加密工作负载卸载到图形处理器，减少了简洁证明生成所需的时间。它为 C++ 和 Rust 应用提供了高性能加密原语，专注于椭圆曲线运算和多标量乘法。

该系统涵盖了广泛的数据管理和安全面，包括将区块链索引与链下数据集结合到防篡改关系表中的无信任数据集成。它利用 BFT 共识和阈值签名来维护状态完整性，以及用于基于法定人数的数据同步和通过智能合约回调进行验证结果交付的机制。

该代码库提供了 C++ 和 Rust 的原生绑定，以公开其加密工具集和证明计算库。

Features

Proof-Generating Executions - Produces cryptographic proofs attesting that SQL queries were executed correctly against specific datasets for on-chain verification.
Verifiable Off-Chain Computations - Processes complex logic off-chain and generates zero-knowledge proofs to certify results for on-chain verification.
GPU-Accelerated Generation - Utilizes GPU hardware to accelerate the generation of zero-knowledge proofs for C++ and Rust applications.
Verifiable Query Proofs - Produces zero-knowledge proofs for query results against tamperproof tables for on-chain verification.
Blockchain Data Analytics - Provides high-performance SQL querying of indexed blockchain records for analytics and dashboarding.
Blockchain Indexers - Tracks and indexes blockchain events into structured relational tables secured by cryptographic commitments.
Commitment-Based Table Integrity - Uses cryptographic digests and fingerprints to ensure relational table data remains tamperproof and verifiable.
Verifiable Hybrid Ingestion - Integrates real-time indexed blockchain data with off-chain datasets into a single verifiable source.
Tamperproof Insertion Interfaces - Ensures every data insertion into relational tables is verified using signatures or consensus mechanisms.
Verifiable Source Unification - Unifies real-time indexed blockchain data and off-chain datasets into a single verifiable source.
Blockchain Data Transformers - Transforms external and raw on-chain data into structured relational formats for ledger submission.
State Integrity Verifications - Uses a fault-tolerant protocol and threshold signatures to ensure data modifications are validated by a decentralized quorum.
Consensus-Backed Data Commits - Stores structured data in immutable tables secured by cryptographic digests and consensus commitments.
Quorum-Based Indexing Verification - Transforms blockchain events into relational rows by requiring a quorum of independent indexers to agree.
Quorum-Based Update Agreement - Aggregates redundant data inserts and accepts updates only when a predefined quorum agrees on the content.
Verifiable Relational Storage - Transforms raw transactions and events into relational tables secured by cryptographic commitments and consensus.
BFT Consensus Voting - Provides BFT consensus voting to reach finality for data insertions and execution.
Blockchain Data Synchronization - Synchronizes and indexes real-time data across multiple blockchain networks for combined query sets.
Threshold Signature Implementations - Secures data commitments and table roots using distributed threshold signatures to maintain a decentralized record of truth.
Data Origin Authentications - Validates digital signatures and cryptographic proofs to authenticate the origin of data before insertion.
Cryptographic Execution Proofs - Generates succinct cryptographic proofs for off-chain computational correctness and data integrity.
Quorum-Based Verifications - Ensures data integrity by requiring a quorum of independent indexers to agree on submitted records.
Elliptic Curve Libraries - Provides a high-performance implementation of elliptic curve operations and scalar multiplications for verifiable computing.
State Commitment Maintenance - Maintains shared state integrity by signing and committing updates to cryptographic data commitments.
Threshold-Signed State Management - Secures table states by computing new roots and applying threshold signatures after data insertions.
Verifiable SQL Querying - Computes results from large datasets and generates cryptographic proofs attesting to computation correctness and data integrity.
Proof Verification Interfaces - Publishes table commitments that enable verifier contracts to validate proofs against the current state.
Off-Chain Verifiers - Retrieves historical data using SQL and generates zero-knowledge proofs for off-chain verification.
Private Data Provers - Integrates real-time blockchain data with off-chain datasets using ZK-proofs to attest to facts without revealing data.
On-Chain Verifiers - Provides smart contracts that act as on-chain verifiers for zero-knowledge proofs of off-chain query results.
Commitment Schemes - Implements cryptographic commitment schemes to ensure the integrity of relational tables without revealing full datasets.
Query Result Verifications - Generates zero-knowledge proofs over indexed tables to provide cryptographic guarantees of query result correctness.
Zero-Knowledge Proof Generation - Generates succinct zero-knowledge proofs for off-chain computations that can be verified on a blockchain.
GPU Accelerators - Provides a hardware-accelerated backend that offloads heavy ZK-proof computations to GPUs.
Tamperproof Records - Creates verifiable fingerprints of table contents using consensus and cryptographic commitment schemes.
On-chain Witness Gates - Uses signed transactions and cryptographic witnesses to authorize and verify data insertions.
Verified Data Publishing - Exposes certified query results to external APIs and dashboards for third-party consumption.
Dataset Publishing Tools - Exposes certified query results through web interfaces and searchable APIs for end-user consumption.
Data Provenance Frameworks - Provides a framework for establishing data provenance and verifiable chain-of-custody via threshold-signed commitments.
Multi-Source Data Aggregation - Aggregates balance data from multiple exchanges and wallets into a single unified state for monitoring.
Immutable Table Deployments - Deploys database tables to a network of validators that cryptographically secure the data to ensure immutability.
Collateral Proof Protocols - Provides protocols to generate on-chain proofs of off-chain collateral to ensure legitimate funding sources.
ZK-Proven Query Triggers - Enables smart contracts to call verified SQL queries and receive results through a callback handler.
Verifiable Definitions - Creates decentralized database tables with schema definitions bound to cryptographic commitments.
Verifiable Data Retrieval - Fetches data through read endpoints that support zero-knowledge proofs or optimistic verification.
Blockchain Node Operation - Enables the operation of validator nodes that secure tamperproof tables and execute cryptographic workflows.
Rust-C++ Bridges - Exposes high-performance cryptographic primitives to C++ and Rust via shared native interfaces.
Cryptographic Transaction Verifications - Validates cryptographic signatures upon submission to ensure the authenticity of user interactions.
Table-Level Access Controls - Restricts data insertion into relational tables based on ownership or required signatures.
Inner Product Arguments - Implements inner product arguments to establish zero-knowledge proofs between commitments and vector products.
Multi-Scalar Multiplication - Provides high-performance multi-scalar multiplication for calculating generalized commitments across elliptic curves.
Secure Transaction Verifications - Validates the authenticity of data insertions using cryptographic proofs and digital signatures before updating state.
zkTLS Verifications - Inserts data from web sources by validating zero-knowledge TLS proofs to ensure authenticity.
Relational-to-Proof Mapping - Transforms structured SQL query results into mathematical formats suitable for zero-knowledge proof generation.
Verified Result Deliveries - Sends cryptographically verified query results back to smart contracts via callbacks for trustless processing.
Smart Contract-to-API Bridges - Delivers verified off-chain query results to smart contracts via callback bridges to trigger on-chain logic.

Star 历史

spaceandtimefdnblitzar

Name: spaceandtimefdn/blitzar
Author: spaceandtimefdn

View on GitHub

4,884 星标156 分支C++Apache-2.04 次浏览www.spaceandtime.io

Blitzar

该代码库提供了 C++ 和 Rust 的原生绑定，以公开其加密工具集和证明计算库。

Features

Proof-Generating Executions - Produces cryptographic proofs attesting that SQL queries were executed correctly against specific datasets for on-chain verification.
Verifiable Off-Chain Computations - Processes complex logic off-chain and generates zero-knowledge proofs to certify results for on-chain verification.
GPU-Accelerated Generation - Utilizes GPU hardware to accelerate the generation of zero-knowledge proofs for C++ and Rust applications.
Verifiable Query Proofs - Produces zero-knowledge proofs for query results against tamperproof tables for on-chain verification.
Blockchain Data Analytics - Provides high-performance SQL querying of indexed blockchain records for analytics and dashboarding.
Blockchain Indexers - Tracks and indexes blockchain events into structured relational tables secured by cryptographic commitments.
Commitment-Based Table Integrity - Uses cryptographic digests and fingerprints to ensure relational table data remains tamperproof and verifiable.
Verifiable Hybrid Ingestion - Integrates real-time indexed blockchain data with off-chain datasets into a single verifiable source.
Tamperproof Insertion Interfaces - Ensures every data insertion into relational tables is verified using signatures or consensus mechanisms.
Verifiable Source Unification - Unifies real-time indexed blockchain data and off-chain datasets into a single verifiable source.
Blockchain Data Transformers - Transforms external and raw on-chain data into structured relational formats for ledger submission.
State Integrity Verifications - Uses a fault-tolerant protocol and threshold signatures to ensure data modifications are validated by a decentralized quorum.
Consensus-Backed Data Commits - Stores structured data in immutable tables secured by cryptographic digests and consensus commitments.
Quorum-Based Indexing Verification - Transforms blockchain events into relational rows by requiring a quorum of independent indexers to agree.
Quorum-Based Update Agreement - Aggregates redundant data inserts and accepts updates only when a predefined quorum agrees on the content.
Verifiable Relational Storage - Transforms raw transactions and events into relational tables secured by cryptographic commitments and consensus.
BFT Consensus Voting - Provides BFT consensus voting to reach finality for data insertions and execution.
Blockchain Data Synchronization - Synchronizes and indexes real-time data across multiple blockchain networks for combined query sets.
Threshold Signature Implementations - Secures data commitments and table roots using distributed threshold signatures to maintain a decentralized record of truth.
Data Origin Authentications - Validates digital signatures and cryptographic proofs to authenticate the origin of data before insertion.
Cryptographic Execution Proofs - Generates succinct cryptographic proofs for off-chain computational correctness and data integrity.
Quorum-Based Verifications - Ensures data integrity by requiring a quorum of independent indexers to agree on submitted records.
Elliptic Curve Libraries - Provides a high-performance implementation of elliptic curve operations and scalar multiplications for verifiable computing.
State Commitment Maintenance - Maintains shared state integrity by signing and committing updates to cryptographic data commitments.
Threshold-Signed State Management - Secures table states by computing new roots and applying threshold signatures after data insertions.
Verifiable SQL Querying - Computes results from large datasets and generates cryptographic proofs attesting to computation correctness and data integrity.
Proof Verification Interfaces - Publishes table commitments that enable verifier contracts to validate proofs against the current state.
Off-Chain Verifiers - Retrieves historical data using SQL and generates zero-knowledge proofs for off-chain verification.
Private Data Provers - Integrates real-time blockchain data with off-chain datasets using ZK-proofs to attest to facts without revealing data.
On-Chain Verifiers - Provides smart contracts that act as on-chain verifiers for zero-knowledge proofs of off-chain query results.
Commitment Schemes - Implements cryptographic commitment schemes to ensure the integrity of relational tables without revealing full datasets.
Query Result Verifications - Generates zero-knowledge proofs over indexed tables to provide cryptographic guarantees of query result correctness.
Zero-Knowledge Proof Generation - Generates succinct zero-knowledge proofs for off-chain computations that can be verified on a blockchain.
GPU Accelerators - Provides a hardware-accelerated backend that offloads heavy ZK-proof computations to GPUs.
Tamperproof Records - Creates verifiable fingerprints of table contents using consensus and cryptographic commitment schemes.
On-chain Witness Gates - Uses signed transactions and cryptographic witnesses to authorize and verify data insertions.
Verified Data Publishing - Exposes certified query results to external APIs and dashboards for third-party consumption.
Dataset Publishing Tools - Exposes certified query results through web interfaces and searchable APIs for end-user consumption.
Data Provenance Frameworks - Provides a framework for establishing data provenance and verifiable chain-of-custody via threshold-signed commitments.
Multi-Source Data Aggregation - Aggregates balance data from multiple exchanges and wallets into a single unified state for monitoring.
Immutable Table Deployments - Deploys database tables to a network of validators that cryptographically secure the data to ensure immutability.
Collateral Proof Protocols - Provides protocols to generate on-chain proofs of off-chain collateral to ensure legitimate funding sources.
ZK-Proven Query Triggers - Enables smart contracts to call verified SQL queries and receive results through a callback handler.
Verifiable Definitions - Creates decentralized database tables with schema definitions bound to cryptographic commitments.
Verifiable Data Retrieval - Fetches data through read endpoints that support zero-knowledge proofs or optimistic verification.
Blockchain Node Operation - Enables the operation of validator nodes that secure tamperproof tables and execute cryptographic workflows.
Rust-C++ Bridges - Exposes high-performance cryptographic primitives to C++ and Rust via shared native interfaces.
Cryptographic Transaction Verifications - Validates cryptographic signatures upon submission to ensure the authenticity of user interactions.
Table-Level Access Controls - Restricts data insertion into relational tables based on ownership or required signatures.
Inner Product Arguments - Implements inner product arguments to establish zero-knowledge proofs between commitments and vector products.
Multi-Scalar Multiplication - Provides high-performance multi-scalar multiplication for calculating generalized commitments across elliptic curves.
Secure Transaction Verifications - Validates the authenticity of data insertions using cryptographic proofs and digital signatures before updating state.
zkTLS Verifications - Inserts data from web sources by validating zero-knowledge TLS proofs to ensure authenticity.
Relational-to-Proof Mapping - Transforms structured SQL query results into mathematical formats suitable for zero-knowledge proof generation.
Verified Result Deliveries - Sends cryptographically verified query results back to smart contracts via callbacks for trustless processing.
Smart Contract-to-API Bridges - Delivers verified off-chain query results to smart contracts via callback bridges to trigger on-chain logic.

Blitzar 的开源替代方案

相似的开源项目，按与 Blitzar 的功能重合度排序。

spaceandtimefdn/sxt-proof-of-sql
spaceandtimefdn/sxt-proof-of-sql
5,423在 GitHub 上查看
This project is a verifiable database engine that provides a SQL cryptographic proof system to ensure the integrity of stored information and its retrieval. It functions as a proof-carrying data store that utilizes cryptographic commitments to prevent data tampering and guarantee that query results are accurate. The system generates zero-knowledge proofs to provide mathematical evidence that a SQL query was executed correctly without requiring a full re-run of the process. These cryptographic proofs can be exported for on-chain validation, allowing smart contracts or third parties to verify d
Rust
在 GitHub 上查看5,423
kroma-network/tachyon
kroma-network/tachyon
7,666在 GitHub 上查看
Tachyon is a suite of hardware-accelerated engines and modular infrastructure for generating succinct non-interactive arguments of knowledge and polynomial commitments. It provides a GPU-accelerated zero-knowledge proof backend and a prover system designed to construct proofs from high-level circuit descriptions. The project distinguishes itself through a GPU cryptographic accelerator that offloads elliptic curve operations, field arithmetic, and cryptographic hashes to graphics hardware. This infrastructure includes a specialized polynomial commitment engine and modular components that allow
C++blockchainc-plus-pluscpp17
在 GitHub 上查看7,666
smartcontractkit/chainlink
smartcontractkit/chainlink
8,222在 GitHub 上查看
Chainlink is a decentralized oracle network that connects smart contracts to off-chain data, computation, and real-world systems. It provides a secure and reliable infrastructure for blockchain applications to access external information, execute automated workflows, and interact with other blockchains. The network is secured by a staking-based model where node operators lock LINK tokens as collateral, which can be slashed for poor performance, incentivizing honest and accurate data delivery. The platform distinguishes itself through a comprehensive set of capabilities that extend beyond basi
Goblockchainchainlinkethereum
在 GitHub 上查看8,222
remix-project-org/remix-project
remix-project-org/remix-project
3,003在 GitHub 上查看
Remix is a comprehensive blockchain development environment and Ethereum smart contract IDE. It provides a complete workspace for writing, compiling, deploying, and debugging smart contracts across simulated and public blockchain networks. The project distinguishes itself as a specialized toolchain for EVM debugging and analysis, offering opcode-level transaction stepping and state memory analysis. It also includes a dedicated zero-knowledge proof toolchain for compiling ZK circuits and generating cryptographic proofs, alongside an AI-powered coding assistant for code generation and explanati
TypeScriptblockchainethereumevm
在 GitHub 上查看3,003

查看 Blitzar 的所有 30 个替代方案

常见问题解答

spaceandtimefdn/blitzar 是做什么的？

spaceandtimefdn/blitzar 的主要功能有哪些？

spaceandtimefdn/blitzar 的主要功能包括：Proof-Generating Executions, Verifiable Off-Chain Computations, GPU-Accelerated Generation, Verifiable Query Proofs, Blockchain Data Analytics, Blockchain Indexers, Commitment-Based Table Integrity, Verifiable Hybrid Ingestion。

spaceandtimefdn/blitzar 有哪些开源替代品？

spaceandtimefdn/blitzar 的开源替代品包括： spaceandtimefdn/sxt-proof-of-sql — This project is a verifiable database engine that provides a SQL cryptographic proof system to ensure the integrity of… kroma-network/tachyon — Tachyon is a suite of hardware-accelerated engines and modular infrastructure for generating succinct non-interactive… smartcontractkit/chainlink — Chainlink is a decentralized oracle network that connects smart contracts to off-chain data, computation, and… remix-project-org/remix-project — Remix is a comprehensive blockchain development environment and Ethereum smart contract IDE. It provides a complete… mystenlabs/sui — Sui is a blockchain platform featuring an object-centric state model and resource-oriented smart contracts. It… bitpay/bitcore — Bitcore is a blockchain development framework and a set of libraries used to build applications that interact with the…