I'm receiving error

Proof failed Error: Allocating gas failed with error: Your vgas balance is insufficient to allocate given vgas_limit of 10000000.

It seems there is a vgas_limit in vlayer sdk? Can I set this variable manually to make it less than 10000000?

◆  Done reading config
│  
◆  Installing @openzeppelin-contracts~5.0.1                                      
└  An error occurred during install
2025-04-03T18:24:53.740294Z ERROR vlayer: Error: Soldeer failed: error during install operation: error during registry operation: error with registry request: error sending request for url (https://api.soldeer.xyz/api/v1/revision?project_name=%40openzeppelin-contracts&offset=0&limit=10000)

The vlayer Prover is a special program written as a Solidity smart contract. It handles large, private calculations off-chain (outside of the main blockchain).

The Prover’s code runs on the vlayer zkEVM system, which currently works on cloud servers or on a user’s computer.

The result of this calculation is called a "proof". Only this result gets sent to the blockchain, while the inputs and actual steps in the calculation stay private.

Developers are responsible for deploying both the Prover and Verifier contracts. They can use familiar tools like Viem or Foundry to do so. Both contracts must be deployed on the same blockchain.

You can find examples of how to deploy them by using our command-line tool. Just type and select template that interests you the most:
vlayer init --template

Main Chains: Ethereum, Base, Optimism, Polygon, Arbitrum, zkSync

Testnets: Ethereum Sepolia, Base Sepolia, Optimism Sepolia, Polygon Amoy, Arbitrum Sepolia, zkSync Sepolia

You’ll need an EML file for the email you want to prove. Check out our example project for guidance by typing:

vlayer init --template simple-email

Right now, we only support Verifier contracts on-chain. Soon, we’ll release a Rust library to make off-chain verification possible.

No, this won’t work. The Verifier only accepts proofs created by authorized Provers.

You’ll need the Prover, the Verifier, and a browser extension that notarizes HTTPS requests between your browser and the destination servers. Right now, the browser extension is required, but we’re exploring other options.

Currently, only JSON responses are supported.