Post and verify all PV-TRBFV proofs on-chain

[cedoor]

Implement on-chain posting and verification of all proofs generated by the PV-TRBFV (Public Verifiable Threshold BFV) protocol through The Interfold.

Proofs to post and verify:

• C5 (pk_aggregation) — Proves the aggregate public key was correctly computed from individual pk_shares submitted by committee members. Published via publishCommittee() and verified through ICircuitVerifier.
• DKG-fold-proof — Recursively aggregated DKG proofs. Individual DKG sub-circuit proofs (C0–C4) are wrapped and folded pairwise into a single proof suitable for on-chain verification.
• C7 (decrypted_shares_aggregation) — Proves the plaintext was correctly reconstructed from M+1 decryption shares via Lagrange interpolation. Published via publishPlaintextOutput() and verified through IDecryptionVerifier.
• C6-fold-proof — Recursively aggregated C6 (decryption share) proofs. Each committee member's C6 proof is wrapped individually, then folded in a binary tree until a single EVM-verifiable proof remains.