Distributed Provers

Search documents
X @Polyhedra
Polyhedra· 2025-09-18 17:00
2/Proof Aggregation in Multi-GPU setupProof Aggregation in MPI Environment: Began integrating proof aggregation functionality under a multi-GPU MPI environment. This aggregation not only coordinates distributed provers and combines partial results seamlessly, but also reduces the overall proof size, improving efficiency in both storage and verification.Stay tuned for more updates 🔥 ...