PANews reported on October 10 that according to official news, the Telos Foundation announced the launch of the proof aggregator Plonky2 Goldibear on the X platform. This is its latest progress in cryptographic proof generation and aggregation. The new system provides cutting-edge performance improvements, especially in recursive proof combination on the BabyBear domain.

Plonky2 Goldibear is the latest iteration of the Plonky2 prover, which supports generating proofs on both the Goldilocks domain and the BabyBear domain. With the launch of Plonky2 Goldibear, the project has also developed a new version of Risclonky2, which no longer needs to simulate arithmetic operations, but runs directly on the BabyBear domain. This makes the verification and aggregation of Risc0 proofs highly efficient. Benchmark results show that Plonky2 Goldibear is 77 times faster than Risc0 in proof aggregation for BabyBear on the CPU, and even compared to Risc0's GPU prover, it is 8.5 times faster.

The Telos Foundation said it is working on hardware acceleration for Plonky2 Goldibear and is working on implementing the Polygon Hermez zkEVM proof validator, which will enable fast aggregation of Polygon zkEVM rollup proofs.