# 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. --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://arithmic-labs.gitbook.io/arithmic-documentation/network-architecture/computation-and-decentralized-infrastructure.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.