Struct PorSystem 

pub struct PorSystem<'a> { /* private fields */ }

The unified API entry point for the Nova-based Proof-of-Retrievability system.

PorSystem encapsulates the FileLedger and provides methods for file preparation, proof generation, and verification. It manages parameter caching and shape derivation internally.

Implementations

impl<'a> PorSystem<'a>

pub fn new(ledger: &'a FileLedger) -> Self

Create a new PorSystem with the given FileLedger.

pub fn prepare_file( &self, data: &[u8], filename: &str, nonce: &[u8], ) -> Result<(PreparedFile, FileMetadata)>

Prepare a file for proving by applying erasure coding, chunking, and building a Merkle tree.

This method uses the fixed chunk size from config::CHUNK_SIZE_BYTES and stores the filename in the FileMetadata for operator UX.

Arguments

• data - The raw file data to be processed
• erasure_config - Reed-Solomon erasure coding configuration
• filename - Filename for identification and UX

Returns

Returns a tuple of (PreparedFile, FileMetadata) where:

• PreparedFile contains the private Merkle tree and file identifiers
• FileMetadata contains the public commitment and reconstruction information

pub fn prove( &self, files: Vec<&PreparedFile>, challenges: &[Challenge], ) -> Result<Proof>

Generate a single compact proof for any set of open Challenges.

This method accepts a Vec<PreparedFile> and internally maps it to the BTreeMap structure required by the underlying proving logic. Seeds must be identical across all challenges in the batch.

Arguments

• files - Vector of prepared files to prove
• challenges - Slice of challenges to answer

Returns

Returns a Proof containing the compressed SNARK and the challenge IDs

pub fn verify(&self, proof: &Proof, challenges: &[Challenge]) -> Result<bool>

Verify a proof against the Challenges it claims to answer.

This method validates that the proof’s challenge_ids exactly match the provided challenges and then performs SNARK verification.

Arguments

• proof - The proof to verify
• challenges - The challenges that the proof claims to answer

Returns

Returns Ok(true) if the proof is valid, Ok(false) if invalid, or an error if verification fails unexpectedly.