fix ismp book link (#73)

Author: seunlanlege

README.md

@@ -20,7 +20,7 @@ This repo holds all the required components substrate runtimes need to interoper
 
 ## Documentation
 
-Installation and integration guides can be found in the [book](https://substrate-ismp.polytope.technology).
+Installation and integration guides can be found in the [book](https://ismp.polytope.technology).
 
 ## Testing and Testing Guide
 

grandpa/src/consensus.rs

@@ -19,7 +19,8 @@ use core::marker::PhantomData;
 use finality_grandpa::Chain;
 use ismp::{
     consensus::{
-        ConsensusClient, ConsensusStateId, StateCommitment, StateMachineClient, VerifiedCommitments,
+        ConsensusClient, ConsensusClientId, ConsensusStateId, StateCommitment, StateMachineClient,
+        VerifiedCommitments,
     },
     error::Error,
     host::{IsmpHost, StateMachine},
@@ -37,20 +38,26 @@ use verifier::{
     verify_grandpa_finality_proof, verify_parachain_headers_with_grandpa_finality_proof,
 };
 
-pub const POLKADOT_CONSENSUS_STATE_ID: [u8; 8] = *b"polkadot";
-pub const KUSAMA_CONSENSUS_STATE_ID: [u8; 8] = *b"_kusama_";
+/// [`ConsensusStateId`] for the polkadot relay chain
+pub const POLKADOT_CONSENSUS_STATE_ID: ConsensusStateId = *b"polk";
 
-pub struct GrandpaConsensusClient<T, H>(PhantomData<(T, H)>);
+/// [`ConsensusStateId`] for the kusama relay chain
+pub const KUSAMA_CONSENSUS_STATE_ID: ConsensusStateId = *b"sama";
 
-impl<T, H> Default for GrandpaConsensusClient<T, H> {
+/// [`ConsensusClientId`] for GRANDPA consensus
+pub const GRANDPA_CONSENSUS_ID: ConsensusClientId = *b"GRAN";
+
+pub struct GrandpaConsensusClient<T>(PhantomData<T>);
+
+impl<T> Default for GrandpaConsensusClient<T> {
     fn default() -> Self {
         Self(PhantomData)
     }
 }
 
-impl<T, H> ConsensusClient for GrandpaConsensusClient<T, H>
+impl<T> ConsensusClient for GrandpaConsensusClient<T>
 where
-    H: Header<Hash = H256, Number = u32>,
+    T::Header: Header<Hash = H256, Number = u32>,
     T: pallet_ismp::Config + super::Config,
     T::BlockNumber: Into<u32>,
     T::Hash: From<H256>,
@@ -197,15 +204,15 @@ where
                 ))
             })?;
 
-        let first_proof: FinalityProof<H> =
-            codec::Decode::decode(&mut &proof_1[..]).map_err(|e| {
+        let first_proof: FinalityProof<T::Header> = codec::Decode::decode(&mut &proof_1[..])
+            .map_err(|e| {
                 Error::ImplementationSpecific(format!(
                     "Cannot decode first finality proof from proof_1 bytes: {e:?}",
                 ))
             })?;
 
-        let second_proof: FinalityProof<H> =
-            codec::Decode::decode(&mut &proof_2[..]).map_err(|e| {
+        let second_proof: FinalityProof<T::Header> = codec::Decode::decode(&mut &proof_2[..])
+            .map_err(|e| {
                 Error::ImplementationSpecific(format!(
                     "Cannot decode second finality proof from proof_2 bytes: {e:?}",
                 ))
@@ -217,13 +224,13 @@ where
             )))
         }
 
-        let first_headers = AncestryChain::<H>::new(&first_proof.unknown_headers);
+        let first_headers = AncestryChain::<T::Header>::new(&first_proof.unknown_headers);
         let first_target =
             first_proof.unknown_headers.iter().max_by_key(|h| *h.number()).ok_or_else(|| {
                 Error::ImplementationSpecific(format!("Unknown headers can't be empty!"))
             })?;
 
-        let second_headers = AncestryChain::<H>::new(&second_proof.unknown_headers);
+        let second_headers = AncestryChain::<T::Header>::new(&second_proof.unknown_headers);
         let second_target =
             second_proof.unknown_headers.iter().max_by_key(|h| *h.number()).ok_or_else(|| {
                 Error::ImplementationSpecific(format!("Unknown headers can't be empty!"))
@@ -261,14 +268,16 @@ where
         }
 
         let first_justification =
-            GrandpaJustification::<H>::decode(&mut &first_proof.justification[..]).map_err(
-                |_| Error::ImplementationSpecific(format!("Could not decode first justification")),
-            )?;
+            GrandpaJustification::<T::Header>::decode(&mut &first_proof.justification[..])
+                .map_err(|_| {
+                    Error::ImplementationSpecific(format!("Could not decode first justification"))
+                })?;
 
         let second_justification =
-            GrandpaJustification::<H>::decode(&mut &second_proof.justification[..]).map_err(
-                |_| Error::ImplementationSpecific(format!("Could not decode second justification")),
-            )?;
+            GrandpaJustification::<T::Header>::decode(&mut &second_proof.justification[..])
+                .map_err(|_| {
+                    Error::ImplementationSpecific(format!("Could not decode second justification"))
+                })?;
 
         if first_proof.block != first_justification.commit.target_hash ||
             second_proof.block != second_justification.commit.target_hash