PQ provers for P2PKH outputs

The exploration of proof sizes in early benchmarks reveals a significant range, with sizes varying from 5.6 MB for STWO-Cairo proofs to 10 MB for SP1 proofs when considering P2PKH-related proofs. These dimensions are deemed acceptable for off-chain registries but are considered excessively large for on-chain applications. The notion of proof aggregation is introduced as a potential solution to this issue. A comparison is made to the RISC Zero proof, which at 2 MB, could feasibly be accommodated within a current bitcoin block, albeit through nonstandard means. To facilitate this integration, the suggestion is made to develop a new data carrier, termed a “proofcarrier,” dedicated to each block for the purpose of aggregating proofs. This concept aligns with proposals like BitZip by Ethan Heilman, which has been both published and presented, indicating a broader interest and discussion within the community regarding the optimization of proof sizes for blockchain applications. The referenced work on BitZip is available through two sources: a publication found at DelvingBitcoin.org and a presentation available on YouTube, both of which offer insights into the proposed solutions and their potential impact on blockchain scalability and security.