Test utility for deserializing/serializing proof data into typed structures. More...

Detailed Description

template<typename Flavor>
struct bb::StructuredProof< Flavor >

Test utility for deserializing/serializing proof data into typed structures.

This allows tests to inspect and modify specific proof elements. Each flavor has its own specialization due to different proof structures.

Template Parameters

Flavor The proving system flavor

Definition at line 27 of file proof_structures.hpp.

The documentation for this struct was generated from the following file: