proof-of-sql-0.11.4
- proof-of-sql 0.11.4
- Docs.rs crate page
- Links
- Repository
- crates.io
- Source
- Owners
- JayWhite2357
- SxT-Release
- Dependencies
- ark-bls12-381 ^0.4.0 normal
  
  ark-curve25519 ^0.4.0 normal
  
  ark-ec ^0.4.0 normal
  
  ark-ff ^0.4.0 normal
  
  ark-poly ^0.4.0 normal
  
  ark-serialize ^0.4.0 normal
  
  ark-std ^0.4.0 normal
  
  arrow ^51.0 normal
  
  bigdecimal ^0.4.5 normal
  
  bit-iter ^1.1.1 normal
  
  blake3 ^1.3.3 normal
  
  blitzar ^3.0.2 normal optional
  
  bumpalo ^3.11.0 normal
  
  byte-slice-cast ^1.2.1 normal
  
  bytemuck ^1.14.2 normal
  
  chrono ^0.4.38 normal
  
  curve25519-dalek ^4 normal
  
  derive_more ^0.99 normal
  
  dyn_partial_eq ^0.1.2 normal
  
  indexmap ^2.1 normal
  
  itertools ^0.13.0 normal
  
  lazy_static ^1.4.0 normal
  
  merlin ^2 normal
  
  num-bigint ^0.4.4 normal
  
  num-traits ^0.2 normal
  
  polars ^0.33.1 normal
  
  postcard ^1.0 normal
  
  proof-of-sql-parser ^0.11.4 normal
  
  rand ^0.8 normal optional
  
  rayon ^1.5 normal
  
  serde ^1 normal
  
  serde_json ^1 normal
  
  thiserror ^1 normal
  
  tracing ^0.1.36 normal
  
  typetag ^0.2.13 normal
  
  zerocopy ^0.7.34 normal
  
  arrow-csv ^51.0 dev
  
  blitzar ^3.0.2 dev
  
  clap ^4.5.4 dev
  
  criterion ^0.5.1 dev
  
  flexbuffers ^2.0.0 dev
  
  opentelemetry ^0.23.0 dev
  
  opentelemetry-jaeger ^0.20.0 dev
  
  polars ^0.33.1 dev
  
  rand ^0.8 dev
  
  rand_core ^0.6 dev
  
  serde_json ^1 dev
  
  tracing ^0.1.36 dev
  
  tracing-opentelemetry ^0.22.0 dev
  
  tracing-subscriber ^0.3.0 dev
- Versions
- 100% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

proof_of_sql0.11.4

Module ast

Enums

In proof_of_sql::sql

Module proof_of_sql::sql::ast

Expand description

This module proves provable ASTs.

Enums§

ProofPlan
The query plan for proving a query