Wholesum network is a p2p verifiable computing network tailored for ETH L2 sequencer proving. It builds on top of Risc0, Libp2p, and decentralized storage options like Swarm and Filecoin to facilitate verifiable computing at scale. The design of the network follows a p2p parallel proving scheme where Risc0 jobs are passed around, proved, and finally combined into a final proof ready for L1 verification.
provelift is used by servers to prove segmented Risc0 guests. Given a Segment as input, it is first proved to obtain a SegmentReceipt. Then, the SegmentReceipt is lifted to obtain a SuccinctReceipt.