# Computation & Decentralized Infrastructure

The Arithmic Network aims to enable the computation of proofs at the base layer using different types of proof systems such as STARK, SPARTAN, PLONK etc., and use recursive provers to compute proofs and validate the proofs computed by even the base provers. This empowers different kinds of infrastructure providers to operate freely and compute proofs on the Arithmic Network even for other L2s. An important injunction for such infrastructure providers is that although they have the flexibility of optimizing their choice of proof system, they would require fundamentally new hardware catering to proof systems. This would see an advent of new infrastructure providers at L2s and enabling them to hardware-accelerate proof systems is a part of Arithmic’s long-term vision.

Last updated