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.