spaceandtimefdn/blitzar
Blitzar
Blitzar 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 and multi-scalar multiplication.
The system covers a broad surface of data management and security, including trustless data integration that combines blockchain indexing with off-chain datasets into tamperproof relational tables. It utilizes BFT consensus and threshold signatures to maintain state integrity, alongside mechanisms for quorum-based data synchronization and verified result delivery via smart contract callbacks.
The codebase provides native bindings for C++ and Rust to expose its cryptographic toolsets and proof computation libraries.
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.
