Module packed_proof 

Structs

PackedProof

A packed proof is a representation of the ZKP in a single attribute (as opposed to array of arrays) which is easier to transport