Fix links in table of contents

README.md

@@ -25,17 +25,17 @@
   - [Mina Proof of Account](#mina-proof-of-account)
     - [Definition](#definition-1)
     - [Serialization](#serialization-1)
-    - [Aligned’s Proof of Account verification](#aligneds-proof-of-account-verifier)
-  - [Smart contract](#smart-contract)
+    - [Aligned’s Proof of Account verification](#aligneds-proof-of-account-verification)
+  - [Mina State Settlement contract](#mina-state-settlement-contract)
     - [Gas cost](#gas-cost)
   - [Mina Account Validation contract](#mina-account-validation-contract)
     - [Gas cost](#gas-cost-1)
 - [Kimchi proving system](#kimchi-proving-system)
-  - [Proof Construction & Verification](#proof-construction---verification)
-    - [Secuence diagram linked to ``proof-systems/kimchi/src/verifier.rs``](#secuence-diagram-linked-to---proof-systems-kimchi-src-verifierrs--)
-  - [Pickles - Mina’s inductive zk-SNARK composition system](#pickles---mina-s-inductive-zk-snark-composition-system)
+  - [Proof Construction & Verification](#proof-construction--verification)
+    - [Secuence diagram linked to ``proof-systems/kimchi/src/verifier.rs``](#secuence-diagram-linked-to-proof-systemskimchisrcverifierrs)
+  - [Pickles - Mina’s inductive zk-SNARK composition system](#pickles---minas-inductive-zk-snark-composition-system)
     - [Accumulator](#accumulator)
-    - [Analysis of the Induction (recursion) method applied in Pickles](#analysis-of-the-induction--recursion--method-applied-in-pickles)
+    - [Analysis of the Induction (recursion) method applied in Pickles](#analysis-of-the-induction-recursion-method-applied-in-pickles)
     - [Pickles Technical Diagrams](#pickles-technical-diagrams)
   - [Consensus](#consensus)
     - [Chain selection rules](#chain-selection-rules)