Module commit 

Structs

UserPvsCommitValuesAir

Builds a binary Merkle tree to decommit and expose or emit the raw user public values. Constrains that:

Functions

generate_proving_ctx