Crate proof_of_sql_parser

This crate is a library for SQL parsing for the Proof of SQL execution engine. See the proof-of-sql crate.

Proof of SQL is a high performance zero knowledge (ZK) prover developed by the Space and Time team, which cryptographically guarantees SQL queries were computed accurately against untampered data. It targets online latencies while proving computations over entire chain histories, an order of magnitude faster than state-of-the art zkVMs and coprocessors.

Re-exports

pub use error::ParseError;

pub use resource_id::ResourceId;

Modules

error

Error definitions for proof-of-sql-parser

intermediate_ast

This module contains the AST nodes for the intermediate representation of a Proof of SQL query.

posql_time

Module for handling an intermediate timestamp type received from the lexer.

resource_id

This file defines the resource identifier type.

sql

sqlparser

This module exists to adapt the current parser to sqlparser.

utility

Shortcuts to construct intermediate AST nodes.

Macros

impl_serde_from_str

Implement Deserialize through FromStr to avoid invalid identifiers.

Structs

Identifier

Top-level unique identifier.

SelectStatement

Representation of a select statement, that is, the only type of queries allowed.