update docs (#490)

Author: entropidelic

docs/guides/1_operator_guide.md

@@ -1,8 +1,7 @@
 
 # Register as an Aligned operator in testnet
 
-> [!NOTE]
-> You must be whitelisted to become an Aligned operator.
+**Important note**: You must be whitelisted to become an Aligned operator.
 
 ## Requirements
 
@@ -87,7 +86,7 @@ Update the following placeholders in `./config-files/config-operator.yaml`:
 `"<ecdsa_key_store_location_path>"` and `"<bls_key_store_location_path>"` are the paths to your keys generated with the EigenLayer CLI, `"<operator_address>"` and `"<earnings_receiver_address>"` can be found in the `operator.yaml` file created in the EigenLayer registration process.
 The keys are stored by default in the `~/.eigenlayer/operator_keys/` directory, so for example `<ecdsa_key_store_location_path>` could be `/path/to/home/.eigenlayer/operator_keys/some_key.ecdsa.key.json` and for `<bls_key_store_location_path>` it could be `/path/to/home/.eigenlayer/operator_keys/some_key.bls.key.json`.
 
-## Step 4: Deposit Strategy Tokens
+## Step 4 - Deposit Strategy Tokens
 
 We are using [WETH](https://holesky.eigenlayer.xyz/restake/WETH) as the strategy token.
 

docs/introduction/0_what_is_aligned.md

@@ -10,7 +10,7 @@ Our mission is to accelerate Ethereum's roadmap and the adoption of verifiable c
 
 In recent months, we have witnessed the development and enhancement of general proving virtual machines such as Risc0, Valida, Jolt, and SP1. These innovations allow users to write ordinary code in languages like Rust or C and generate proofs demonstrating the integrity of computations. This evolution is poised to transform application development, provided we have verification networks with high throughput and low cost. This is the core vision of Aligned and the reason we are building it: the future belongs to provable applications.
 
-Currently, proof verification in Ethereum is expensive and throughput is limited to around 10 proofs per second. The cost depends on the proof system used, and the availability of precompiles. Groth16 costs around 250,000 gas, STARKs, over 1,000,00, and other proof systems are too expensive to be used in Ethereum. 
+Currently, proof verification in Ethereum is expensive and throughput is limited to around 10 proofs per second. The cost depends on the proof system used, and the availability of precompiles. Groth16 costs around 250,000 gas, STARKs, over 1,000,000, and other proof systems are too expensive to be used in Ethereum. 
 
 Proof technology has been evolving over the last decade, with new arguments, fields, commitments and other tools appearing every day. It is hard to try new ideas if verification costs are high and there is a considerable go-to-market time, as a consequence of development time of new, gas-optimized smart contracts, or the inclusion of new precompiles to make them affordable.
 

docs/introduction/2_faq.md

@@ -6,11 +6,11 @@ Aligned’s mission is to extend Ethereum’s zero-knowledge capabilities. We ar
 
 ### What is the throughput of Aligned?
 
-Aligned runs the verifier’s code natively. The verification time depends on the proof system, program run, and public input. Generally, most verifiers can be run in the order of ms on consumer-end hardware. We can optimize the code for speed and leverage parallelization by running it natively. Taking 3 ms per proof, Aligned could verify 300 proofs per second and, using parallelization, over 10,000 proofs per second.
+Aligned runs the verifier’s code natively. The verification time depends on the proof system, program run, and public input. Generally, most verifiers can be run in the order of ms on consumer-end hardware. We can optimize the code for speed and leverage parallelization by running it natively. Current testnet can verify more than 2500 proofs per second.
 
 ### How does the throughput of Aligned compare with Ethereum?
 
-Ethereum runs on top of the EVM. Each block is limited to 30,000,000 gas. Since the most efficient proof systems take at least 250,000 gas, Ethereum can verify 120 proofs per block. Aligned runs the code natively and leverages parallelization, reaching 10,000 proofs in the same period.
+Ethereum runs on top of the EVM. Each block is limited to 30,000,000 gas. Since the most efficient proof systems take at least 250,000 gas, Ethereum can verify 120 proofs per block. Aligned runs the code natively and leverages parallelization, reaching 30,000 proofs in the same period.
 
 ### Is Aligned an Ethereum L2?
 
@@ -98,15 +98,15 @@ You can verify proofs in Aligned using our CLI.
 
 In Ethereum (does not include access cost): 
 
-- Groth 16 proofs: 250,000 gas
+- Groth 16 proofs: >250,000 gas
 - Plonk/KZG proofs: >300,000 gas
 - STARKs: >1,000,000 gas
 - Binius/Jolt: too expensive to run!
 
 In Aligned, fast mode:
 
-- Just one proof (any!): 120,000 gas
-- Batching 1024 proofs: 120 gas + reading cost
+- Just one proof (any!): 350,000 gas
+- Batching 1024 proofs: 350 gas + reading cost
 
 It’s over 99% savings!