PoSQL SQL Syntax & Supported Operations

Proof of SQL uses sqlparser to parse SQL, currently supporting the following syntax

Category	Feature	Prover	EVM Verification
DataTypes	Bool / Boolean	✅	✅
	Uint8 (8 bits)	✅	✅
	TinyInt (8 bits)	✅	✅
	SmallInt (16 bits)	✅	✅
	Int / Integer (32 bits)	✅	✅
	BigInt (64 bits)	✅	✅
	Int128	✅	✅
	Decimal75	✅	✅
	Varchar	✅	✅
	Varbinary	✅	✅
	Timestamp	✅	✅
Operators	AND, OR	✅	✅
	NOT	✅	✅
	+, –, *	✅	✅
	/	❌	❌
	=, !=	✅	✅
	`>`, `≥`, `<`, `≤`	✅	✅
Aggregate Functions	SUM	✅	✅
	COUNT	✅	✅
SELECT Syntax	WHERE clause	✅	✅
	GROUP BY clause [1]	✅	✅
	LIMIT clause	✅	✅
	OFFSET clause	✅	✅

[1] Currently, only supported group by in 0 or 1 columns

For more details please refer to DataFusion SELECT syntax.

Reserved keywords

The following keywords may not be used as aliases: