docs: Finalized Airbender documentation (#143)

## What ❔

<!-- What are the changes this PR brings about? -->
<!-- Example: This PR adds a PR template to the repo. -->
<!-- (For bigger PRs adding more context is appreciated) -->

## Why ❔

<!-- Why are these changes done? What goal do they contribute to? What
are the principles behind them? -->
<!-- The `Why` has to be clear to non-Matter Labs entities running their
own ZK Chain -->
<!-- Example: PR templates ensure PR reviewers, observers, and future
iterators are in context about the evolution of repos. -->

## Is this a breaking change?
- [ ] Yes
- [x] No

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] Tests for the changes have been added / updated.
- [x] Documentation comments have been added / updated.
- [x] Code has been formatted.

Author: Fitznik

.github/workflows/test-gpu.yaml

@@ -73,7 +73,7 @@ jobs:
     strategy:
       matrix:
         cuda: [ "12.9.1-devel-ubuntu22.04" ]
-        # TODO: CUDA 13.0.0 is not yet supported by matterlabs-ci-gpu-runner.
+        #CUDA 13.0.0 is not yet supported by matterlabs-ci-gpu-runner.
         package: [ "zksmith" ]
 
     needs: zksync-airbender-build

NOTICE.md

@@ -31,6 +31,6 @@ Substantial modifications have been made; see per‑file headers and git history
 1. <https://github.com/ingonyama-zk/papers/blob/main/Mersenne31_polynomial_arithmetic.pdf>  
 2. <https://eprint.iacr.org/2023/824.pdf> (circle group LDE with compression)  
 3. <https://www.robinscheibler.org/2013/02/13/real-fft.html> (Two for one FFT)  
-4. [Our NTT math overview](../gpu_prover/src/ntt/two-for-one.pdf)
+4. [Our NTT math overview](gpu_prover/src/ntt/two-for-one.pdf)
 5. <https://eprint.iacr.org/2023/1115> (Memory: Two shuffles make a RAM)  
 

README.md

@@ -9,10 +9,22 @@ This repository contains the RISC-V compilation and proving tools for the ZKsync
 The most recent documentation can be found here:
 
 - [In-repo docs](./docs/README.md)
+  - [Overview](./docs/overview.md)
+  - [Writing Programs](./docs/writing_programs.md)
   - [RISC-V Prover - Tutorial](./docs/tutorial.md)
-  - [Philosophy and logic](./docs/philosophy_and_logic.md)
-  - [Subarguments used](./docs/subarguments_used.md)
+  - [End-to-End Guide](./docs/end_to_end.md)
+  - [Philosophy and Logic](./docs/philosophy_and_logic.md)
+  - [Circuit Overview](./docs/circuit_overview.md)
+  - [Machine Configuration](./docs/machine_configuration.md)
+  - [Delegation Circuits](./docs/delegation_circuits.md)
+  - [AIR-style Constraints](./docs/air_constraints.md)
+  - [Instruction Gadgets](./docs/instruction_gadgets.md)
+  - [Circuit Entry Points](./docs/circuit_entry_points.md)
+  - [Subarguments Used](./docs/subarguments_used.md)
   - [Code Repository Layout](./docs/repo_layout.md)
+  - [RISC-V Simulator - Supported Instructions](./docs/simulator_supported_instructions.md)
+  - [GPU Acceleration](./docs/gpu.md)
+  - [Test Suites](./docs/tests_overview.md)
 
 ## How to run it
 
@@ -48,7 +60,7 @@ Details on third-party notices can be found in [NOTICE.md](./NOTICE.md), in `ACK
 - [Twitter for Developers](https://twitter.com/zkSyncDevs)
 - [Discord](https://join.zksync.dev/)
 - [Mirror](https://zksync.mirror.xyz/)
-- [Youtube](https://www.youtube.com/@zkSync-era)
+- [YouTube](https://www.youtube.com/@zkSync-era)
 
 ## Contribution