pos-change

Author: arnavshah01

mkdocs.yml

@@ -299,54 +299,6 @@ nav:
               - Sequencer transaction flow: zkEVM/architecture/effective-gas/user-tx-flow/sequencer-flow-egp.md
             - Implementing EGP strategy: zkEVM/architecture/effective-gas/implement-egp-strat.md
             - Transaction prioritization: zkEVM/architecture/effective-gas/tx-prioritization-egp.md
-      # - Specification:
-        - Specification: zkEVM/spec/index.md
-        - Polynomial Identity Language:
-          - Polynomial Identity Language: zkEVM/spec/pil/index.md
-          - Simple example: zkEVM/spec/pil/simple-example.md
-          - Modular programs: zkEVM/spec/pil/modular-programs.md
-          - Connection arguments: zkEVM/spec/pil/connection-arguments.md
-          - Cyclicity in PIL: zkEVM/spec/pil/cyclicity-in-pil.md
-          - Filling polynomials: zkEVM/spec/pil/filling-polynomials.md
-          - Generating proofs: zkEVM/spec/pil/generating-proofs.md
-          - Permutation arguments: zkEVM/spec/pil/permutation-arguments.md
-          - Inclusion arguments: zkEVM/spec/pil/inclusion-arguments.md
-          - Compiling using PILCOM: zkEVM/spec/pil/compiling-using-pilcom.md
-          - Configuration files: zkEVM/spec/pil/configuration-files.md
-          - PLONK in PIL: zkEVM/spec/pil/plonk-in-pil.md
-          - Public values: zkEVM/spec/pil/public-values.md
-        - zkASM:
-          - zkASM: zkEVM/spec/zkasm/index.md
-          - Basic Syntax: zkEVM/spec/zkasm/basic-syntax.md
-          - Examples: zkEVM/spec/zkasm/examples.md
-        - EVM vs. zkEVM: zkEVM/spec/evm-differences.md
-      # - API:
-      #   - JSON RPC endpoints: zkEVM/api/json-rpc.md
-      #   - Check transaction status: zkEVM/api/check-tx-status.md
-      # - Concepts:
-        - Concepts: zkEVM/concepts/index.md
-        - EVM basics: zkEVM/concepts/evm-basics.md
-        - Sparse Merkle trees:
-          - Merkle trees: zkEVM/concepts/sparse-merkle-trees/sparse-merkle-tree.md
-          - Constructing simple SMTs: zkEVM/concepts/sparse-merkle-trees/simple-smt.md
-          - SMT concepts: zkEVM/concepts/sparse-merkle-trees/detailed-smt.md
-          - Operations on SMTs: zkEVM/concepts/sparse-merkle-trees/basic-smt-ops.md
-        - mFibonnaci state machine:
-          - Design approach: zkEVM/concepts/mfibonacci/mfibonacci.md
-          - An example: zkEVM/concepts/mfibonacci/mfibonacci-example.md
-          - Commitment scheme: zkEVM/concepts/mfibonacci/commitment-scheme.md
-          - Verification scheme: zkEVM/concepts/mfibonacci/verification-scheme.md
-          - PIL-STARK process: zkEVM/concepts/mfibonacci/pil-stark.md
-          - PIL-STARK demo: zkEVM/concepts/mfibonacci/pil-stark-demo.md
-        - Generic state machine:
-          - Generic SM introduction: zkEVM/concepts/generic-state-machine/intro-generic-sm.md
-          - Execution trace: zkEVM/concepts/generic-state-machine/exec-trace-correct.md
-          - Ending programs: zkEVM/concepts/generic-state-machine/ending-program.md
-          - Program counter: zkEVM/concepts/generic-state-machine/program-counter.md
-          - Plookup: zkEVM/concepts/generic-state-machine/plookup.md
-        - CIRCOM: zkEVM/concepts/circom-intro-brief.md
-      # - Troubleshooting:
-      #   - Disclosures: zkEVM/troubleshooting/risk-disclosures.md
 
   # - Miden:
   #     - Miden: miden/index.md