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.
• intermediate_decimal
  Module for handling an intermediate decimal type received from the lexer. A parser conforming to standard postgreSQL to parse the precision and scale from a decimal token obtained from the lalrpop lexer. This module exists to resolve a cyclic dependency between proof-of-sql and proof-of-sql-parser.
• posql_time
  Module for handling an intermediate timestamp type received from the lexer.
• resource_id
  This file defines the resource identifier type.
• sql
• 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.