IPv6 Routing with OSPFv3(Summarization and virtual-link)

In this lab, R4 will announce 2001:4::4/128 prefix into area 24.
When the advertisment reach ABR(R2) of area 24, R2 will summarize it into /64.
Likewise, R1 is also redistributing 2001:1::1/128 route into OSPF domain, since R1 is the ASBR itself, we can summarize it on R1. In this case, we will summarize it into /64.
R3 is not connecting to backbone area, R3 is announcing 2001::3/128 into area 3. The advertisement cannot reach to the rest of the OSPF domain.
In order to reach every other routers, R3 needs to be connected to backbone area which is area 0, so we will build virtual link between R1 and R3 to extend the backbone area to R3.

R1 Config

ipv6 unicast-routing
!
interface FastEthernet0/0
 ipv6 address 2001:12::1/64
 ipv6 ospf 1 area 0
!
interface FastEthernet0/1
 ipv6 address 2001:13::1/64
 ipv6 ospf 1 area 13
!
ipv6 route 2001:1::1/128 Null0
ipv6 router ospf 1
 router-id 1.1.1.1
 log-adjacency-changes
 area 13 virtual-link 3.3.3.3
 summary-prefix 2001:1::/64
 redistribute static
R2 Config

ipv6 unicast-routing
!
interface FastEthernet0/0
 ipv6 address 2001:12::2/64
 ipv6 ospf 1 area 0
!
interface FastEthernet0/1
 ipv6 address 2001:24::2/64
 ipv6 ospf 1 area 24
!
ipv6 router ospf 1
 router-id 2.2.2.2
 log-adjacency-changes
 area 24 range 2001:4::/64
R3 Config

ipv6 unicast-routing
!
interface Loopback0
 ipv6 address 2001::3/128
 ipv6 ospf 1 area 3
!
interface FastEthernet0/0
 ipv6 address 2001:13::3/64
 ipv6 ospf 1 area 13
!
ipv6 router ospf 1
 router-id 3.3.3.3
 log-adjacency-changes
 area 13 virtual-link 1.1.1.1
 redistribute static

R4 Config

ipv6 unicast-routing
!
interface Loopback0
 ipv6 address 2001:4::4/128
 ipv6 ospf 1 area 24
!
interface FastEthernet0/0
 ipv6 address 2001:24::4/64
 ipv6 ospf 1 area 24
!
ipv6 router ospf 1
 router-id 4.4.4.4

Verification

R1#show ipv6 route ospf
IPv6 Routing Table - 11 entries
O   2001::3/128 [110/10]
     via FE80::C602:11FF:FE5C:0, FastEthernet0/1
O   2001:1::/64 [110/0]
     via ::, Null0
OI  2001:4::/64 [110/20]
     via FE80::C601:1EFF:FE74:0, FastEthernet0/0
OI  2001:24::/64 [110/20]
     via FE80::C601:1EFF:FE74:0, FastEthernet0/0

R2#show ipv6 route ospf
OI  2001::3/128 [110/20]
     via FE80::C600:1EFF:FE74:0, FastEthernet0/0
OE2  2001:1::/64 [110/20]
     via FE80::C600:1EFF:FE74:0, FastEthernet0/0
O   2001:4::/64 [110/0]
     via ::, Null0
O   2001:4::4/128 [110/10]
     via FE80::C603:11FF:FE5C:0, FastEthernet0/1
OI  2001:12::1/128 [110/10]
     via FE80::C600:1EFF:FE74:0, FastEthernet0/0
OI  2001:13::/64 [110/20]
     via FE80::C600:1EFF:FE74:0, FastEthernet0/0

R3#show ipv6 route ospf
OE2  2001:1::/64 [110/20]
     via FE80::C600:1EFF:FE74:1, FastEthernet0/0
OI  2001:4::/64 [110/30]
     via FE80::C600:1EFF:FE74:1, FastEthernet0/0
O   2001:12::/64 [110/20]
     via FE80::C600:1EFF:FE74:1, FastEthernet0/0
O   2001:12::1/128 [110/10]
     via FE80::C600:1EFF:FE74:1, FastEthernet0/0
OI  2001:24::/64 [110/30]
     via FE80::C600:1EFF:FE74:1, FastEthernet0/0

R4#show ipv6 route ospf
OI  2001::3/128 [110/30]
     via FE80::C601:1EFF:FE74:1, FastEthernet0/0
OE2  2001:1::/64 [110/20]
     via FE80::C601:1EFF:FE74:1, FastEthernet0/0
OI  2001:12::/64 [110/20]
     via FE80::C601:1EFF:FE74:1, FastEthernet0/0
OI  2001:12::1/128 [110/20]
     via FE80::C601:1EFF:FE74:1, FastEthernet0/0
OI  2001:13::/64 [110/30]
     via FE80::C601:1EFF:FE74:1, FastEthernet0/0